A Peking University-led team has developed a dual-agent AI system that autonomously solved Anderson's 2014 algebra conjecture and formally verified its proof within 80 hours. The system, combining ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results