AI Assists Math Breakthrough: Codex Finds Proof for 56-Year-Old Conjecture
ErnestRyu · x · 2026-07-31
Researcher Jarek Liesen announced that he has found a proof for the Forsythe Conjecture (for s=2) using OpenAI's Codex. The conjecture has remained an open problem in mathematics since 1968.
A leading expert is currently conducting a detailed review of the proof and has preliminarily described it as "highly likely to be correct." This marks another substantive step for AI in assisting advanced academic research.
More from Research
- Open Source Project Uses LSTM to Simulate Human Mouse Movements — Possible-Session9849 · 2026-07-31
- RKO-LIO: Open-Sourcing Robust LiDAR-Inertial Odometry Without Sensor-Specific Modelling — tom_doerr · 2026-07-31
- Multi-Claude Code Agents Autoformalize 500-Page Math Textbook at $100K Cost — gordic_aleksa · 2026-07-31
- 31,430-Trial Study Reveals Frequent Zero-Byte Outputs Across Major LLMs — rayanpal_ · 2026-07-31
- CMU Open-Sources Lift4D: Generating Complete Dynamic 4D Assets from a Single Video — CSProfKGD · 2026-07-31
- AI Finds Counterexample Disproving the Maxwell Conjecture in Classical Physics — RexDouglass · 2026-07-31