Сообщение с рынка криптовалют: OpenAI объявила, что GPT-5.6 SOL Ultra вызывает 64 подагента, на это уходит меньше 1 часа, и выдает доказательство для выдвинутой примерно 50 лет назад «циклической двукратной гипотезы о перекрытии». OpenAI опубликовала полный prompt и весь текст доказательства, а также открыла исходный код формализованной версии в Lean; соответствующий код прошел проверку ядром Lean. Однако это все же результат, опубликованный OpenAI, и в математическом сообществе еще не завершили независимую проверку, поэтому пока можно лишь сказать «предоставлено доказательство», а не «официально решено».

Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 5
  • 1
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
SnackFi
· 1ч назад
Предположение 50-летней давности удалось решить за час с помощью ИИ — математики в стрессовом состоянии
Посмотреть ОригиналОтветить0
NekoValidator
· 1ч назад
64 подагентa координируют работу вместе — в этой архитектуре есть кое-что интересное
Посмотреть ОригиналОтветить0
CandleSitter
· 2ч назад
ИИ доказал математическую гипотезу — сюжет развивается слишком быстро
Посмотреть ОригиналОтветить0
NeonVortexTunnel
· 2ч назад
OpenAI открывает исходный код Lean, как минимум настроена корректно
Посмотреть ОригиналОтветить0
DewdropSapling
· 2ч назад
Пусть сначала пройдут рецензирование и экспертизу, не спешите с шампанским
Посмотреть ОригиналОтветить0
  • Закреплено