Репост из: Data Secrets
Используя идеи ИИ, ученые опровергли известную гипотезу сумм-произведений для действительных чисел
Совсем недавно OpenAI объявили, что их внутренняя модель нашла лучшее решение для известной задачи Эрдеша о единичном расстоянии. Люди 80 лет считали, что оптимальное решение найдено, но ИИ удалось найти абсолютно новое бесконечное семейство конфигураций, которое превзошло предыдущие версии.
Если хотите почитать подробнее, мы писали об этом здесь: t.me/data_secrets/9265.
Основная фишка решения заключалась в альтернативном подходе, который люди до этого не замечали. Модель связала геометрическую задачу с алгебраической теорией чисел, и использовала в решении башни полей классов.
Ученые сразу обратили внимание на этот трюк. И вот, используя те же башни полей, группа математиков буквально вчера опровергла еще одну известную гипотезу.
Вот их статья: arxiv.org/pdf/2605.28781. В ней они прямо пишут, что "вдохновились на повторное рассмотрение возможности
опровержения гипотезы благодаря изобретенному в OpenAI контрпримеру для задачи о единичных расстояниях".
Кстати, в ходе работы авторы также использовали GPT-5.5 Pro, но пишут, что финальное доказательство все-таки получили самостоятельно.
Совсем недавно OpenAI объявили, что их внутренняя модель нашла лучшее решение для известной задачи Эрдеша о единичном расстоянии. Люди 80 лет считали, что оптимальное решение найдено, но ИИ удалось найти абсолютно новое бесконечное семейство конфигураций, которое превзошло предыдущие версии.
Если хотите почитать подробнее, мы писали об этом здесь: t.me/data_secrets/9265.
Основная фишка решения заключалась в альтернативном подходе, который люди до этого не замечали. Модель связала геометрическую задачу с алгебраической теорией чисел, и использовала в решении башни полей классов.
Ученые сразу обратили внимание на этот трюк. И вот, используя те же башни полей, группа математиков буквально вчера опровергла еще одну известную гипотезу.
Вот их статья: arxiv.org/pdf/2605.28781. В ней они прямо пишут, что "вдохновились на повторное рассмотрение возможности
опровержения гипотезы благодаря изобретенному в OpenAI контрпримеру для задачи о единичных расстояниях".
Кстати, в ходе работы авторы также использовали GPT-5.5 Pro, но пишут, что финальное доказательство все-таки получили самостоятельно.