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

Kekenavts Analytics @kekanalytics Политика и власть27 октября 2026, 08:12

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

60
25
6
3
2
2
1

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

МИГ России @mig41 Политика и власть вчера

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

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

254
93
13
12
12

Тайпспейс Медиа @typespace Технологии и IT вчера

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

OpenAI снова забирают хлеб у ученых: компания выпустила 3 новых научных результата их моделей по математике, физике и информатике. Модель решила гипотезу Какеи во всех измерениях, опровергла гипотезу экспоненциального времени и обосновала существование квантовой хромодинамики — теории сильного взаимодействия. В рамках последней ИИ также доказал существование теории Янга-Миллса, что является частью задачи «тысячелетия». Все они уже проверены компьютером. Сейчас результаты изучают исследователи:...

68
27

Петя Первый @Petya_perviy Армия и СВО вчера

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

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

170
73
14
8
3
2

Machinelearning @ai_machinelearning_big_data Технологии и IT 26 октября 2026

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

🧠 ИИ 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 Технологии и IT 26 октября 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: «Мы все, гурьбой, уже вбежали в мышеловку ИИ» Физик Михаил Гурвич полвека занимался физикой твердого тела, десять лет проработал в 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