Математические кружки | «МТ кружки»

Недавно мы рассказывали, как OpenAI заявила о решении задачи Навье — Стокса, одной из семи задач тысячелетия. Но на этом компания не остановилась. 🤖 6 октября OpenAI выложила на GitHub 722 рукописи, подготовленные ее новой моделью, пока закрытой для общего пользования. Всего модели дали около 4000 открытых задач. Над Навье — Стоксом работали около 10 000 ИИ-агентов, а вычисления стоили миллионы долларов. А в новой волне задач все было гораздо проще. По словам представителя компании, почти каждый результат получен в ответ на один запрос к одному ИИ-агенту: модели давали условие задачи, и дальше она справлялась сама. В среднем на результат уходило около трех часов вычислений. ⚠️ OpenAI сама предупреждает, что в части результатов могут быть ошибки. Компьютерная проверка на языке Lean есть только у 162 рукописей из 722. Математик из MIT Эндрю Сазерленд призвал считать такие заявления непроверенными, пока модель не выпустят и результаты нельзя будет воспроизвести. Как реагирует матетическое сообщество?

В основном математики растеряны. Филдсовский лауреат Уго Дюминиль-Копен рассказал, что среди результатов оказались 16 вопросов, над которыми он работал годами. На семинаре Французского математического общества он сравнил себя с кроликом, по которому проехала колонна грузовиков. Сразу после релиза он написал, что «потрясен и парализован, но верит, что математики найдут выход и заново осмыслят свою профессию». Еще в сентябре 25 филдсовских лауреатов подписали открытое письмо. Его главная мысль: цели ИИ-компаний и математиков серьезно расходятся. Решение задач — лишь инструмент, а настоящая цель математики — понимание.

💭 Так останутся ли математики без работы?

Дэниел Литт из Университета Торонто радуется новым решениям. Опасения, что ИИ-доказательства слишком трудно понять, он считает преувеличенными: математические тексты и так непросты. Беспокоит его другое. Если общество решит, что ИИ «решил математику», исследования могут лишиться финансирования, а молодые люди перестанут идти в профессию. По его словам, получить пользу от прогресса ИИ можно, только если поддерживать человеческую математическую экспертизу.

————————————— 🧑‍🎓 Онлайн-школа математики «МТ классы» учит детей со всего мира. Приходите к нам за математикой на уровне хорошего московского лицея. 👉Узнать о форматах занятий 👉Записаться или задать вопрос