OpenAI и Anthropic опубликовали опровержения гипотезы экспоненциального времени
OpenAI и Anthropic опубликовали опровержения гипотезы экспоненциального времени По сообщению ai_newz, внутренние модели обеих компаний получили результаты почти одновременно — 16 октября. Опубликованы статьи и доказательства на Lean — языке для машинной проверки математических доказательств: работа Anthropic и работа OpenAI. Гипотеза экспоненциального времени предполагает, что для некоторых задач неизбежны экспоненциальные затраты времени — как при полном переборе вариантов. Это более сильное утверждение, чем P ≠ NP: существование задач, для которых быстро проверить решение можно, а быстро найти — нельзя. Доказательство гипотезы означало бы и доказательство P ≠ NP. Какие практические последствия принесёт заявленное опровержение, пока неясно. Также источник сообщает о значительных прорывах OpenAI в математике и физике — им посвящена публикация о научных результатах. Материалы: — GitHub — anthropics/formal-math: https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth — GitHub — openai/math: https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf — https://openai.com/index/building-scientific-understanding-with-academic-communities/ Источник: https://t.me/ai_newz/4823 #RealVibe #AI #AI_Новости