OpenAI ішкі ИИ моделі Навье — Стокс мыңжылдық есебін шешкенін мәлімдеді
Материал бірнеше дереккөз негізінде жасанды интеллектпен дайындалды — түпнұсқаларға сілтемелер төменде.
OpenAI өзінің ішкі ИИ моделі Навье — Стокс теңдеулерінің шешімдерінің бар болуы мен тегістігі есебін — жеті «мыңжылдық есептің» бірін — шешкенін мәлімдеді. Компания дәлелдеменің сипаттамасын және оның Lean жүйесіндегі формализациясын жариялады. Бұл мәлімдеме математик Тристан Бакмастермен басымдық туралы дау тудырды.
Негізгі фактілер
- OpenAI өзінің ішкі моделі Навье — Стокс теңдеулерінің шешімдерінің бар болуы мен тегістігі есебін 5 қыркүйекте шешкенін мәлімдеді.
- Дәлелдеме GPT-6 Astra көмегімен Lean жүйесінде 17 сағат ішінде формализацияланып, тексерілді, бұл ретте 2,7 млн хабарлама және 130 млрд шығыс токені пайдаланылды.
- Нью-Йорк университетінің математигі Тристан Бакмастер OpenAI-ді өзінің және Левент Альпедженің жарияланбаған жұмысын ол жарияланғанға дейін пайдаланды деп айыптады.
- Бакмастер 8 қыркүйекте Альпеджемен бірге Codex және Claude ИИ модельдерінің көмегімен алынған алдын ала нәтижелерді ұсынды.
- OpenAI Бакмастермен және Альпеджемен байланысып, нәтижелерді бір уақытта жариялауды және бірлескен мәлімдемеде олардың басымдығын мойындауды ұсынғанын мәлімдеді.
Мәлімделген дәлелдеме
OpenAI өзінің ішкі ИИ моделі Навье — Стокс теңдеулерінің шешімдерінің бар болуы мен тегістігі есебін — жеті «мыңжылдық есептің» бірін — шешкенін мәлімдеді. Компания дәлелдеменің сипаттамасын да, оның Lean жүйесіндегі формализациясын да жариялады. Шешім сенбі, 5 қыркүйекте, шамамен 10 000 ИИ агентінің 88 сағаттық жұмысы нәтижесінде алынды. Содан кейін GPT-6 Astra-ға дәлелдемені Lean жүйесінде формализациялау және тексеру үшін 17 сағат қажет болды. Агенттер 2,7 млн хабарлама жіберіп, 130 млрд шығыс токенін пайдаланды, бұл шамамен миллион кітаптың көлеміне тең.
Басымдық туралы дау
Нью-Йорк университетінің математигі Тристан Бакмастер OpenAI-ді өзінің және Левент Альпедженің жұмысын ол жарияланғанға дейін пайдаланды деп айыптады. Бакмастер 8 қыркүйекте Альпеджемен бірге Codex және Claude ИИ модельдерінің көмегімен алынған алдын ала нәтижелерді ұсынды. OpenAI 1 қыркүйекте компанияға екі «мыңжылдық есептің» шешілгені туралы қауесет жеткенін, кейін бұл шешімдердің Альпедже мен Бакмастерге тиесілі екені анықталғанын мәлімдеді. Компания нәтижелерді бір уақытта жариялауды ұсыну және бірлескен мәлімдемеде олардың басымдығын мойындау үшін олармен байланысқанын мәлімдеді. Бакмастер бұл оқиғаның бұл жағымен айналысқысы келмейтінін айтты.
2 дереккөз
Уақыт · артта қалуы