Прорыв: решены десять давних проблем В последнем исследовательском выпуске OpenAI было объявлено, что ее запатентованная модель искусственного интеллекта позволила получить полные решения десяти математических задач, которые десятилетиями сопротивлялись традиционным подходам. Э...
Прорыв: решены десять давних проблем В последнем исследовательском выпуске OpenAI было объявлено, что ее запатентованная модель искусственного интеллекта позволила получить полные решения десяти математических задач, которые десятилетиями сопротивлялись традиционным подходам. Эти проблемы охватывают теорию чисел, комбинаторику и алгебраическую геометрию, некоторые из них первоначально были поставлены в 1970-х и 1980-х годах. Хотя организация не раскрыла точный список, академическое сообщество уже начало проверять доказательства, а ранние экспертные оценки показывают, что рассуждения ИИ соответствуют принятой математической строгости. Время объявления поразительно. Оно появилось всего за несколько дней до того, как в The Verge было опубликовано откровенное интервью с Джеймсом Мейнардом, медалистом Оксфордского университета Филдса 2022 года. Мейнард, который весь прошлый год «размышлял» о будущем своей дисциплины, использовал интервью, чтобы выразить одновременно трепет и предостережение. Его замечания подчеркивают ключевой момент: математика, традиционно медленно развивающаяся область, теперь вынуждена столкнуться с технологией, которая может генерировать доказательства со скоростью, ранее невообразимой. Как механизм искусственного интеллекта решает задачи глубокого обучения математике и извлечения шаблонов OpenAI