Новости: математика

Узнайте, как модель Anthropic добилась значительного прогресса в решении гипотезы Римана: она проверила 650 идей, задействовав 60 субагентов и 31 миллион вычислительных ресурсов. Разберитесь, почему ИИ в математике вызывает и восхищение, и беспокойство.

ИИ-модель Claude от Anthropic улучшила нижнюю границу доли нетривиальных нулей дзета-функции Римана с 41,6% до 67,2%. Прорыв демонстрирует способность ИИ к самостоятельным научным открытиям в математике без доступа к внешним данным.

OpenAI анонсировала новую модель Astra, способную решать задачи по математике и теоретической информатике. Узнайте, как Astra связана с GPT-5.6, почему её демонстрировали в Вашингтоне и что известно о киберинциденте с Hugging Face.

Могут ли Бог или инопланетяне и чудеса быть реальными? Революционная математическая теория ставит под сомнение всё, что мы знаем о происхождении жизни и нашем существовании. Новое исследование оценивает шансы возникновения жизни.

Наука, возможно, наконец предоставила доказательства и теории, касающиеся «одного из величайших вопросов»: является ли наша реальность компьютерной симуляцией или подлинным существованием.

ИИ меняет математику и методы работы математиков. Это нормально, но эксперты требуют четких стандартов. Лейденская декларация призывает к прозрачности и сохранению человеческого суждения в исследованиях. — gizmodo.com

OpenAI заявляет, что ее модель рассуждений опровергла гипотезу в геометрии, остававшуюся нерешенной с 1946 года, — и на этот раз математики, разоблачившие ее предыдущее неловкое заявление, подтверждают это. — techcrunch.com

Ученые из Университета Осаки применили дифференциальную геометрию для создания единой модели кристаллических дефектов. Эти ученые, возможно, близки к раскрытию того, как само несовершенство формирует красоту, выявляя глубокие истины, скрытые в изъянах природы. — neowin.net

Во вторник OpenAI представила динамические визуальные объяснения — новую функцию ChatGPT, позволяющую пользователям в реальном времени видеть, как меняются формулы, переменные и математические зависимости. Вместо простого чтения объяснений или просмотра статической схемы пользователи теперь могут напрямую взаимодействовать с интерактивной визуализацией. Например, при изучении теоремы Пифагора можно […] — techcrunch.com

Эксклюзив: Согласно тесту ORCA, ИИ-модели стали хуже справляться с арифметикой, хотя и улучшили форматирование ответов. — theregister.com