Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

Тайпспейс Медиа@typespaceТехнологии и IT27 октября 2026, 08:46
  • Фото поста канала Тайпспейс Медиа

OpenAI снова забирают хлеб у ученых: компания выпустила 3 новых научных результата их моделей по математике, физике и информатике. Модель решила гипотезу Какеи во всех измерениях, опровергла гипотезу экспоненциального времени и обосновала существование квантовой хромодинамики — теории сильного взаимодействия. В рамках последней ИИ также доказал существование теории Янга-Миллса, что является частью задачи «тысячелетия». Все они уже проверены компьютером. Сейчас результаты изучают исследователи: openai.com/index/building-scientific-understanding-with-academic-communities/ @typespace

  • 68
  • 27

Похожие посты

МИГ России@mig41Политика и властьвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять, а...

  • 254
  • 93
  • 13
  • 12
  • 12
Петя Первый@Petya_perviyАрмия и СВОвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач
  • Фото поста канала  Петя Первый

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять,...

  • 170
  • 73
  • 14
  • 8
  • 3
  • 2
Machinelearning@ai_machinelearning_big_dataТехнологии и IT26 октября 2026
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач
  • Фото поста канала Machinelearning

🧠 ИИ OpenAI нашёл доказательства для научных задач, не поддававшихся учёным десятилетиями – теперь их проверяют эксперты. 1) Математика: гипотеза, открытая с 1991 года Гипотеза Кристофера Согге о локальном сглаживании описывает концентрацию волн: сильная фокусировка возможна, но должна быть кратковременной. ИИ построил доказательство для пространств любой размерности. Из него также следуют доказательства гипотез Какеи и Стейна. Текст и формализация в Lean опубликованы. 2) Информатика: опров...

  • 84
  • 45
  • 28
  • 17
  • 16
  • 13
Machinelearning@ai_machinelearning_big_dataТехнологии и ITвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

✔️ ИИ за 24 дня формализовал самое длинное доказательство в истории математики, над которым около 100 учёных работали десятилетиями. Компания Axiom Math объявила о завершении компьютерной проверки теоремы классификации конечных простых групп (CFSG), известной как «Огромная теорема». Оригинальное доказательство занимает 15 000 страниц в более чем 500 научных статьях. О чём вообще теорема? Представьте куб. Его можно повернуть 24 способами так, чтобы он выглядел точно так же. Эти преобразования о...

  • 124
  • 69
  • 55
  • 32
  • 31
  • 25
Machinelearning@ai_machinelearning_big_dataТехнологии и ITвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

🧪️️️️️️ На следующий день после того, как OpenAI объявила, что её модель опровергла гипотезу экспоненциального времени, Anthropic сообщила: внутренняя модель Claude независимо нашла другое опровержение в тот же самый день, что и модель OpenAI, - 16 октября. Anthropic опубликовала статью «A 2^o(n) Time Algorithm for 3-SAT» с автором «Claude, Anthropic». Детерминированный алгоритм решает 3-SAT за субэкспоненциальное время, что опровергает Exponential Time Hypothesis. Он же считает и число выпол...

  • 86
  • 35
  • 28
  • 25
  • 23
  • 23
Хабр@habr_comТехнологии и IT26 октября 2026
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач
  • Фото поста канала Хабр

ИИ доказал квазигипотезу Римана. Что дальше? «Любой математический журнал немедленно отклонил бы их», — так математик Максим Радзивилл оценил качество изложения двух доказательств, представленных OpenAI. При этом последствия одного из результатов он же назвал «ошеломляющими». Речь о квазигипотезе Римана — более слабой версии знаменитой гипотезы, которая остаётся нерешённой более 160 лет. OpenAI представила два варианта доказательства: на 199 и 49 страниц. Первое прошло формальную проверку, вто...

  • 22
  • 13
  • 7
  • 3
  • 2
  • 2
Джейпег Малевича@malepegТехнологии и ITвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач
  • Фото поста канала Джейпег Малевича

Сэм Альтман ультанул — OpenAI заявила о трёх новых научных прорывах с помощью нейросетей. Первое — ИИ якобы смог опровергнуть важную гипотезу в теории алгоритмов, которая десятилетиями считалась верной. Также нейросеть нашла новое доказательство сложной математической задачи, связанной с волнами и их поведением. В последнем ИИ предложил доказательство существования квантовых теорий, описывающих фундаментальные частицы и их взаимодействия. Открытия пока не получили окончательного подтверждения...

  • 25
  • 10
  • 4
  • 2
Forbes Russia@forbesrussiaЭкономика и бизнес5 часов назад
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач
  • Фото поста канала  Forbes Russia

Физик Михаил Гурвич — Forbes: «Мы все, гурьбой, уже вбежали в мышеловку ИИ» Физик Михаил Гурвич полвека занимался физикой твердого тела, десять лет проработал в Bell Labs, а на пенсии написал историю искусственного интеллекта — от счетов до ChatGPT. Книга Opening Pandora's Box вышла в июле в сингапурском издательстве World Scientific Publishing, русская версия готовится в «Новом литературном обозрении». Осень 2026-го дала для разговора много поводов: ИИ от OpenAI решил одну из «задач тысячелет...

  • 17
  • 4
  • 4
  • 1
🇷🇺⚡️Сводки ополчения Новороссии Z.O.V. (ДНР, ЛНР, Украина, Война)@swodkiАрмия и СВО2 часа назад
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять, а...

  • 12
  • 7
  • 3
  • 1
Kekenavts Analytics@kekanalyticsПолитика и властьвчера
Искусственный интеллект OpenAI нашел решения фундаментальных математических и научных задач

OpenAI и Anthropic опубликовали опровержения гипотезы экспоненциального времени Оба результата были достигнуты внутренними моделями компаний 16 октября, почти одновременно. Компании уже опубликовали пейперы и доказательства на Lean. Гипотеза экспоненциального времени это более сильная версия неравенства P и NP, которая постулировала что некоторые задачи можно решить только брутфорсом, её доказательство означало бы и неравенство P и NP. Какие у этого опровержения будут практические последствия ...

  • 60
  • 25
  • 6
  • 3
  • 2
  • 2