Science ❯ Mathematics

Mathematical Proofs

AI in Mathematics Proof Techniques Proof Strategies Conjectures Verification International Mathematics Olympiad Faltings' Theorem Verification Methods Harmonic Analysis Gödel's Incompleteness Theorems Erdős Problems Complex Problem Solving Peer Review Optimal Solutions AI and Human Collaboration Synthetic Proofs

OpenAI Model Finds Counterexample to Decades‑Old Unit Distance Conjecture

The result overturns a long‑standing bound and raises questions about how AI-generated proofs should be verified.

AI Model Disproves Erdős Unit‑Distance Conjecture, Spurs Human Extensions

OpenAI Model Disproves Erdős Planar Unit Distance Conjecture

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

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

Study Claims Mathematical Proof the Universe Is Not a Simulation