Технозаметки Малышева

OpenAI и Anthropic опубликовали опровержения гипотезы экспоненциального времени Оба результата были достигнуты внутренними моделями компаний 16 октября, почти одновременно. Компании уже опубликовали пейперы и доказательства на Lean. Гипотеза экспоненциального времени это более сильная версия неравенства P и NP, которая постулировала что некоторые задачи можно решить только брутфорсом, её доказательство означало бы и неравенство P и NP. Какие у этого опровержения будут практические последствия сейчас сказать сложно. Кроме этого опровержения, OpenAI сегодня опубликовали значительные прорывы в математике и физике. Доказательство Anthropic Доказательство OpenAI @ai_newz