Home
Storia in 2 fonti
General-purpose AI model reportedly solves major open problem in mathematics
Mathematician Ernest Ryu used OpenAI's GPT-5 to solve a 40-year-old convex optimization problem. Here's why it matters for crypto and beyond.
- ·
techcrunch.com
OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
- ·
cryptobriefing.com
General-purpose AI model reportedly solves major open problem in mathematics
Mathematician Ernest Ryu used OpenAI's GPT-5 to solve a 40-year-old convex optimization problem. Here's why it matters for crypto and beyond.
- ·
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart contract verification and crypto.
- ·
OpenAI model disproves major Erdős conjecture using general-purpose reasoning system
OpenAI's general-purpose AI model disproved Paul Erdős's 1946 planar unit distance conjecture, marking a historic first for autonomous AI mathematical discovery.