Claude Mythos megoldotta a 1946‑os Erdős egység‑távolság tételt
A Claude Mythos egy izolált Claude Code példányokból álló tesztrendszerrel oldotta meg a 1946-os Erdős egység-távolság tételt. A megoldás során a példányok kidolgozták a megoldási útvonalakat, majd egy példány összegzi és továbbadta a többi egységnek.
A Claude Mythos által bemutatott aranyos, egyszerű bizonyítás a The Decoder szerint — írja a The Decoder.
Bizonyítás jellege
A tesztrendszerben izolált Claude Code példányok kapják a feladatot, kidolgozzák a megoldási útvonalakat, majd egy példány összegzi és továbbadja a többi önállóan dolgozó egységnek.
Verseny az AI‑matematikában
Mythos gyakran más útvonalat választott, mint az OpenAI modell, ami a kutatók szerint új megközelítést jelez.
A matematikus Daniel Litt a megoldást "kicsit rosszabbnak" nevezte az OpenAI-éhoz képest, de elismerte, hogy Mythos megtalálta az OpenAI megoldását is.
Az Anthropic a bizonyítást az Opus 4.7 verzióval publikálta, amely a The Decoder szerint részletes leírást tartalmaz.
A Google DeepMind bejelentette, hogy egy AI‑segített rendszer a Lean formális nyelvvel kilenc Erdős‑problémát oldott meg.
Ez a fejlemény a The Decoder szerint a mesterséges intelligencia matematikai alkalmazásainak új szintjét jelzi.
A Claude Mythos eredményét 2026. május 26-án tette közzé az Anthropic, a publikáció a The Decoder szerint a következő héten várható.