OpenAI 和 Anthropic 宣布驳斥数学家数十年来一直在努力解决的一个假设。

🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной. Удивительно, что оба результата были получены 16 октября, практически одновременно. ETH — одна из фундаментальных гипотез теоретической информатики. Она предполагает, что для решения некоторых вычислительных задач неизбежно требуется экспоненциальное время. Компании уже опубликовали научные работы и формальные доказательства на Lean, позволяющем проверять математические рассуждения программными средствами. Если результаты окончательно подтвердятся, это может изменить представления о сложности вычислений. Однако знаменитая проблема P ≠ NP остаётся нерешённой, а практические последствия открытия пока неясны. Источник1 Источник2