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