OpenAI только что выдвинула на стол серьёзное утверждение.
В её последнем исследовании по ИИ участвовали примерно 10 000 агентов, которые совместно работали над задачей Навье—Стокса — одной из самых известных нерешённых проблем математики.
Вместо того чтобы один единственный модельный агент атаковал задачу с одного направления, система исследовала множество подходов параллельно. OpenAI говорит, что более ранняя, более простая задача Эйлера помогла агентам выработать идеи, которые затем были применены к Навье—Стоксу.
По сообщениям, прорыв случился примерно через 88 часов.
Предложенный результат указывает на сценарий, при котором вихрь продолжает концентрироваться и растягиваться до тех пор, пока не возникнет особенность за конечное время, при том что общая энергия остаётся конечной.
Затем OpenAI перевела аргумент в Lean, чтобы доказательство можно было формально проверить.
И эта часть важна. Потрясающий ИИ-генерированный аргумент — это одно. Формально верифицированное доказательство — совсем другое.
Тем не менее есть важная оговорка: результат OpenAI пока не стал общепринятым решением со стороны математического сообщества.
Эта задача имеет премию Millennium Prize в размере $1M, но OpenAI говорит, что не намерена претендовать на неё.
Кроме того, фигурирующая в сети оценка около ~$15M — это внешняя оценка токен-расходов, а не официальный показатель OpenAI. И нет никаких доказательств, что $WLD использовался для оплаты.
$SUI $4Stock
В её последнем исследовании по ИИ участвовали примерно 10 000 агентов, которые совместно работали над задачей Навье—Стокса — одной из самых известных нерешённых проблем математики.
Вместо того чтобы один единственный модельный агент атаковал задачу с одного направления, система исследовала множество подходов параллельно. OpenAI говорит, что более ранняя, более простая задача Эйлера помогла агентам выработать идеи, которые затем были применены к Навье—Стоксу.
По сообщениям, прорыв случился примерно через 88 часов.
Предложенный результат указывает на сценарий, при котором вихрь продолжает концентрироваться и растягиваться до тех пор, пока не возникнет особенность за конечное время, при том что общая энергия остаётся конечной.
Затем OpenAI перевела аргумент в Lean, чтобы доказательство можно было формально проверить.
И эта часть важна. Потрясающий ИИ-генерированный аргумент — это одно. Формально верифицированное доказательство — совсем другое.
Тем не менее есть важная оговорка: результат OpenAI пока не стал общепринятым решением со стороны математического сообщества.
Эта задача имеет премию Millennium Prize в размере $1M, но OpenAI говорит, что не намерена претендовать на неё.
Кроме того, фигурирующая в сети оценка около ~$15M — это внешняя оценка токен-расходов, а не официальный показатель OpenAI. И нет никаких доказательств, что $WLD использовался для оплаты.
$SUI $4Stock
