Nevydaná výzkumná verze umělé inteligence Claude od společnosti Anthropic dosáhla největšího samostatného zlepšení klíčové matematické hranice související s Riemannovou hypotézou. Zvýšila tak dokázanou dolní mez pro podíl netriviálních nul Riemannovy zeta funkce na kritické přímce ze 41,6 % na 67,2…
Anthropic oznámila, že experimentální model Claude dosáhl největšího samostatného zlepšení desítky let staré hranice spojené s Riemannovou hypotézou, což je dosud nevyřešený problém tisíciletí s odměnou milion dolarů, který odolává od roku 1859.anthropic+1
Umělá inteligence podle Anthropicu koordinovala přibližně 60 subagentů, vygenerovala 31 milionů tokenů a spíše zkombinovala stávající matematické rámce, než aby vymýšlela nové techniky.theaiinsider+1
Výsledek ověřili dva matematici z Anthropicu a externí teoretici čísel, přičemž Claude vytvořil formálně ověřitelný důkaz v jazyce Lean.theaiinsider+1