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