ИИ разрушил 27-летний столп информатики, утверждают OpenAI и Anthropic
OpenAI и Anthropic заявляют, что их модели дали видимое опровержение гипотезы экспоненциального времени — столпа теоретической информатики, предложенного в 1999 году, — при этом доказательства формально проверены в Lean, но ещё не полностью подтверждены людьми. Science сообщает, что Anthropic насчитала более 800 работ, опирающихся на эту гипотезу, хотя её практическое влияние пока ограничено. Это важно, поскольку подрывает давний теоретический фундамент и показывает, что передовые системы ИИ выходят на спорную границу математики, даже при незавершённой проверке.
ИСТОЧНИКИ
- Hacker News (AI)2026-11-03 17:43