Claude Mythos reportedly solves OpenAI’s landmark Erdős problem with a “cute simple proof”

据报道Claude Mythos以"巧妙简洁的证明"解决了OpenAI里程碑式的Erdős问题

Anthropic engineer Sholto Douglas said Claude Mythos solved OpenAI’s Erdős unit distance conjecture problem over the weekend and produced a “cute simple proof”; the RSS snippet does not disclose the proof, verification process, or benchmark setup.

Why it matters: HKR-H/K/R all pass: the claim is clickable, specific, and tied to frontier reasoning rivalry. The post does not disclose the proof, validation process, or Mythos release status, so it stays featured rather than P1.