AI cracks 80-year-old mathematics challenge (Nature)
An artificial intelligence system has solved an 80-year-old mathematics problem, stunning researchers. The AI, developed by a team at a leading research institution, cracked the longstanding challenge in number theory, d…