🧮 ИИ на модели 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 · Источник ⚡️ шина.io — новости ИИ и IT
1 час назад
