Anthropic достигла прогресса в исследовании гипотезы Римана с помощью еще не выпущенной модели

Anthropic сообщила, что не выпущенная еще модель достигла прогресса в исследовании гипотезы Римана, результаты были подтверждены внутренними математиками компании и формализованы с помощью открытого доказательного помощника Lean. Модель была протестирована сотрудником с незначительным математическим опытом, и в течение примерно полутора дней совместной работы было протестировано 650 идей, с привлечением 60 подагентов для распределения задач. Конкретное распределение задач включало 2 подагента, отвечающих за выдвижение ключевых математических идей, 13 подагентов, дополняющих ключевые идеи, и 13 подагентов, проверяющих правильность рассуждений. С увеличением таких результатов обсуждение участия ИИ в доказательствах становится все более актуальным в математическом сообществе. Недавно OpenAI опубликовала 10 важных математических результатов, подтвержденных внутренней моделью, а другой проект Anthropic опроверг долгосрочную гипотезу о Якобиане. Гипотеза Римана до сих пор не доказана, и внешние организации установили приз в 1 миллион долларов за ее доказательство.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.