1 подписчик
🧮 ИИ на модели Anthropic доказал квантовую гипотезу 2008 года
Стартап PSI утверждает, что с помощью неанонсированной модели Anthropic доказал гипотезу Ааронсона — Амбаниса. Доказательство принял Lean.
▪️ Гипотеза оставалась открытой с 2008 года
▪️ Полное доказательство получено на третий день работы системы
▪️ Формальное доказательство проверено в Lean и выложено на GitHub
▪️ Результат считает обращения к данным, а не полное время вычислений
💡 ИИ уже претендует на решение открытых научных задач, а проверка в Lean делает такие заявления проверяемыми.
#AI #Anthropic #квантовыекомпьютеры #наука
🌐 https://shina.136-0-116-83.sslip.io/news/8-ii-na-modeli-anthropic-dokazal-kvantovuyu-gipotezu-2008-goda · Источник
Около минуты
Сегодня