Veni, Deus ex machina!
-----

• ИИ индустрия будет расти и развиваться. Чего только стоит недавний проект Stargate, по которому Штаты за пять лет потратят полтриллиона долларов на строительство датацентров для тренировки моделей. В это время желающие: французы из Mistral, китайцы из DeepSeek, или сберовцы с GigaСhat, могут гнаться за прогрессом, обучая свои модели быть умнее, быстрее, дешевле.

• Современные модели уже прошли большинство тестов а-ля Тьюринг, считавшиеся раньше непреодолимыми. Сегодняшние бенчмарки -- либо чистая сложная математика, как FrontierMath, либо на >40% очень сложная математика, как недавний Humanity's Last Exam (посмотрите, задачи совершенно фантастические. Особенно про Ясона).

• В стремлении создать лучшую модель, компании будут обучаться на математические бенчмарки. Математики с радостью идут к ним навстречу: скажем, Тао недавно взялся распределять девять миллионов долларов на развитие связки Lean+LLM для автоматического доказательства теорем.

• В момент, когда нейронки научатся стабильно решать большую часть задач из FrontierMath математика как наука изменится так же, как изменилась работа шахтёров после изобретения динамита и бурильных машин. И тогда мы...

Мы станем операторами систем ИИ, решим открытые гипотезы, которые и не надеялись решить, по-новому поймём математику, переизобретём матфизику, биоинформатику, квантовую химию, соберём разрозненные уголки математического лабиринта в мощный единый аппарат познания окружающего мира и познания самих себя.

Наступит следующий виток эволюции науки. Future shining bright 🌄