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

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

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

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

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

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

Новое исследование представляет математическое доказательство того, что большие языковые модели (LLM) имеют пределы, не позволяющие им выполнять сложные агентские задачи. Это ставит под сомнение перспективы быстрого достижения общего ИИ, несмотря на оптимистичные прогнозы компаний. LLC имеют свои ограничения.

С момента выхода GPT 5.2 инструменты искусственного интеллекта стали незаменимыми в высшей математике. Узнайте, как LLM решают сложные задачи Эрдёша и почему ведущие ученые признают их вклад в формализацию доказательств.

Seed Prover 1.5 от ByteDance: прорыв в математическом ИИ! Модель решила задачи IMO 2025 на уровне золотой медали за 16,5 часов. Открыт API для исследователей математики и ИИ.