23 сентября 2026 г.
Математики не могут прочитать доказательство ИИ: 166 страниц OpenAI
23 сентября математик Джеймс Мейнард сказал NPR, что из 166-страничного доказательства OpenAI пока трудно извлечь человеческое понимание. Около 10 000 агентов получили решение за 88 часов. GPT-6 Astra потратил ещё 17 часов на Lean-формализацию.
Раньше математик читал доказательство, чтобы увидеть ход мысли. Теперь OpenAI выложила текст и Lean-формализацию: формальная запись даёт машине проверить шаги, а людям ещё приходится разбирать саму идею.
Польза для работы. Вайбкодинг уже умеет доводить код до формальной проверки, но проверенный результат не заменяет объяснение, по которому коллега поймёт решение.
17 сентября Константин, Игнатова и Викол выпустили препринт о силе в конструкции OpenAI: корректность самой конструкции они не проверяли.
Первоисточник
