A 10,000-agent AI effort may have cracked a Millennium Prize problem and opened a deeper debate over how mathematics gets ...