**Новый прорыв ИИ – самый значимый момент в математике? — Transcript & Summary | SozAI** Source: https://sozai.app/transcript/ai-breakthrough-biggest-moment-mathematics/ ИИ-агенты 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 1. 00:00 Заявленный прорыв ИИ в математике 2. 00:37 722 статьи и 372 результата OpenAI 3. 00:57 Гипотезы Ходжа и Бёрча–Суиннертон-Дайера 4. 01:30 Гипотеза Хадвигера и задача о раскраске плоскости 5. 01:50 Проблемы Гильберта и теория сложности 6. 02:07 Работа одного агента и мнение экспертов 7. 02:25 Статус результатов и проверка Answers ## Questions about this video Какие результаты ИИ заявлены в видео? Заявлены доказательства около 150 именных гипотез и опровержение около 70, продвижение трёх проблем Гильберта и более 40 результатов теории сложности. Авторы подчёркивают, что эти результаты ещё не проверены математиками. Что именно доказано для гипотезы Ходжа? По словам автора, гипотеза Ходжа доказана только для одного особого класса многообразий, а общая задача остаётся открытой. Важный частный случай также доказан для гипотезы Бёрча и Суиннертон-Дайера. Почему результаты пока не считаются признанными? В видео прямо сказано, что результаты ещё не проверены математиками и не приняты научным сообществом. Поэтому масштаб заявлений пока остаётся предварительным. ## Full Transcript — Download SRT & Markdown 00:00 Speaker A Искусственный интеллект разрывает математику. 00:19 Speaker A 4 дня, с почти каждой задачей сейчас работал всего один агент, в среднем 3 часа. Результаты ещё не проверены математиками и не приняты, но масштаб огромный. Если всё подтвердится, его хватило бы на несколько Филдсовских медалей, аналога Нобелевской для математики. Смотрите сами, продвинуты 00:37 Speaker A 6 октября OpenAI выложила 722 статьи с 372 результатами по 17 областям математики. 00:57 Speaker A Ходжа доказана для одного особого класса многообразий, но общая задача ещё открыта. Для Бёрча с Виннертоном-Дайером доказан важный частный случай. Заявлены доказательства примерно 150 именных [музыка] гипотез и опровержение ещё около 70. Все они важны в своих областях. Например, гипотеза Хота об 01:12 Speaker A Все они получены внутренней моделью, той самой, что скандально решила Erdős-задачи... — (исправлено: см. ниже) 01:30 Speaker A Опровергнута гипотеза Хадвигера, [музыка] обобщение теоремы о четырёх красках. Её 80 лет считали одним из главных вопросов теории графов. Она предлагала простое объяснение, почему граф трудно раскрасить, а всё оказалось намного сложнее. Продвинута задача о раскраске плоскости. Сколько нужно цветов, чтобы 01:45 Speaker A Все они получены внутренней моделью, той самой, что скандально решила на Вьет Стокс всего месяц назад. 01:50 Speaker A Продвинуты три проблемы Гильберта из знаменитого списка двадцати трёх задач столетия. Получены более 40 результатов теории сложности, например, поставлен рекорд скорости умножения матриц, показатель снижен на десятую, [музыка] с конца восьмидесятых его снижали лишь по тысячной. Заявлены десятки результатов математической физики и ещё 02:07 Speaker A Причём, в отличие от Вьет Стокс, где 10000 агентов работали почти 4 дня, с почти каждой задачей сейчас работал всего один агент, в среднем 3 часа. 02:25 Speaker A наоборот. Левиент Альпёге, герой недавних результатов с навигатором и гипотезой Якобиана, назвал событие самым значимым моментом в истории математики. 02:34 Speaker A Результаты ещё не проверены математиками и не приняты, но масштаб огромный. Topics: искусственный интеллект математика OpenAI гипотеза Ходжа гипотеза Хадвигера проблемы Гильберта умножение матриц доказательство теорем Vital Math Учить по этому видео - [Карточки по этому видео](https://sozai.app/ru/tools/ai-flashcard-generator/?from=transcript&id=86473) - [Тест по этому видео](https://sozai.app/ru/tools/quiz-generator/?from=transcript&id=86473) Бесплатно, составлено ИИ по этой расшифровке. Без регистрации. --- This is the markdown twin of https://sozai.app/transcript/ai-breakthrough-biggest-moment-mathematics/ — the same content, without the markup. Published by SozAI (https://sozai.app). Reuse and quotation are allowed with attribution and a link back. Machine-readable index: https://sozai.app/llms.txt · data API: https://sozai.app/api/