Futurecollector.com | Коллекционер будущего
tg1.3 тыс. подписчиков
Открыть пост ↗
Похоже, ИИ добрался до одной из самых сложных задач теоретической физики.
OpenAI сообщила, что её модели смогли построить математическое доказательство существования квантовой теории Янга — Миллса в четырёхмерном пространстве-времени.
Почему это интересно?
Теория Янга — Миллса лежит в основе современной физики элементарных частиц. Её используют уже десятилетиями, а расчёты на её основе хорошо согласуются с экспериментами. Но строго доказать существование соответствующей квантовой теории в четырёх измерениях до сих пор не удавалось.
И вот что произошло:
🔹 В сентябре 2026 года модели OpenAI получили предполагаемое доказательство, которое затем формализовали с помощью системы Lean.
🔹 10 ноября группа ведущих физиков и математиков под руководством нобелевского лауреата Дэвида Гросса опубликовала положительную оценку представленного доказательства.
🔹 При этом полностью задача тысячелетия ещё не решена. Вторая её часть — доказательство существования так называемой массовой щели — остаётся открытой. Да и само доказательство ещё предстоит подробно осмыслить научному сообществу.
И вот здесь, на мой взгляд, самое интересное.
Мы постепенно переходим от ИИ, который помогает учёным анализировать данные и проводить вычисления, к ИИ, который самостоятельно предлагает решения фундаментальных научных проблем.
И если эта тенденция продолжится, влияние искусственного интеллекта на скорость научных открытий может оказаться гораздо значительнее, чем мы привыкли ожидать.
🔗 "Сообщение OpenAI" (https://openai.com/index/building-scientific-understanding-with-academic-communities/)
🔗 "Оценка научной группы и материалы доказательства" (https://github.com/yang-mills-group/YM)
OpenAI сообщила, что её модели смогли построить математическое доказательство существования квантовой теории Янга — Миллса в четырёхмерном пространстве-времени.
Почему это интересно?
Теория Янга — Миллса лежит в основе современной физики элементарных частиц. Её используют уже десятилетиями, а расчёты на её основе хорошо согласуются с экспериментами. Но строго доказать существование соответствующей квантовой теории в четырёх измерениях до сих пор не удавалось.
И вот что произошло:
🔹 В сентябре 2026 года модели OpenAI получили предполагаемое доказательство, которое затем формализовали с помощью системы Lean.
🔹 10 ноября группа ведущих физиков и математиков под руководством нобелевского лауреата Дэвида Гросса опубликовала положительную оценку представленного доказательства.
🔹 При этом полностью задача тысячелетия ещё не решена. Вторая её часть — доказательство существования так называемой массовой щели — остаётся открытой. Да и само доказательство ещё предстоит подробно осмыслить научному сообществу.
И вот здесь, на мой взгляд, самое интересное.
Мы постепенно переходим от ИИ, который помогает учёным анализировать данные и проводить вычисления, к ИИ, который самостоятельно предлагает решения фундаментальных научных проблем.
И если эта тенденция продолжится, влияние искусственного интеллекта на скорость научных открытий может оказаться гораздо значительнее, чем мы привыкли ожидать.
🔗 "Сообщение OpenAI" (https://openai.com/index/building-scientific-understanding-with-academic-communities/)
🔗 "Оценка научной группы и материалы доказательства" (https://github.com/yang-mills-group/YM)
Новый список