Gauss AI verifies Fields Medal-winning proofs in 5 days and 2 weeks

In a groundbreaking achievement in mathematical research, an AI agent named Gauss has successfully formalized and verified a Fields Medal-winning proof for the first time, focusing on the optimal packing of identical spheres in 8 and 24 dimensions. This landmark AI-human collaboration began when a human team started translating the 8-dimensional proof in March 2024, expecting a lengthy process, but Gauss completed the task in just five days and handled the 24-dimensional proof entirely on its own in two weeks. The formalization process involved translating informal mathematical proofs into a strict programming language called Lean, dramatically reducing the chance of hidden errors and allowing for rigorous verification of the proofs.

Source

You might be interested in …

Bitcoin volatile, but flat, while crypto stocks bounce amid cooling AI fears

Crypto Desk March 6, 2026

Mastercard unveils verifiable intent with Google for AI purchase authorization

Mastercard has launched “Verifiable Intent,” a new trust layer developed in collaboration with Google that provides cryptographic proof of user authorization for AI-driven purchases. This initiative includes the open-sourcing of the Verifiable Intent specification and […]

Crypto Desk February 23, 2026

Machi Big Brother holds 1,700 ETH as total loss exceeds $28.8M

In the wake of a sharp crash in the crypto markets, Machi (@machibigbrother) experienced another partial liquidation while continuing to increase his long position in Ethereum, now holding 1,700 ETH valued at approximately $3.21 million. […]

Simon Squibb: Sales education is essential for entrepreneurs, why the first million is a crucial milestone, and the power of personal connections in fundraising | 20VC

Crypto Desk March 6, 2026

Injective enables AI agents to autonomously trade derivatives onchain

Injective has introduced the ability for AI agents to autonomously trade derivatives onchain, enhancing the platform’s capabilities for sophisticated trading. This development is complemented by a recent upgrade that rolled out an EVM, significantly increasing […]