Mythos (using Claude code) also solves the unit distance problem recently handled by GPT 5.5, with a "cute, simple proof".
Summary
Mythos, using Claude code, solved the unit distance problem recently handled by GPT 5.5, presenting a cute, simple proof.
Similar Articles
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.
@__alpoge__: over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem,…
Over the weekend, Mythos was tested on the Erdos unit distance problem (Problem #90) and successfully solved it.
@liu8in: Been testing Mythos for 2 hours - best code-to-motion LLM by far Claude Code + Fable 5 one-shotted this @HyperFrames_ l…
Claude Fable 5, a Mythos-class model, is announced with capabilities exceeding all previous generally available models, tested in code-to-motion tasks.
Mythos 1 has been spotted in Claude Code
Mythos 1, a new AI model, has been spotted in Claude Code, Anthropic's coding assistant, hinting at a potential new release.
Human mathematicians are being outcounterexampled
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.