HomeAI · summaries
Storia in 3 fonti
An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn't Leave It Alone
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.
Confronto fonti
3 prospettive sulla stessa storiaTimeline cronologica
- ·
news.bitcoin.com
An AI Cracks an 80-Year-Old Geometry Puzzle. What Do Mathematicians Make of It?
OpenAI's AI model solves Paul Erdős' 80-year-old geometry puzzle, earning praise from Princeton mathematicians.
- ·
arstechnica.com
An OpenAI model solved a famous math problem that stumped humans for 80 years
I tried to explain OpenAI’s solution more clearly than OpenAI did.
- ·
gizmodo.com
An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn't Leave It Alone
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.