Science ❯ Mathematics

Mathematical Proofs

Proof Techniques AI in Mathematics Synthetic Proofs Euler Equations Complex Systems Verification Processes 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 AI and Human Collaboration Computational Mathematics Formal Verification Optimal Solutions

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