Home
Storia in 8 fonti
KI beweist: Mathematiker lagen falsch
Eine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.
- ·
cryptobriefing.com
OpenAI model autonomously solves planar unit distance problem
An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.
- ·
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.
