HomeAI · summaries
Storia in 5 fonti
Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"
Shortly after OpenAI disproved Erdős' unit-distance conjecture, Anthropic shows Claude Mythos can solve the problem too - "over the weekend." Engineer Sholto Douglas says Mythos cracked the 1946 conjecture with a "cute, simple proof," a sign of "serious overhang" in AI-driven math discoveries.
Confronto fonti
5 prospettive sulla stessa storiaTimeline cronologica
- ·
theconversation.com
An AI solution to an 80-year-old problem has shocked mathematicians
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.
- ·
the-decoder.com
Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"
Shortly after OpenAI disproved Erdős' unit-distance conjecture, Anthropic shows Claude Mythos can solve the problem too - "over the weekend." Engineer Sholto Douglas says Mythos…
