Теренс Тао: что ждет соревнования SAIR в будущем

Теренс Тао обсуждает, как математические соревнования SAIR указывают на новый тип исследовательской инфраструктуры для эпохи ИИ. ИИ уже ускоряет генерацию и проверку доказательств, но традиционные системы, такие как журналы, конференции и учебники, не были рассчитаны на потоки работ, созданных с помощью ИИ. Тао представляет подход SAIR, основанный на соревнованиях, как способ направить возможности ИИ на решение задач, где результаты могут быть проверены, оценены и осмысленно объединены. Он описывает задачу по дистилляции, основанную на 22 миллионах алгебраических задач, где участники создают «шпаргалки», которые помогают более слабым моделям ИИ лучше рассуждать, и задачу обратного Галуа с использованием LMFDB, где команды ищут редкие многочлены в проверяемой математической задаче. Он также рассматривает перспективы масштабирования этих соревнований с увеличением вычислительных мощностей, более крупными призами и возможными конкурсами предложений за пределами математики, особенно в научных областях, где большие наборы данных и краудсорсинговая проверка могут способствовать новым формам открытий. Краткое содержание видео: 00:00 Математика работает одинаково на протяжении веков 01:07 ИИ ускоряет доказательства, но создает новые узкие места 02:29 Почему исследованиям необходима инфраструктура, разработанная специально для ИИ 04:22 Соревнования как безопасная площадка для математики с использованием ИИ 05:43 Анализ 22 миллионов алгебраических задач 07:34 Шпаргалки на одной странице для более слабых моделей ИИ 10:14 Обратная задача Галуа с LMFDB 13:04 Оценка редких открытий и определение сложности 14:20 Команды, использующие ИИ, и реакция математического сообщества 16:01 Масштабирование соревнований за пределами математики