@__alpoge__: over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem,…
Summary
Over the weekend, Mythos was tested on the Erdos unit distance problem (Problem #90) and successfully solved it.
Similar Articles
Mythos (using Claude code) also solves the unit distance problem recently handled by GPT 5.5, with a "cute, simple proof".
Mythos, using Claude code, solved the unit distance problem recently handled by GPT 5.5, presenting a cute, simple proof.
Claude Mythos
Anthropic's new AI model Claude Mythos, using the Claude Code framework, reportedly solved Erdős's distinct distances problem by finding alternative simple proofs, following OpenAI's earlier disproof. This demonstrates LLMs' ability to make independent scientific breakthroughs.
@wjmzbmr1: 1/ Today, an internal @OpenAI model has refuted Erdős’s unit distance conjecture — a research result that one could rec…
An internal OpenAI model has disproved Erdős's unit distance conjecture, solving a famous open problem in mathematics and demonstrating AI's potential to contribute to high-level research.
An OpenAI model solved a famous math problem that stumped humans for 80 years
OpenAI's AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped mathematicians for 80 years, marking a milestone in AI mathematics.
OpenAl claims Al breakthrough, says its model solved 80-year-old math problem
OpenAI claims its unreleased reasoning model has solved the 80-year-old planar unit distance problem in mathematics, producing an original proof that outperforms traditional grid-based arrangements.