Рассел Импальяццо
Последние новости и упоминания на vestka
Связанные организации
- Модели OpenAI и Anthropic сформулировали в Lean доказательства против гипотезы экспоненциального времени
Наука·N+1·
Внутренняя модель OpenAI и модель Anthropic независимо получили доказательства, опровергающие гипотезу экспоненциального времени — важное предположение теории вычислительной сложности. Результаты формализованы на языке Lean, однако их еще предстоит проверить независимым специалистам.