🧮 ИИ на модели Anthropic доказал квантовую гипотезу 2008 года
Стартап PSI утверждает, что с помощью неанонсированной модели Anthropic доказал гипотезу Ааронсона — Амбаниса. Доказательство принял Lean.
Рубрика
1 материал
Стартап PSI утверждает, что с помощью неанонсированной модели Anthropic доказал гипотезу Ааронсона — Амбаниса. Доказательство принял Lean.