AI solves complex mathematical problems in weeks

A research team led by Princeton computer science professor Pravesh Kothari has utilized artificial intelligence to solve a complex mathematical problem regarding the narrowing of the bounds of the Grothendieck constant. The constant, defined by Alexander Grothendieck in 1953, has significant applications in graph theory and quantum informatics.

The process involved a multi-model approach where one model performed calculations while another verified them, with human researchers providing periodic instructions. While the task would typically take a human years to complete, the AI models achieved the result in weeks. The findings, currently hosted on arXiv, have not yet undergone formal peer review.

This development follows other notable AI achievements in mathematics, such as OpenAI’s work on the Erdős unit distance conjecture and the Navier-Stokes problem. These advancements raise fundamental questions within the academic community regarding the nature of mathematical discovery and the role of human understanding when machines produce proofs that humans struggle to decipher.