OpenAI Навье — Стокс мыңжылдық есебін ИИ шешті деп мәлімдеді

Материал бірнеше дереккөз негізінде жасанды интеллектпен дайындалды — түпнұсқаларға сілтемелер төменде.
OpenAI өзінің ішкі ИИ моделі Навье — Стокс теңдеулері шешімдерінің бар болуы мен тегістігі мәселесін, жеті «мыңжылдық есептерінің» бірін шешкенін жариялады. Компания дәлелдеменің сипаттамасын және оның Lean тіліндегі формализациясын жариялады. Нью-Йорк университетінің математика профессоры Тристан Бакмастер OpenAI-ды өз әзірлемелерін пайдаланды деп айыптады.
Негізгі фактілер
- OpenAI өзінің ішкі ИИ моделі Навье — Стокс теңдеулері шешімдерінің бар болуы мен тегістігі мәселесін, жеті «мыңжылдық есептерінің» бірін шешкенін мәлімдеді.
- Компания дәлелдеменің сипаттамасын және оның Lean тіліндегі формализациясын жариялады.
- Навье — Стокс есебімен бір мезгілде интернеттің кэштелген деректеріне және код орындауға қол жеткізе алатын 10 мыңға жуық ИИ агенті жұмыс істеді.
- Нью-Йорк университетінің математика профессоры Тристан Бакмастер OpenAI-ды өзінің және Левент Альпегенің әзірлемелерін авторлықты көрсетпей пайдаланды деп айыптады.
- OpenAI пайдаланушылар журналдарына мақсатты қол жеткізуді жоққа шығарады, бірақ анонимді деректер оқыту жиынтығына түсуі мүмкін екенін мойындайды.
Мәлімделген дәлелдеме
OpenAI өзінің ішкі ИИ моделі Навье — Стокс теңдеулері шешімдерінің бар болуы мен тегістігі мәселесін, жеті «мыңжылдық есептерінің» бірін шешкенін жариялады. Компания дәлелдеменің өзін де, оның Lean тіліндегі формализациясын да жариялайтынын мәлімдеді. Навье — Стокс есебі үшін қолданылған модель мүмкіндіктері бойынша GPT-6 Astra-дан айтарлықтай асып түседі, деп атап өтті OpenAI. Бір мезгілде есеппен интернеттің кэштелген көшірмесіне және бағдарламалық кодты орындауға қол жеткізе алатын 10 мыңға жуық агент жұмыс істеді. Кейбір агенттерге дәлелдемеге апаратын тұжырымдар, ал басқаларына теріске шығаруға апаратын тұжырымдар ұсынылды.
Плагиат айыптауы
Нью-Йорк университетінің математика профессоры Тристан Бакмастер OpenAI-ды өзінің және Левент Альпегенің әзірлемелерін авторлықты көрсетпей пайдаланды деп айыптады. Бакмастер Альпемен бірге бұл мәселемен ұзақ жұмыс істегенін, өз есептеулерін OpenAI-дың Codex сервисіне жүктегенін айтты. Оның айтуынша, ИИ жетістігі туралы қауесеттен кейін бірден модель дәл сол қорытындыларға келді. Бакмастер модель олардың Codex сессияларында оқытылған-оқытылмағанын сұрағанын, бірақ жауап алмағанын хабарлады. OpenAI журналдарды мақсатты түрде қарауды жоққа шығарады, бірақ пайдаланушылардың анонимді деректері оқыту базасына түсуі мүмкін екенін мойындайды.