OpenAI-дың Навье-Стокс дәлелдеуіндегі дөрекі күш математикалық өнерге сын айтады
Материал бірнеше дереккөз негізінде жасанды интеллектпен дайындалды — түпнұсқаларға сілтемелер төменде.
OpenAI Навье-Стокс теңдеулерінің бар болуы мен тегістігі мәселесін шешу үшін мыңдаған агенттерді пайдаланды — бұл математикалық жұмбақ ондаған жылдар бойы шешілмей келген. Математиктер дөрекі күш әдісі математикалық ашудың ойластырылған, көркемдік процесін қысқартады деп есептейді. Дәлелдеудің практикалық қолданысы жоқ, бірақ адамның түсінігін әлсірету қаупін тудырады.
Негізгі фактілер
- OpenAI Навье-Стокс теңдеулерінің бар болуы мен тегістігі мәселесін шешу үшін мыңдаған агенттерді пайдаланғанын мәлімдеді.
- Навье-Стокс теңдеулерін XIX ғасыр ғалымдары тұтқыр сұйықтықтардың ағынын сипаттау үшін жасаған.
- Колорадо штаты университетінің математигі Джасприт Сингх Сандху математиктерді жасанды интеллект әсерінен бұзылысқа ұшыраған суретшілер мен музыканттармен салыстырды.
- 1940 жылғы «Математик апологиясы» эссесінде Г. Х. Харди математикамен қолданбалардан бөлек, тек өзі үшін айналысу керек деп тұжырымдады.
- Вандербильт университетінің математигі Джаред Спек математиктер бұл мәселемен инженерия үшін емес, оның «математикалық байлығы» мен «жұмбақтық қыры» үшін айналысқанын айтты.
Дөрекі күшпен дәлелдеу
OpenAI Навье-Стокс дәлелдеуіне дөрекі күш әдісімен келді, мыңдаған агенттерді пайдаланды. Бұл әдіс математиктер әдетте ұстанатын ойластырылған, саналы процесті қысқартады. Колорадо штаты университетінің математигі Джасприт Сингх Сандху суретшілер мен музыканттар жасанды интеллекттен осындай бұзылысты бастан өткергенін атап өтті. Дәлелдеу математиктерді ондаған жылдар бойы қызықтырған жұмбақты шешеді, бірақ практикалық қолданысы жоқ.
Математика өнер ретінде
Ағылшын математигі Г. Х. Харди 1940 жылғы «Математик апологиясы» эссесінде математик суретші немесе ақын сияқты өрнектер жасайды деп жазды. Харди математикамен қолданбалардан, әсіресе әскери қолданбалардан бөлек, тек өзі үшін айналысуды жақтады. Ол Карл Фридрих Гаусстың сандар теориясы туралы әдемі, пайдасыз математиканың көрінісі ретіндегі сөзін келтірді. Сандар теориясы кейін электрондық пошта мен банк шоттарын қорғау үшін қолданылатын шифрлау хаттамалары үшін құнды болып шықты.
Навье-Стокс жұмбағы
Навье-Стокс теңдеулерін XIX ғасыр ғалымдары тұтқыр сұйықтықтардың ағынын сипаттау үшін жасаған. Инженерлер бұл теңдеулерді ұшақтарды жобалау кезінде ауа ағындарын модельдеу үшін пайдаланады. Вандербильт университетінің математигі Джаред Спек математиктердің теңдеулерге деген басты қызығушылығы инженерлік емес екенін айтты. Спектің айтуынша, олар бұл мәселемен оның «математикалық байлығы» мен «жұмбақтық қыры» үшін айналысты. Шешім ұшақ қанатын аэродинамикалық тұрғыдан жақсырақ жобалауға көмектеспейді.
1 дереккөз
Уақыт · артта қалуы