AI solved 80-year-old math problem

An AI model from Open AI has solved a math problem formulated in 1946 by Paul Erdős. Svante Linusson, professor at KTH, expressed shock at the result.

The problem concerns how many equal-length lines can be drawn between points on a sheet of paper. Erdős's theory that the most lines are achieved in a grid proved incorrect.

The AI model used tools from another area of mathematics and wrote its own research article on the solution. Linusson assesses that the article could have been published in top journals if written by a human.

The discovery was reported on May 30, 2026.

Makala yanayohusiana

A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.

Imeripotiwa na AI

Researchers gathered in London this week to accelerate the formalization of Fermat's Last Theorem using advanced AI models. The workshop focuses on converting Andrew Wiles's 1993 proof into Lean code for computer verification. Progress has been rapid, with code lines doubling after the first day.

SVT reporter Jonna Björnbom trained with a free AI service for eight weeks to run 10 kilometers. Running coach Hugo Östby in Ludvika comments on the experiment.

Imeripotiwa na AI

An effort to verify a controversial proof of the ABC conjecture using computer software has made no progress. An interim report from the Lean and Anabelian Geometry project shows that mathematicians remain divided over the validity of the underlying theory.

Alhamisi, 23. Mwezi wa saba 2026, 16:07:27

ChatGPT disproves 30-year-old math conjecture with simple prompts

Alhamisi, 23. Mwezi wa saba 2026, 03:37:48

Four mathematicians receive Fields Medals for 2026

Jumapili, 12. Mwezi wa saba 2026, 01:23:28

Linus Torvalds calls AI productivity claim unscientific

Alhamisi, 28. Mwezi wa tano 2026, 08:27:37

Ai start-ups hire mathematicians to build verifiable systems

Jumanne, 19. Mwezi wa tano 2026, 07:30:44

Prize-winning Granta story likely written by AI

Tovuti hii inatumia vidakuzi

Tunatumia vidakuzi kwa uchambuzi ili kuboresha tovuti yetu. Soma sera ya faragha yetu kwa maelezo zaidi.
Kataa