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

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

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

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

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

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