19d
Solved in 80 hours: Peking University’s new AI framework cracks decade-old math without human help
The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also produced a fully formalised proof on its own.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results