The artificial intelligence (AI) program DeepMind has gotten closer to proving a math conjecture that's bedeviled mathematicians for decades and revealed another new conjecture that may unravel how ...
On May 20, 2026, OpenAI announced that its internal AI model had disproven a long-held prediction regarding the 'unit distance problem,' a central unsolved problem in discrete geometry. The unit ...
A Chinese AI framework from Peking University has autonomously solved and formally verified a 2014 conjecture in commutative algebra posed by late US mathematician Dan Anderson. The dual-agent system, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results