utworzone przez Redakcja | lis 6, 2026
Nieopublikowany model AI firmy Anthropic rozwiązał w zaledwie 3 dni osiemnastoletnie przypuszczenie z dziedziny obliczeń kwantowych. Dowód ustala fundamentalne ograniczenia przyspieszeń kwantowych i został formalnie zweryfikowany przy użyciu systemu Lean.
