In 2026, a mathematical achievement awarded the Fields Medal, related to the optimal packing of spheres in higher dimensions, was formally verified for the first time through a collaboration between humans and artificial intelligence. This milestone marks a turning point in the validation of cutting-edge research. Formal verification, which requires translating a proof into an irrefutable logical language for a computer, was a monumental task. The key to success was a strategic collaboration: mathematicians guided the process and AI automated the technical and coding work.
Cognitive amplification: AI as a formal proof assistant 🤖
This case demonstrates the potential of AI as an intellectual amplification tool. Far from replacing researchers, AI takes on computationally intensive and error-prone tasks in formal verification. This frees mathematicians to focus on creative conception and strategic direction of the work. The model is extrapolable: in the 3D world, AI already assists in geometric optimization tasks, mesh generation, or sampling for rendering, allowing artists to focus on artistic vision and direction of complex projects. The tool handles the heavy technical execution, the human directs the creative intent.
Implications for the future of creative intellectual work 💡
This milestone transcends mathematics. It is a case study for a new dynamic in creative and technical disciplines. AI positions itself as a collaborator that extends human capabilities, not as a substitute. The future of high-level intellectual work could be organized around this symbiosis: human intuition, contextual judgment, and creativity directing AI systems that execute, verify, and explore possibilities with a precision and scale unattainable alone. The frontier is no longer just in solving problems, but in defining which ones to solve and how to validate them irrefutably.
Does the AI verification of a Fields theorem mark the beginning of an era where human mathematical creativity and algorithmic checking fuse into a new research paradigm?
(P.S.: the Streisand effect in action: the more you prohibit it, the more it's used, like microslop)