Science ❯ Mathematics

Mathematical Problems

Erdős Problems Kakeya Conjecture Erdos Problems Historical Problems Smale's Problems Open Problems Erdős Conjecture Group Theory Unit Distance Problem Erdős Problem Millennium Prize Problems AI in Mathematics AI Solutions Jacobian Conjecture Paul Erdős Crouzeix's Conjecture Unit-Distance Problem

7 ARTICLES

3w ago

OpenAI Names Unreleased Astra After Internal Model Produced Ten Machine‑Verified Proofs

OpenAI published Lean certificates that let anyone run automated proof checks yet kept the Astra model private, prompting questions about reproducibility, authorship and safety.

10 ARTICLES

4w ago

AI Model’s Output Disproves 87‑Year‑Old Jacobian Conjecture

3 ARTICLES

2mo ago

AI Produces Passing Solutions for Seven of Ten Unpublished Math Problems, Harvard Panel Finds

4 ARTICLES

2mo ago

OpenAI Retracts GPT-5 Erdős Breakthrough Claims After Backlash

Mathematical Problems

OpenAI Names Unreleased Astra After Internal Model Produced Ten Machine‑Verified Proofs

AI Model’s Output Disproves 87‑Year‑Old Jacobian Conjecture

AI Produces Passing Solutions for Seven of Ten Unpublished Math Problems, Harvard Panel Finds

AI Model Disproves Erdős Planar Unit Distance Conjecture

OpenAI Model Finds Counterexample to Decades‑Old Unit Distance Conjecture

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

OpenAI Retracts GPT-5 Erdős Breakthrough Claims After Backlash