Искусственный интеллект, возможно, только поставил под сомнение одно из самых фундаментальных предположений информатики. Но более важная история — не в ETH. 26 октября OpenAI объявила, что внутренняя модель ИИ сгенерировала утверждаемое опровержение гипотезы экспоненциального времени (ETH) — фундаментальной гипотезы, лежащей в основе сотен результатов о вычислительной сложности. Утверждение: детерминированный субэкспоненциальный по времени алгоритм для точного подсчета удовлетворяющих назначений в булевых формулах фиксированной ширины. Если это верно, ETH падает. Падают и несколько более сильных гипотез. Но P ≠ NP остается нерешенным. И теоретически более быстрый алгоритм не обязательно означает практическую полезность. Доказательство формализовано в Lean. Независимую проверку организуют Рассел Импаглиаззо, Рамамохан Патури и Райан Уильямс из MIT. Их участие — не одобрение. Независимая верификация остается обязательной. Моя точка зрения: мы потенциально наблюдаем не одно, а три прорыва. Математический: давний барьер в вычислительной сложности, возможно, преодолен. Научный: ИИ может переходить от помощи исследователям к генерации по-настоящему новой знаний. Институциональный: научное сообщество должно пересмотреть, как проверяются, понимаются, приписываются и воспроизводятся открытия. Третий может оказаться самым значимым. На протяжении веков генерация открытий на переднем крае требовала редкого человеческого опыта и лет исследований. Что произойдет, когда ИИ сможет генерировать достоверные математические открытия быстрее, чем люди смогут независимо их проверить и понять? Узкое место смещается от открытия к верификации, интерпретации и научному суждению. И в конечном итоге ИИ может ускорить и эти процессы. Настоящий переломный момент — не в том, что ИИ решил одну известную задачу. А в том, что ИИ будет регулярно расширять границы человеческих знаний. Мы еще не достигли этого окончательно. Но это развитие заслуживает серьезного внимания. Вопрос больше не просто в том, насколько умным может стать ИИ. А в том, успеют ли наши научные институты адаптироваться достаточно быстро, чтобы оценивать то, что открывает ИИ. Объявление OpenAI: https://t.co/G0p0VEMjlC Научные статьи и формализации в Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI