Внутри прорывов OpenAI в математических рассуждениях

Партнер a16z Infra Лиша Ли беседует с математиками OpenAI Мехтаабом Сауни и Марком Селлке о том, как быстро развиваются математические возможности ИИ, что показывают недавние результаты о рассуждениях моделей и что происходит, когда ИИ начинает добиваться прогресса в решении задач, с которыми математики боролись десятилетиями. Мехтааб и Марк подробно разбирают несколько недавних результатов, полученных с помощью моделей OpenAI, включая достижения в области упаковки сфер и построения несофиковой группы. Они объясняют, почему удивительно не только то, что модели могут искать больше вариантов или работать дольше, чем люди: во многих случаях траектории рассуждений удивительно похожи на работу опытного математика, включая выбор перспективных подходов, возврат к предыдущим шагам при неудаче и объединение идей из разных областей науки. Они также исследуют, что это значит для самой математики: как может измениться роль человеческого вкуса и суждения, сможет ли ИИ создавать гораздо больше математических вычислений, чем люди могут усвоить, и почему модели, ускоряющие открытия, могут также упростить понимание сложных результатов. Временные метки: 00:00 - Вступление 00:50 - От практикующего математика к OpenAI: знакомьтесь, Марк и Мехтааб 02:43 - Почему GPT-5 стал моментом перехода 04:21 - За пределами поиска и связей: как недавний прогресс идет дальше 09:51 - Следы рассуждений: это случайная выборка или реальный обратный поиск? 11:44 - Почему математические статьи — плохой обучающий набор для реальной математики 16:20 - Набор из 10 задач Astra: фавориты и подробный анализ 36:17 - Оружие против модели: что действительно важно? 40:01 - Что вообще такое «вкус» в модели? 57:32 - Как математическому сообществу следует внедрять ИИ? 01:00:01 - Эмпирическая и теоретическая математика и позитивный взгляд Ресурсы: Подписывайтесь на Лишу Ли на X: https://x.com/lishali88 Подписывайтесь на Мехтааба Сауни на X: https://x.com/mehtaab_sawhney Подписывайтесь на Марка Селлке на X: https://x.com/MarkSellke Будьте в курсе событий: Если вам понравился этот эпизод, обязательно поставьте лайк, подпишитесь и поделитесь им с друзьями! Найдите a16z на X:   / a16z   Найдите a16z на LinkedIn:   / a16z   Слушайте шоу a16z на Spotify: https://open.spotify.com/show/5bC65RD... Слушайте шоу a16z на Apple Podcasts: https://podcasts.apple.com/us/podcast... Подпишитесь на нашего ведущего: https://x.com/eriktorenberg Обратите внимание, что представленная здесь информация носит исключительно ознакомительный характер; она НЕ должна рассматриваться как юридическая, деловая, налоговая или инвестиционная консультация, а также не должна использоваться для оценки каких-либо инвестиций или ценных бумаг; и не предназначена для инвесторов или потенциальных инвесторов в какие-либо фонды a16z. a16z и ее аффилированные лица могут иметь инвестиции в обсуждаемые компании. Более подробную информацию можно найти по ссылке: http://a16z.com/disclosures.