Speaker A
Искусственный интеллект разрывает математику.
ИИ-агенты OpenAI выложили 722 статьи с 372 результатами по 17 областям математики. Разбираем заявленные прорывы и почему их ещё не приняли математики.
Key Takeaways
- ИИ-агенты заявляют масштабные математические результаты за короткое время.
- Большинство заявлений пока не подтверждено независимыми математиками.
- Некоторые результаты касаются частных случаев известных гипотез, а не их полного решения.
- Заявленное улучшение оценки умножения матриц, если подтвердится, значимо для теории сложности.
What the video covers
- Видео посвящено заявленному прорыву ИИ в математике: за 4 дня система выдала 722 статьи с 372 результатами по 17 областям, опубликованными OpenAI 6 октября.
- Заявлены доказательства примерно 150 именных гипотез и опровержение около 70 других.
- Для гипотезы Ходжа доказан один особый класс многообразий, общая задача остаётся открытой; для гипотезы Бёрча и Суиннертон-Дайера доказан важный частный случай.
- Опровергнута гипотеза Хадвигера, обобщение теоремы о четырёх красках, которую 80 лет считали одним из главных вопросов теории графов.
- Продвинуты три проблемы Гильберта из списка двадцати трёх задач столетия.
- Получены более 40 результатов теории сложности, включая рекорд скорости умножения матриц: показатель снижен на 0,1, тогда как с конца 1980-х его улучшали лишь на тысячные.
- В отличие от предыдущего эксперимента, где 10 000 агентов работали почти 4 дня, здесь почти над каждой задачей работал один агент в среднем 3 часа.
- Левиент Альпёге назвал событие самым значимым моментом в истории математики.
- Результаты пока не проверены математиками и не приняты научным сообществом, хотя масштаб заявлен огромный.
- В транскрипте есть явные артефакты и пропуски, а также отметка об исправлении, поэтому часть формулировок требует проверки по первоисточнику.
Chapters
Full Transcript — Download SRT & Markdown
Speaker A
4 дня, с почти каждой задачей сейчас работал всего один агент, в среднем 3 часа. Результаты ещё не проверены математиками и не приняты, но масштаб огромный. Если всё подтвердится, его хватило бы на несколько Филдсовских медалей, аналога Нобелевской для математики. Смотрите сами, продвинуты
Speaker A
6 октября OpenAI выложила 722 статьи с 372 результатами по 17 областям математики.
Speaker A
Ходжа доказана для одного особого класса многообразий, но общая задача ещё открыта. Для Бёрча с Виннертоном-Дайером доказан важный частный случай. Заявлены доказательства примерно 150 именных [музыка] гипотез и опровержение ещё около 70. Все они важны в своих областях. Например, гипотеза Хота об
Speaker A
Все они получены внутренней моделью, той самой, что скандально решила Erdős-задачи... — (исправлено: см. ниже)
Speaker A
Опровергнута гипотеза Хадвигера, [музыка] обобщение теоремы о четырёх красках. Её 80 лет считали одним из главных вопросов теории графов. Она предлагала простое объяснение, почему граф трудно раскрасить, а всё оказалось намного сложнее. Продвинута задача о раскраске плоскости. Сколько нужно цветов, чтобы
Speaker A
Все они получены внутренней моделью, той самой, что скандально решила на Вьет Стокс всего месяц назад.
Speaker A
Продвинуты три проблемы Гильберта из знаменитого списка двадцати трёх задач столетия. Получены более 40 результатов теории сложности, например, поставлен рекорд скорости умножения матриц, показатель снижен на десятую, [музыка] с конца восьмидесятых его снижали лишь по тысячной. Заявлены десятки результатов математической физики и ещё
Speaker A
Причём, в отличие от Вьет Стокс, где 10000 агентов работали почти 4 дня, с почти каждой задачей сейчас работал всего один агент, в среднем 3 часа.
Speaker A
наоборот. Левиент Альпёге, герой недавних результатов с навигатором и гипотезой Якобиана, назвал событие самым значимым моментом в истории математики.
Speaker A
Результаты ещё не проверены математиками и не приняты, но масштаб огромный.
Topics:искусственный интеллектматематикаOpenAIгипотеза Ходжагипотеза Хадвигерапроблемы Гильбертаумножение матрицдоказательство теоремVital Math
