{"id":51816,"date":"2026-05-26T19:05:09","date_gmt":"2026-05-26T19:05:09","guid":{"rendered":"https:\/\/www.europesays.com\/ai\/51816\/"},"modified":"2026-05-26T19:05:09","modified_gmt":"2026-05-26T19:05:09","slug":"claude-mythos-reportedly-solves-openais-landmark-erdos-problem-with-a-cute-simple-proof","status":"publish","type":"post","link":"https:\/\/www.europesays.com\/ai\/51816\/","title":{"rendered":"Claude Mythos reportedly solves OpenAI&#8217;s landmark Erd\u0151s problem with a &#8220;cute, simple proof&#8221;"},"content":{"rendered":"<p>Anthropic employees say Claude Mythos can also solve OpenAI&#8217;s &#8220;AI math milestone.&#8221;\u00a0OpenAI recently\u00a0<a href=\"https:\/\/the-decoder.com\/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">disproved the Erd\u0151s unit-distance conjecture<\/a>, an open problem in combinatorial geometry since 1946. Anthropic engineer Sholto Douglas\u00a0<a href=\"https:\/\/x.com\/_sholtodouglas\/status\/2059303540150137244\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">wrote on X<\/a> that Mythos solves it with a &#8220;cute, simple proof,&#8221; a sign of &#8220;serious overhang&#8221; in AI-driven math discoveries.<\/p>\n<p><img fetchpriority=\"high\" decoding=\"async\" class=\"wp-image-35945 size-full\" src=\"https:\/\/www.europesays.com\/ai\/wp-content\/uploads\/2026\/05\/mythos_erdos_openai.png\" alt=\"\" width=\"594\" height=\"414\"\/><a target=\"_blank\" rel=\"noopener nofollow\" href=\"https:\/\/x.com\/_sholtodouglas\/status\/2059303540150137244\">via X<\/a><\/p>\n<p>The <a target=\"_blank\" rel=\"noopener nofollow\" href=\"https:\/\/x.com\/__alpoge__\/status\/2059298567366513110\">team used a test system<\/a>\u00a0built after <a href=\"https:\/\/the-decoder.com\/openais-gpt-5-4-pro-reportedly-solves-a-longstanding-open-erdos-math-problem-in-under-two-hours\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">AI solved Erd\u0151s problem #1196<\/a>: isolated Claude Code instances with Mythos access receive the problem, develop solution paths, and then one instance summarizes and distributes them to further instances working independently. Mythos frequently took a different route than OpenAI&#8217;s model. <a href=\"https:\/\/x.com\/littmath\/status\/2059309078812180877\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">Mathematician Daniel Litt called<\/a>\u00a0the result &#8220;a bit worse&#8221; than OpenAI&#8217;s, but Mythos reportedly found OpenAI&#8217;s solution too. Anthropic published a\u00a0<a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/ca35f196125c899a5ad11f011080202a652aef02.pdf\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">proof version prepared by Opus 4.7<\/a>.<\/p>\n<p>Google DeepMind also recently announced that an AI-assisted system\u00a0<a href=\"https:\/\/the-decoder.com\/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars\/\" target=\"_blank\" rel=\"noopener noreferrer nofollow\">solved nine Erd\u0151s problems<\/a>, though its approach relies on the formal proof language Lean, which is less impressive from an LLM purist&#8217;s perspective. Then again, <a href=\"https:\/\/the-decoder.com\/frontier-radar-2-why-ai-productivity-gets-lost-between-benchmarks-and-the-balance-sheet\/\" rel=\"nofollow noopener\" target=\"_blank\">Claude Code is an agentic harness, not a pure LLM either<\/a>.<\/p>\n<p>\t\t\t\tAI News Without the Hype \u2013 Curated by Humans<\/p>\n<p>\n\t\t\t\t\tSubscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive &#8220;AI Radar&#8221; frontier report six times a year, full archive access, and access to our comment section.\t\t\t\t<\/p>\n<p>\t\t\t\t<a href=\"https:\/\/the-decoder.com\/subscription\/\" class=\"inline-block text-white bg-(--heise-primary) mt-3 hover:bg-blue-800 focus:ring-4 focus:outline-none focus:ring-blue-300 font-medium rounded-sm w-full sm:w-auto  pl-3 pr-3 py-2.5 text-center newsletter-submit-button hover:no-underline\" rel=\"nofollow noopener\" target=\"_blank\"><br \/>\n\t\t\t\t\tSubscribe now\t\t\t\t<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"Anthropic employees say Claude Mythos can also solve OpenAI&#8217;s &#8220;AI math milestone.&#8221;\u00a0OpenAI recently\u00a0disproved the Erd\u0151s unit-distance conjecture, an&hellip;\n","protected":false},"author":2,"featured_media":51817,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[53,3154,182,1785,157],"class_list":["post-51816","post","type-post","status-publish","format-standard","has-post-thumbnail","category-anthropic","tag-anthropic","tag-anthropic-claude","tag-claude","tag-math","tag-openai"],"_links":{"self":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/51816","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/comments?post=51816"}],"version-history":[{"count":0,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/51816\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media\/51817"}],"wp:attachment":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media?parent=51816"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/categories?post=51816"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/tags?post=51816"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}