Модель OpenAI решила десять задач, над которыми математики работали десятилетиями
Модель OpenAI решила десять задач, над которыми математики работали десятилетиями
Новая, пока не вышедшая модель Astra, решила десять математических задач, по которым у учёных не было прогресса как минимум десять лет. OpenAI утверждает, что все они представляют существенный интерес для математических сообществ.
Все решения в сумме стоили 2 тысячи долларов, если считать по тарифам GPT-5.6 Sol.
По словам OpenAI, математические идеи полностью сгенерировала Astra. Люди помогли оформить их в научные статьи, после чего модель формализовала каждое доказательство в Lean.
https://openai.com/index/ten-advances-in-mathematics/
Новая, пока не вышедшая модель Astra, решила десять математических задач, по которым у учёных не было прогресса как минимум десять лет. OpenAI утверждает, что все они представляют существенный интерес для математических сообществ.
Все решения в сумме стоили 2 тысячи долларов, если считать по тарифам GPT-5.6 Sol.
По словам OpenAI, математические идеи полностью сгенерировала Astra. Люди помогли оформить их в научные статьи, после чего модель формализовала каждое доказательство в Lean.
https://openai.com/index/ten-advances-in-mathematics/
GPT/ChatGPT/AI Central Александра Горного
878 публикаций на visbl.me
Авторский взгляд на новости технологий Реклама: https://docs.google.com/presentation/d/1glQMXYyKAYpzNP8VXzM4gl2YkEgLjkeD_Fxvzbu5QUE/edit РКН: https://clck.ru/3FPkup Личный аккаунт: @gornal О рекламе: @Vzuhcha ВП нет
Связанные темы
Читать далее
Суд в Москве отказался защищать авторские права на AI-картинки
GPT/ChatGPT/AI Central Александра Горного·
Обмануть ИИ
Стартап дня. Александр Горный.·
Как новый закон ЕС повлияет на использование ИИ в продуктах?
veselcraft·
Китай начал выпуск собственных машин для производства чипов
GPT/ChatGPT/AI Central Александра Горного·
Как искусственный интеллект изменит математику в 2026 году?
e/acc·
Почему стоит учиться в области технологического предпринимательства?
GPT/ChatGPT/AI Central Александра Горного·
💬Discussion (2)
Джеймс Клерк Максвелл в 1873 году предположил: у n точечных зарядов не больше (n−1)² точек, где электрическое поле обращается в ноль. Доказательства он не привёл, и за 150 лет его никто не нашёл.
Зато теперь нашли контрпример. Пять зарядов, 24 критические точки вместо разрешённых 16, все невырожденные. Препринт выложил математик Филип Аратун. В заголовке обсуждения на Hacker News стоит пометка «GPT 5.6 Sol», но добавил её автор отправки на HN — в самом препринте нейросети не упоминаются. Проверить такой контрпример легко, найти — тяжело.
🔗 Читать: https://mltimes.ai/gipoteza-maksvella-proderzhalas-150-let-kontrprimer-pyat-zar/