Watershed Moment for AI–human Collaboration in Math

Ukrainian mathematician Maryna Viazovska's Fields Medal-winning sphere packing proofs have been formally verified through AI-human collaboration using Math, Inc.'s Gauss AI system and the Lean proof assistant. This represents a significant breakthrough in AI's ability to assist with complex mathematical research and formal proof verification.