#математика
-
OpenAI и «задачи тысячелетия»: почему математики перестали доверять ИИ-гигантам
OpenAI заявила о решении задачи Навье—Стокса, но вместо триумфа получила скандал: математики обвиняют компанию в гонке за престижем, пренебрежении чужим трудом и «детском» соперничестве с Anthropic.
-
Математики требуют от OpenAI доказательств, что она не использовала их работы
Второй за неделю математик обвинил OpenAI в непрозрачности: он опасается, что его переписка с ChatGPT могла попасть в обучающие данные и помочь компании в её громких открытиях.
-
OpenAI решила задачу Навье–Стокса — и обвинения в том, что чужие идеи «подсмотрели»
OpenAI заявила о доказательстве одной из семи «Проблем тысячелетия» с помощью внутренней модели. Успех омрачён обвинениями в том, что компания опередила команду, почти год работавшую над задачей с использованием тех же самых инструментов.
-
Теренс Тао — о риске «преждевременно решить математическую задачу чисто ИИ-методами»
Математик Теренс Тао в своём треде на Mathstodon рассуждает об опасности решать задачи чистой математики исключительно при помощи ИИ. Наблюдатели отмечают, что то же соображение применимо и к программированию.
-
ИИ Anthropic формально доказал Великую теорему Ферма на Lean
Внутренняя модель Anthropic за 11 дней собрала полную формализацию доказательства Великой теоремы Ферма — последнего пункта в 20-летнем списке из 100 формализационных задач.
-
ИИ не переигрывает математиков, а их перепоминает
Давиде Пиффер предлагает менее эффектное объяснение успехов ИИ в математике: дело не в превосходящем разуме, а в почти безграничной символьной рабочей памяти.
-
Модель Anthropic продвинулась в решении гипотезы Римана
Неопубликованная модель Anthropic не доказала гипотезу Римана, но заметно расширила границу, до которой её справедливость подтверждена. Работу проверили штатные математики компании и формализовали в Lean.
-
Пролистать все 43 квинтиллиона состояний кубика Рубика
Веб-проект предлагает прокрутить все 43 252 003 274 489 856 000 возможных положений кубика Рубика — от первой перестановки до последней.
-
OpenAI анонсировала Astra — модель, решившую десять давних математических задач
OpenAI представила пока не выпущенную модель Astra, которая во внутренних испытаниях получила десять значимых результатов в математике и теоретической информатике. Компания называет её своей «следующей крупной моделью».
-
Ложное «опровержение» гипотезы Коллатца обнажило баг в ядре Lean
В ядре системы доказательств Lean нашли ошибку корректности: с помощью ИИ было построено формально принятое, но неверное «опровержение» гипотезы Коллатца. Автор Lean Леонардо де Моура опубликовал разбор случившегося.
-
Языковая модель Fable «опровергла» гипотезу о якобиане — но математики осторожничают
Математик под ником levent объявил в соцсети X, что знаменитая гипотеза о якобиане неверна: контрпример помогла построить ИИ-модель Fable. Проверка результата пока продолжается.
-
GPT-5.6 подсказал решение 30-летней проблемы выпуклой оптимизации
По сообщениям пользователей Reddit, языковая модель GPT-5.6 с помощью специально составленного запроса помогла закрыть открытый на протяжении тридцати лет вопрос в области выпуклой оптимизации. Новость вызвала оживлённое обсуждение на Hacker News.
-
OpenAI заявила о доказательстве гипотезы о двойном покрытии циклами с помощью GPT-5.6 Sol Ultra
OpenAI опубликовала PDF-документ, в котором модель GPT-5.6 Sol Ultra представлена как автор доказательства гипотезы о двойном покрытии циклами. Новость вызвала оживлённую дискуссию на Hacker News.