Tristan Buckmaster
AICan AI solve a Millennium Prize problem? OpenAI says its system just did
A 10,000-agent AI effort may have cracked a Millennium Prize problem and opened a deeper debate over how mathematics gets done.
Joseph Shavit