Математика столкнулась с кризисом «несварения»
Математика вступает в XXI век. На протяжении сотен лет темпы математических исследований оставались медленными. Исследователь находит результат, коллеги проводят рецензирование, и со временем он попадает в учебник. Этот процесс стабилен и предсказуем.
ИИ изменил всё. Он генерирует доказательства и решает задачи с огромной скоростью. Это создает массивный объем нового контента. Люди-рецензенты не успевают за ним. Это создает то, что Теренс Тао называет «несварением доказательств» (proof indigestion). Академическая система столкнулась с затором.
ИИ подобен быстрому автомобилю. Современные академические журналы — это узкие каменные тропы, построенные для конных экипажей. Вы не сможете ехать на быстром автомобиле по узкой тропе, не спровоцировав аварию. Модернизация автомобиля не поможет, если дорога разрушена. Мы должны строить новые дороги для ИИ.
Теренс Тао строит эти новые дороги с помощью соревнований SAIR. Он создает отдельные треки для людей и ИИ.
Одно из соревнований — Distillation Challenge. Исследователи используют массивный набор данных из 22 миллионов алгебраических задач. Большие модели ИИ легко решают их, но это стоит слишком дорого. Задача конкурса заключается в том, чтобы участники написали одностраничную «шпаргалку» для маленьких и дешевых моделей. Цель состоит в том, чтобы передать знания от больших моделей маленьким. Лучшие шпаргалки уже повысили точность с 50% до 80%.
Другое соревнование — Inverse Galois Problem. Представьте это как цифровой поиск яиц (egg hunt). Существует 160 000 различных математических свойств, или «цветов». Участники ищут специфические многочлены, которые соответствуют этим цветам. Если вы найдете редкий цвет, которого нет ни у кого другого, вы получите очки. Это превращает математику в экспериментальную науку.
Эти соревнования не заменяют математиков. Они создают новые способы работы. Они отделяют пешеходную дорожку для человека от скоростной магистрали для ИИ.
Эта модель может работать для всех наук. Если в области есть большие наборы данных и проверяемые задачи, она может использовать этот метод. Математика — это только отправная точка.
Дополнительное обучающее сообщество: https://t.me/GyaanSetuAi