Исследователи усовершенствовали методы доказательства ИИ, решая проблему Элдора и шестьдесятилетнюю гипотезу

robot
Генерация тезисов в процессе

AIMPACT сообщение, 4 мая (UTC+8), исследователи улучшили и адаптировали метод доказательства, основанный на AI, изначально разработанный для GPT-5.4 Pro, который недавно был использован для решения проблемы Эльдорса 1196. Путем обобщения этой математической рамки, открытой AI, совместная команда также доказала еще одну шестидесятилетнюю гипотезу, предложенную Эрдёшем, Саркоци и Смереди. Это сообщение было опубликовано WesRoth 4 мая 2026 года в Twitter, в нем упоминается совместная работа и обобщение метода доказательства, но не приводятся конкретные технические детали. (Источник: InFoQ)

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