GPT-5.6 запускает 64 агента, и за час выдает доказательство предположения на 50 лет

robot
Генерация тезисов в процессе
Согласно мониторингу Beating, OpenAI заявляет, что GPT-5.6 Sol Ultra вызывает 64 подагента, тратя менее 1 часа, чтобы выдать доказательство для выдвинутой примерно 50 лет назад «гипотезы о циклическом двойном покрытии».

OpenAI уже опубликовала полный prompt и весь текст доказательства, а также открыла исходный Lean-формализованный вариант. Соответствующий код прошёл проверку Lean-ядром. Однако это по-прежнему результат, выпущенный OpenAI. В математическом сообществе ещё не завершили независимую проверку, поэтому пока можно говорить лишь «предоставлено доказательство», но нельзя напрямую сказать «официально решено».
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Репост
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
Нет комментариев
  • Закреплено