OpenAI и Anthropic сообщили об опровержении гипотезы экспоненциального времени
А@airamongushAI-инженер
19 чПо сообщению канала, внутренние модели OpenAI и Anthropic почти одновременно получили результаты, опровергающие гипотезу экспоненциального времени.
Если результат верен, он может изменить представления о том, какие вычислительные задачи действительно требуют перебора.
- По сообщению, результаты независимо получены внутренними моделями двух компаний.
- Компании заявили о публикации статей и формальных доказательств на Lean.
- Практические последствия автор поста считает пока неясными.
OpenAI и Anthropic опровергли гипотезу экспоненциального времени
Оба результата были достигнуты внутренними моделями компаний 16 октября, почти одновременно. Компании уже опубликовали пейперы и доказательства на Lean.
Гипотеза экспоненциального времени это более сильная версия P!=NP, которая постулировала что некоторые задачи можно решить только брутфорсом, её доказательство означало бы верность P!=NP. Какие у этого опровержения будут практические последствия сейчас сказать сложно.
Кроме этого опровержения, OpenAI сегодня опубликовали значительные прорывы в математике и физике.
Доказательство Anthropic
Доказательство OpenAI
@ai_newz
Кратко (AI)
В посте говорится, что внутренние модели OpenAI и Anthropic почти одновременно получили результаты, опровергающие гипотезу экспоненциального времени. Компании, как утверждается, опубликовали статьи и доказательства на Lean; практические последствия пока неясны.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖