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
- Elegant Sliding Window Aggregation Algorithm for Non-Invertible Operators Goes Viral — Paimaamu · 2026-10-16
- A $50 site of 50,000 fake stats got cited by ChatGPT for 7 months — metehan777 · 2026-10-16
- DeepMind wires Antigravity into AlphaFold to speed up science, finds novel antimicrobial peptide — pushmeet · 2026-10-16
- It's not gradient descent: burny_tech corrects the diagnosis to RLHF mode collapse — burny_tech · 2026-10-16
- A beginner-friendly introduction to causal inference kicks off, Part 1 — Nasereliver · 2026-10-16
- FBI method trains for Pass@K with one sample per update at 12.3% of the cost — EmtiyazKhan · 2026-10-16