Get the latest Science News and Discoveries

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days

Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

None

Related news:

Stem cell advances bring lab-grown steaks a bite closer (In 15 days, scientists grew bovine cell structures that contained muscle, nerve, and blood vessel precursors in a valuable step toward lab-grown meat options.)

Fermat’s last theorem formalised by AI agents in just 11 days

Peppermint Oil Lowered Blood Pressure by 8 Points in Just 20 Days, Trial Finds

« How climate change may amplify earthquake impacts in the Arctic

RNA suppression reverses the cellular cause of a deadly lung disease (Chemical and genetic suppression of a microRNA helped prevent disease in mouse models of pulmonary arterial hypertension, opening a path to new therapies.) »