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, ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results