Китайские ученые решили математическую гипотезу Гиса, над которой работали более 30 лет, применив модель InternLM-S2 для человеко-машинного доказательства.
Китайские ученые решили математическую гипотезу Гиса, остававшуюся открытой более 30 лет, с помощью мультимодальной модели ИИ InternLM-S2.
Публикация 722 математических доказательств от OpenAI вызвала протест ученых, опасающихся за целостность исследований и безопасность криптографических систем.
Шинтан Яу возглавил альянс восьми исследовательских институтов для внедрения ИИ в математику, планируя объединить 1000 ученых и разработать новые стандарты проверки доказательств.
В Университете Цинхуа создан Альянс лабораторий математики и ИИ, объединивший более 1000 ученых для развития методов автоматизированного математического доказательства.
Математик из Нью-Йоркского университета Тристан Бакмастер предостерегает коллег от использования ИИ для работы над оригинальными идеями после инцидента с публикацией его исследований в OpenAI.
Анализ Epoch AI показал, что доля математических препринтов с упоминанием ИИ выросла до 25% в период с апреля по август 2026 года.
Компания OpenAI опубликовала более 700 рукописей с 400 математическими результатами, что вызвало неоднозначную реакцию в научном сообществе из-за вопросов верификации и влияния на исследования.
Исследователи выявили расхождения между текстовым доказательством уравнений Навье — Стокса от OpenAI и его версией на языке Lean, что ставит под сомнение точность математических выводов ИИ.
OpenAI заявила о решении трехмерных уравнений Навье-Стокса с помощью собственной ИИ-модели, однако результат еще не получил официального признания.
OpenAI опубликовала 719 математических доказательств, что вызвало критику со стороны экспертов и математика Теренса Тао из-за отсутствия прозрачности и методологических проблем.
Компания OpenAI отозвала три математические работы из коллекции в 722 документа, созданных нейросетью, после обнаружения ошибки в одном из доказательств.
Новые математические доказательства от OpenAI не соответствуют стандартам прозрачности и верификации, установленным Консультативной группой по математике и ИИ.
OpenAI опубликовала 722 сгенерированных ИИ научных материала, 300 из которых прошли машинную проверку в системе Lean, что вызвало активный анализ со стороны математического сообщества.
OpenAI опубликовала 722 математические рукописи, созданные внутренней нейросетью, однако лишь 22% из них прошли формальную проверку на ошибки.
Компания OpenAI представила 722 математические работы, созданные невыпущенной моделью ИИ, которые содержат доказательства гипотез в 20 научных областях.
Компания OpenAI предложила невыпущенной модели ИИ решить 4 000 математических задач, что привело к созданию 722 исследовательских работ.
OpenAI столкнулась с критикой математиков из-за публикации результатов работы ИИ в соцсетях вместо научных статей и игнорирования академических стандартов.
OpenAI опубликовала 372 математических доказательства, созданных ИИ, на GitHub, минуя традиционное рецензирование для ускорения научной работы.
OpenAI опубликовала 722 математические рукописи с доказательствами 372 нерешенных задач, полученные с помощью невыпущенной модели ИИ.
