Согласно новым раскрытым данным, эта нерелизированная модель (возможно, GPT-6) решила 10 долгосрочных нерешенных задач в области математики, квантовой сложности и теоретической информатики, включая первую явную не-sofic группу и опровержение гипотезы Коннеса о жесткости. Основные аргументы были сгенерированы Astra и формально доказаны в Lean, что привело к созданию 249-страничного рукописного текста и машиночитаемого сертификата. Стоимость токенов за одно успешное решение при тарифах Sol API составляет всего около 2000 долларов США.
Нерелизированная модель OpenAI решила 10 давних математических задач
TechFlowПоделиться
Сводка
Нерелизированная модель OpenAI, возможно, GPT-6, решила 10 ключевых математических задач, включая первую явную несофическую группу и опровержение гипотезы жесткости Коннса. Работа, поддержанная Astra и формализованная в Lean, привела к созданию рукописи объемом 249 страниц и машинно-проверяемых доказательств. Долгосрочные инвестиции в исследования, основанные на ИИ, могут извлечь выгоду из таких прорывов. Одно решение стоило около 2000 долларов в виде использования токенов по тарифам Sol API.
Источник:Показать оригинал
Отказ от ответственности: Информация на этой странице может быть получена от третьих лиц и не обязательно отражает взгляды или мнения KuCoin. Данный контент предоставляется исключительно в общих информационных целях, без каких-либо заверений или гарантий, а также не может быть истолкован как финансовый или инвестиционный совет. KuCoin не несет ответственности за ошибки или упущения, а также за любые результаты, полученные в результате использования этой информации.
Инвестиции в цифровые активы могут быть рискованными. Пожалуйста, тщательно оценивайте риски, связанные с продуктом, и свою устойчивость к риску, исходя из собственных финансовых обстоятельств. Для получения более подробной информации, пожалуйста, ознакомьтесь с нашими Условиями использования и Уведомлением о риске.