Top mathematicians grade AI’s ability to solve toughest problems
The First Proof consortium has repeatedly challenged AI systems to crack 10 tough research math problems. In the latest round of results, AI systems collectively solved all 10 but still lagged in the ability to clearly communicate and document their results.