1. Что выпустили/анонсировали 12 июня 2026 года Теренс Тао вместе с командой исследователей из Калифорнийского технологического института опубликовал 120-страничный PDF-файл под названием «Математика 2.0». Этот документ представляет собой нечто большее, чем философское эссе – в нем изложена конкретная концепция с открытым исходным кодом.
1. Что выпустили/анонсировали
12 июня 2026 года Теренс Тао вместе с командой исследователей из Калифорнийского технологического института опубликовал 120-страничный PDF-файл под названием «Математика 2.0». Этот документ представляет собой нечто большее, чем философское эссе: в нем описывается конкретный стек с открытым исходным кодом, который сочетает в себе формальную математику, символьные вычисления и модели большого языка (LLM) для создания машиночитаемого математического слоя. Короче говоря, он поставляется с пакетом Python под названием math2py, набором блокнотов Jupyter и REST API, который позволяет запрашивать «математические объекты» (теоремы, доказательства, определения) как первоклассные данные.
2. Почему это важно
Как инженеры ИИ, мы постоянно боремся с двумя противоборствующими силами:
Необходимость строгости: когда мы внедряем математические модели в производство (например, критически важные для безопасности системы управления, финансы или научное моделирование), нам нужны гарантии того, что уравнения, которые мы кодируем, действительно соответствуют теории.
Скорость итерации — современные специалисты по LLM могут за секунды составить фрагменты кода для дифференциальных уравнений, но они часто галлюцинируют или упускают тонкие ограничения предметной области.
Математика 2.0 устраняет этот пробел. Предоставляя формальный граф знаний по математике, который могут запрашивать студенты LLM, мы получаем возможность:
Снова автоматическая проверка символьных дериваций