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

Хабр @habr_com Технологии и IT26 октября 2026, 10:02

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

22
13
7
3
2
2
2
1
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

Джейпег Малевича @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

Kekenavts Analytics @kekanalytics Политика и власть вчера

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

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

60
25
6
3
2
2