DeepMind's 100-agent AI swarm found a Lean proof-checker exploit that spread in 27 minutes, splitting agents into cheaters, ...

AI continues to make rapid advances in science and math. Anthropic says its AI model Claude has produced the first complete, computer-verified ...

Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29 ...

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing ...

Future versions could verify correctness of AI-generated code ...

A series of recent research papers have shown that ChatGPT and related large language models can produce original, verifiable ...

Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and ...

Recently, two American high school students made headlines for discovering a new proof of the Pythagorean theorem. Calcea Johnson ...

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or two ...