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…
- ·
sciencealert.com
Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians
Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture…
- ·
understandingai.org
OpenAI’s “milestone” math breakthrough played to AI’s strengths
I explain OpenAI’s math breakthrough more clearly than OpenAI did.
- ·
newscientist.com
Mathematical AI helps researchers crack 50-year-old problem
After an AI from OpenAI found a trick to solve an 80-year-old conjecture from Paul Erdős, mathematicians have borrowed the same technique to solve another important problem