Математика после 6 октября
В субботу был в ВШЭ на встрече «Математика в эпоху ИИ» с лекцией Сергея Николенко «Vibemathed», или «Математика после 6 октября».
Тогда OpenAI выложила на GitHub 722 рукописи с ~4000 решённых открытых математических задач, многие из которых держались десятилетиями, и мир для математиков разделился на до и после. На наших глазах в реальном времени происходит настоящая революция в математической науке.
Самые яркие факты лекции:
• За 4 года модели прошли путь от задач уровня начальной школы типа «было 20 апельсинов, 5 съели, 7 купили, сколько апельсинов» (обсуждалось, как повысить точность) до доказательства открытых научных проблем, включая «задачи тысячелетия».
• Темп роста сложности решаемых ИИ математических задач был примерно ×10 в год (Ноам Браун, исследователь OpenAI, измеряя время, требуемое профессиональному математику на решение такой задачи: GSM8K 5 сек → MATH 1 мин → AIME 10 мин → IMO 1,5 часа → ?), пока метрика не сломалась с решением открытых научных проблем (кто скажет, сколько они заняли бы времени, если до этого момента они десятилетиями оставались нерешёнными?).
• Теперь научные открытия делаются математиками-любителями или вообще не математиками, а ИИ-энтузиастами. Буквально просите агента выбрать открытую задачу, а дальше настойчиво заставляете её решать. И высоки шансы, что именно вы первым получите её решение (если сможете это понять, конечно).
• Суммарный возраст ~1300 решённых ИИ открытых математических задач, согласно vibemathed, уже составляет 11,5 тыс. лет.
• Теренс Тао, математик, предлагает сдвинуть фокус людей с порождения доказательств на их понимание или «переваривание».
• Часть математиков считают, что ИИ вредит, лишая людей мотивации развиваться для совершения открытий, а другие недоумевают, как генератор доказательств может вредить, если ваша цель была понять интересующее вас?
Что теперь будет с математикой, сказать не может никто 🤷🏻♂️. Но уже после лекции прозвучал афоризм «Если можешь не заниматься математикой, не занимайся ей», с которым согласились все ученые в зале. Так что ИИ вряд ли остановит науку, но точно сильно изменит, и уже делает это.
А Сергей Николенко очень крутой, умный и интересный ученый, буду теперь за ним следить в его ТГ канале.
После лекции была супер интересная панельная дискуссия, о ней в отдельном посте.
В этом посте были ссылки, но мы их удалили по правилам Сетки
