Science ❯ Mathematics

Mathematical Proofs

Optimal Solutions Synthetic Proofs Proof Strategies Conjectures International Mathematics Olympiad Faltings' Theorem Harmonic Analysis Proof Techniques Gödel's Incompleteness Theorems Complex Problem Solving AI in Mathematics

Gerd Faltings Wins 2026 Abel Prize for Landmark Proof in Number Theory

The Norwegian Academy honored him for the 1983 solution to the Mordell conjecture, a result that transformed arithmetic geometry.

Aletheia Debuts as Gemini-Based AI Math Research Agent With Claimed Research Results

Study Claims Mathematical Proof the Universe Is Not a Simulation