Теренс Тао и Caltech выпустили стек Math 2.0 для машинной математики

1 июня 2026 года Теренс Тао с командой Caltech опубликовал 120-страничный документ «Math 2.0» с открытым стеком для формальной математики, символьных вычислений и LLM. В него входят Python-пакет math2py, набор Jupyter-ноутбуков и REST API для запроса теорем, доказательств и определений как данных.

• Документ «Math 2.0» на 120 страниц опубликован 1 июня 2026 года
• Стек включает пакет math2py, Jupyter-ноутбуки и REST API
• База знаний охватывает около 12 тыс. теорем
• Проверку доказательств можно встроить в CI-конвейеры