Академический ИИ

Clay Mathematics Institute проверяет сгенерированное ИИ OpenAI решение задачи Навье — Стокса, приостанавливая рассмотрение заявки на математическую премию в 1 миллион долларов.

Inherent говорит, что его ИИ-агент Faraday обошёл более крупные системы Anthropic и OpenAI в репликации научных статей, подчёркивая значение меньших моделей и агентов, ориентированных на исследования.

Anthropic наносит водяные знаки на текст Claude, чтобы соответствовать требованиям ЕС по прозрачности, что вызвало споры о выявлении ИИ, использовании на работе, академической честности и конфиденциальности.

OpenAI заявляет, что ее модели помогли получить десять новых результатов в математике и теоретической информатике, что указывает на более серьезный шаг в сторону ИИ исследовательского уровня.

OpenAI заявляет, что предоставит 100 000 академическим исследователям бесплатный доступ к ChatGPT, распространяя продвинутые модели на научные рабочие процессы и лаборатории.

Открытая модель Soofi S из Германии заявляет о лидерстве среди полностью открытых англоязычных и немецкоязычных бенчмарков, а её создатели также раскрыли и исправили утечку тестовых данных.

Mistral AI представила Leanstral 1.5 — модель-агент для кода на Lean 4 под лицензией Apache-2.0, которая, как сообщается, решает 587 из 672 задач PutnamBench.

Учёные с помощью ChatGPT-5 Pro от OpenAI добились новых математических доказательств и открытий чёрных дыр, что, несмотря на продолжающиеся ограничения, знаменует сдвиг парадигмы в исследованиях с поддержкой ИИ.