Модель OpenAI Astra решила 10 открытых математических задач
Модель OpenAI Astra достигла значительных успехов, решив десяток открытых математических задач, некоторые из которых были актуальны на протяжении 40-50 лет.
Модель OpenAI Astra решила 10 открытых математических задач, некоторые из которых были актуальны на протяжении 40-50 лет.
OpenAI недавно опубликовали большой пост об этом, выложив все доказательства в Lean и ход рассуждений модели. В сумме на поиск решений было потрачено токенов примерно на $2000 по ценам Sol.
Среди результатов, в том числе, доказательство существования несофических групп и упаковка сфер в высоких размерностях.
Существование несофических групп на протяжении 20 лет было центральным вопросом теории групп и операторных алгебр. Упаковка сфер – это одна из самых знаменитых задач дискретной геометрии. До сих пор точное решение было известно только в некоторых размерностях, а за 8-мерный и 24-мерный случай Марина Вязовская получила Филдсовскую медаль.
Кроме того, в списке решение задачи Эрдеша №183 про мультицветные числа Рамсея, опровержение гипотезы жесткости Конна, гипотеза Эрхарта об объеме и др.
Про саму модель деталей мало. Вероятно, это крупная модель из семейства GPT-6 (или GPT-5.7), та самая, которая взломала HuggingFace. Судя по всему, именно ее Альтман презентовал в Белом Доме на этой неделе.
Почему это важно
АналитикаЭто важно, поскольку достижения OpenAI в математике демонстрируют потенциал искусственного интеллекта в решении сложных научных задач. Решение таких задач может оказать значительное влияние на развитие математики и смежных наук.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками
Связанные материалы экосистемы
Практические гайды, терминология и агентские скиллы
Четыре совета по резюме от руководителя направления прикладного ИИ-разработки в OpenAI
Вульфи Бейн, руководитель направления прикладной ИИ-разработки в OpenAI, назвал четыре правила резюме: краткость, релевантность, акцент на результатах и вынос важных достижений на начало.
Сэм Альтман переименовал аккаунт в X в Ram Altman
Сэм Альтман изменил отображаемое имя своего аккаунта в X на Ram Altman.
OpenAI GPT (Флагманские модели серии GPT)
Основная универсальная линейка больших языковых моделей от OpenAI (GPT-4, GPT-4o). Оптимизирована для сложного текстового анализа, программирования, творчества и повседневной интеллектуальной работы.
Профиль Hermes: OSINT-исследователь и глубокий веб-ресерч
Профиль аналитика открытых источников (OSINT) Hermes: многоэтапный интернет-поиск, верификация первоисточников, конкурентная разведка и фактчекинг.