OpenAI បានបោះពុម្ភសាត្រាស្លឹករឹតគណិតវិទ្យាចំនួន 722 ដែលផលិតដោយគំរូព្រំដែនខាងក្នុងដែលមិនទាន់ចេញផ្សាយ ដោយដាក់ការប្រមូលពេញលេញនៅក្នុងឃ្លាំង GitHub សាធារណៈក្រោមអាជ្ញាប័ណ្ណ Apache-2.0 ។ ការចេញផ្សាយដែលបានប្រកាសនៅក្នុងការប្រកាសស្រាវជ្រាវមួយដែលមានឈ្មោះថា "ការចែករំលែកវឌ្ឍនភាព AI នៅក្នុងគណិតវិទ្យា" នៅថ្ងៃទី 6 ខែតុលា ឆ្នាំ 2026 គឺស្ថិតក្នុងចំណោមការបោះចោលដ៏ធំបំផុតនៃលទ្ធផលគណិតវិទ្យាដែលបង្កើតដោយ AI រហូតមកដល់បច្ចុប្បន្ន ហើយវាមកដល់ជាមួយនឹងការត្រួតពិនិត្យភស្តុតាង Lean ផ្លូវការ សេចក្តីសង្ខេបនៃហេតុផល និងព័ត៌មានលម្អិតខុសពីធម្មតាអំពីចំនួនគណនាដែលលទ្ធផលនីមួយៗប្រើប្រាស់។

ចលនា​នេះ​បាន​ធ្លាក់​ទៅ​ក្នុង​វាល​មួយ​ដែល​នៅ​ជិត​រួច​ហើយ។ កាសែត New York Times បានរាយការណ៍ថាការចេញផ្សាយនេះបានធ្វើឱ្យសហគមន៍គណិតវិទ្យាដែលចំណាយពេលជាច្រើនខែដើម្បីប្រកួតប្រជែងជាមួយប្រព័ន្ធ AI ដែលបង្កើតលទ្ធផលស្រាវជ្រាវយ៉ាងធ្ងន់ធ្ងរ ខណៈដែលអ្នកវិទ្យាសាស្ត្រអាមេរិកបានពណ៌នា OpenAI ថាបញ្ចេញ "លទ្ធផលគណិតវិទ្យារាប់រយទៀតនៅលើវាលដែលគួរឱ្យភ្ញាក់ផ្អើល" ។ សម្រាប់អ្នកអានដែលតាមដាន [ការអភិវឌ្ឍការស្រាវជ្រាវ AI ចុងក្រោយបំផុត] (https://aibuzzwire.news) ការចេញផ្សាយនេះគឺជាករណីសាកល្បងសម្រាប់របៀបដែលមន្ទីរពិសោធន៍ព្រំដែនចែករំលែកវិទ្យាសាស្ត្រដែលបង្កើតដោយម៉ាស៊ីនដោយមិនបញ្ឆេះជម្លោះឥណទាន។

តើមានអ្វីនៅខាងក្នុងឃ្លាំង

ការប្រមូលនេះរស់នៅក្នុងឃ្លាំង openai/math នៅលើ GitHub ។ យោងតាម ​​README របស់វា ខ្លឹមសារគឺជាសាត្រាស្លឹករឹតគណិតវិទ្យា និងគាំទ្រវត្ថុបុរាណដែលផលិតដោយគំរូ OpenAI ខាងក្នុង ដែលប្រមូលផ្តុំជាផ្នែកមួយនៃការវាយតម្លៃការអភិវឌ្ឍន៍គំរូលើបញ្ហាស្រាវជ្រាវបើកចំហ។ កាតាឡុកបច្ចុប្បន្នមានសាត្រាស្លឹករឹតចំនួន 722 ដែលរៀបចំជា 372 គ្រួសារ ដែលឯកសារទាក់ទងនឹងក្រុមគ្រួសារដែលអាចរួមបញ្ចូលលទ្ធផលចម្បង អាគុយម៉ង់ដៃគូ ផលវិបាក ឬភស្តុតាងជំនួស ដែលនីមួយៗត្រូវបានចាត់ថ្នាក់តាមវិន័យគណិតវិទ្យា។

ថតឯកសារបោះពុម្ពជាមុនមានឯកសារ PDF ឯកសារប្រភព និងការដកស្រង់តាមសាត្រាស្លឹករឹត និងការណែនាំអំពីការសាងសង់។ បណ្ណាល័យ Lean ធ្វើកាតាឡុកនូវភស្តុតាងផ្លូវការ រួមជាមួយឯកសារពាក់ព័ន្ធ និងការកំណត់រចនាសម្ព័ន្ធការផ្ទៀងផ្ទាត់របស់ពួកគេ។ មិនមែនគ្រប់សាត្រាស្លឹករឹតត្រូវបានបង្កើតឡើងជាផ្លូវការទេ៖ លទ្ធផលជាច្រើនមានភ្ជាប់មកជាមួយនូវទម្រង់បែបបទក្នុងភាសា Lean ដែលជាភាសាសរសេរកម្មវិធីដែលប្រើដើម្បីឱ្យកុំព្យូទ័រពិនិត្យមើលភស្តុតាងតាមបន្ទាត់ ប៉ុន្តែ README ព្រមានថាលទ្ធផលមិនផ្លូវការមួយចំនួនអាចមានបញ្ហា។ OpenAI និយាយថា វានឹងដោះស្រាយបញ្ហាបែបនេះបានយ៉ាងឆាប់រហ័ស ហើយវាប្តេជ្ញារក្សាប្រវត្តិនៃការចេញផ្សាយជាសាធារណៈរបស់បណ្តុំ កត់ត្រាការកែតម្រូវ និងការកែប្រែជាកំណែថ្មី ខណៈពេលដែលរក្សាកំណែមុនៗ។ ថតសាត្រាស្លឹករឹតនីមួយៗក៏មានប្លុក BibTeX សម្រាប់ការដកស្រង់ផងដែរ។

របៀបដែលលទ្ធផលត្រូវបានបង្កើតឡើង

លទ្ធផលភាគច្រើនបានមកពីនីតិវិធីថេរតែមួយដោយប្រើគំរូ OpenAI ខាងក្នុងដែលមិនទាន់ចេញផ្សាយ។ ក្នុងអំឡុងពេលនៃការវាយតម្លៃ គំរូនេះត្រូវបានបង្កឡើងប្រហែល 4,000 បញ្ហា។ OpenAI រាយការណ៍ថាលទ្ធផលដែលបានបោះពុម្ពផ្សាយជាមធ្យមប្រើប្រាស់ស្មើនឹងប្រហែល 3 ម៉ោងនៃការគណនាការគិតរបស់ ChatGPT Pro ដែលជាកម្រិតនៃតម្លាភាពដែលនៅតែកម្រនៅក្នុងឧស្សាហកម្មនេះ។ ក្រុមហ៊ុននិយាយថា ខ្លួនបានពង្រីកការវាយតម្លៃទាំងនេះ បន្ទាប់ពីការអនុវត្តលើពិន្ទុគោលគណិតវិទ្យាដែលមានស្រាប់របស់វាឆ្អែត ហើយលទ្ធផលមួយចំនួនបានបង្កើតឡើងនៅលើលទ្ធផលមុនដែលផលិតដោយម៉ូដែលផ្ទាល់ខ្លួនរបស់វា។ តម្រូវឱ្យមានកម្រិតសមស្របនៃសារៈសំខាន់ និងការប្រមូលផ្តុំទិន្នផលឆៅទៅក្នុងគ្រួសារ និងសាត្រាស្លឹករឹតបានផលិតកាតាឡុកដែលបានបោះពុម្ព។

ការលើកលែងដែលមានឈ្មោះពីរបានចាកចេញពីនីតិវិធីនោះ៖ ការងារបង្កើតតំបន់គ្មានសូន្យសម្រាប់មុខងារ Riemann zeta ជាមួយនឹងការសរសេរដែលគ្របដណ្តប់លើតំបន់ Re(s) > 11/12 ដែលត្រូវបានកែសម្រួលដោយមនុស្សសម្រាប់ការអាន និងភស្តុតាងនៃ Hodge Conjecture សម្រាប់ពូជ CM abelian ។ ទាំងពីរ​នេះ​គឺជា​គណិតវិទ្យា​ទូទៅ​ដ៏​ធ្ងន់ធ្ងរ ហើយ​ទាំងពីរ​នឹង​ត្រូវ​ប្រឈមមុខ​នឹង​ការ​ត្រួតពិនិត្យ​សហគមន៍។

សេចក្ដីសង្ខេបខ្លីៗចំនួន 10 នៃហេតុផលរបស់គំរូក៏ត្រូវបានបោះពុម្ពផងដែរ។ ពួកគេគ្របដណ្តប់លទ្ធផលរួមទាំងនិទស្សន្តភាពមិនសមហេតុផលនៃ pi ការសន្និដ្ឋានស៊ីមេទ្រី និងទូទៅ Mahler ការ isomorphism នៃកត្តាក្រុមដោយឥតគិតថ្លៃ ព្រំដែន quasipolynomial សម្រាប់វឌ្ឍនភាពនព្វន្ធ ការប៉ាន់ស្មានភាពជាក់លាក់ដោយផ្ទាល់របស់ Kaplansky នៅក្នុងលក្ខណៈពីរ រូបមន្ត Mezard-Parisi សម្រាប់ diluted spine magnetant វ៉ែនតា He sponisation ferromagnet និងប្រព័ន្ធទំនាក់ទំនងបីវិមាត្រ Vlasov-Maxwell ។

ក្រុមប្រឹក្សាបានជួយបង្កើតការចេញផ្សាយ

OpenAI និយាយថា ខ្លួនបានពិគ្រោះជាមួយក្រុមប្រឹក្សាឯករាជ្យស្តីពីគណិតវិទ្យា និងបញ្ញាសិប្បនិម្មិតនៅវិទ្យាស្ថានសម្រាប់ការសិក្សាកម្រិតខ្ពស់ ខណៈពេលដែលកំពុងបង្កើតការអនុវត្តល្អបំផុតសម្រាប់ការចែករំលែកលទ្ធផល។ ក្រុមនោះបានបោះពុម្ពផ្សាយការណែនាំអំពីការទទួលខុសត្រូវរបស់ខ្លួននៅថ្ងៃទី 29 ខែកញ្ញា ឆ្នាំ 2026 បន្ទាប់ពីទទួលបានការឆ្លើយតបជាង 600 ពីសហគមន៍គណិតវិទ្យា។ អនុសាសន៍មានលក្ខណៈមិនច្បាស់លាស់៖ "យើងមិនគាំទ្រការអនុវត្តនេះទេ ហើយយើងស្នើឱ្យពួកគេបញ្ឈប់ការសាកល្បងបញ្ហាគណិតវិទ្យាកម្រិតខ្ពស់លើគំរូដែលមានកម្មសិទ្ធិ។" ក្រុមនេះជំរុញឱ្យមន្ទីរពិសោធន៍ដាក់ប្រាក់លទ្ធផលនៅក្នុងឃ្លាំងអ្នកប្រាជ្ញដែលមិនមានការគ្រប់គ្រងមន្ទីរពិសោធន៍ AI ដើម្បីកំណត់អត្តសញ្ញាណដែលអាចបញ្ជាក់បានជាប់លាប់ បង្ហាញឈ្មោះគំរូ ការណែនាំដែលបានប្រើ និងសង្វាក់សង្ខេបនៃហេតុផល និងជៀសវាងពីការព្យាបាលការចេញផ្សាយលទ្ធផលជាយានទីផ្សារ។

ការចេញផ្សាយរបស់ OpenAI គឺពិតជាការប៉ុនប៉ងដើម្បីអនុវត្តតាមក្របខ័ណ្ឌនោះជាជាងប្រឆាំងនឹងវា។ ថាតើសហគមន៍ទទួលយកវាជាសំណួរមួយផ្សេងទៀត។ ការស្ទង់មតិរបស់ក្រុមផ្តល់ប្រឹក្សាបានសួរជាពិសេសអំពីសេណារីយ៉ូដែលមន្ទីរពិសោធន៍ប្រកាសពីអត្ថិភាពនៃលទ្ធផលជាច្រើនដោយមិនផ្តល់ព័ត៌មានលម្អិត ហើយអនុសាសន៍ដែលបានលេចឡើងឆ្លុះបញ្ចាំងពីការព្រួយបារម្ភយ៉ាងខ្លាំងអំពីការប្រកាសដែលលើសពីការផ្ទៀងផ្ទាត់។

ការផ្ទៀងផ្ទាត់បន្ទុកផ្ទេរទៅអ្នកគណិតវិទ្យា

បញ្ហាប្រឈមជាក់ស្តែងឥឡូវនេះជាកម្មសិទ្ធិរបស់គណិតវិទូដែលកំពុងធ្វើការ។ ភស្តុតាង Lean ផ្លូវការអាចត្រូវបានត្រួតពិនិត្យដោយមេកានិច ហើយវត្តមានរបស់វាកាត់បន្ថយហានិភ័យនៃកំហុសយ៉ាងច្រើន។ ប៉ុន្តែសាត្រាស្លឹករឹតដែលគ្មានការអនុញ្ញាតជាផ្លូវការ ដែល README ខ្លួនវាផ្ទាល់បានដាក់ទង់ថាមានកំហុសឆ្គង ទាមទារការពិនិត្យឡើងវិញតាមបែបប្រពៃណី ហើយសាត្រាស្លឹករឹត 722 គឺហួសពីអ្វីដែលសហគមន៍អាចស្រូបយកបានយ៉ាងឆាប់រហ័ស។ វាក៏មានសំណួរអំពីអាទិភាព និងឥណទានផងដែរ៖ គណិតវិទូដែលបានចំណាយពេលជាច្រើនឆ្នាំជាប់នឹងបញ្ហាទាំងនេះនឹងចង់ដឹងច្បាស់អំពីអ្វីដែលគំរូត្រូវបានសួរ អ្វីដែលវាត្រូវបានផ្តល់ឱ្យ និងថាតើលទ្ធផលរបស់មនុស្សត្រូវបានបញ្ចូលដែរឬទេ។ ការបោះពុម្ភផ្សាយរបស់ OpenAI អំពីសេចក្តីសង្ខេប និងស្ថិតិគណនាត្រូវបានរៀបចំឡើងដើម្បីឆ្លើយសំណួរមួយចំនួនជាមុន។

ការចេញផ្សាយនេះក៏កំណត់គំរូគូប្រជែងអាចត្រូវបានចុចដើម្បីធ្វើតាម។ Anthropic, Google DeepMind និងមន្ទីរពិសោធន៍ផ្សេងទៀតដែលមានគំរូព្រំដែនដែលមានសមត្ថភាពគណិតវិទ្យាកម្រិតស្រាវជ្រាវ ឥឡូវនេះប្រឈមមុខនឹងបទដ្ឋានជាក់ស្តែង ដែលបង្ហាញដោយក្រុមប្រឹក្សា ដែលលទ្ធផលដែលលាក់នៅលើគំរូកម្មសិទ្ធិគួរតែត្រូវបានចេញផ្សាយដោយមានភស្តុតាងពេញលេញ ឬមិនចំអកអ្វីទាំងអស់។

សម្រាប់ពេលនេះ ឃ្លាំងកំពុងផ្សាយបន្តផ្ទាល់ កិច្ចខិតខំប្រឹងប្រែងផ្លូវការកំពុងបន្ត ហើយការកែតម្រូវកំពុងត្រូវបានរៀបចំជាសាធារណៈ។ ថាតើវាក្លាយជាសៀវភៅស្ដង់ដារសម្រាប់គណិតវិទ្យាដែលបង្កើតដោយ AI ឬចំណុចប្រទាក់ក្រឡាផ្សេងទៀតនៅក្នុងជម្លោះកាន់តែទូលំទូលាយរវាងមន្ទីរពិសោធន៍ និងសហគមន៍ស្រាវជ្រាវដែលពួកគេបានគូរនោះនឹងអាស្រ័យលើរបៀបដែលការពិនិត្យមើលពីរបីសប្តាហ៍ខាងមុខ។

បន្តឆ្ពោះទៅមុខ AI Curve

វិទ្យាសាស្ត្រដែលបង្កើតដោយ AI កំពុងផ្លាស់ប្តូរពីសេចក្តីប្រកាសព័ត៌មានទៅជាការពិនិត្យឡើងវិញពីមិត្តភ័ក្តិ។ [តាមដានព័ត៌មាន AI ថ្មីៗនៅលើ aibuzzwire.news] (https://aibuzzwire.news) សម្រាប់ការគ្របដណ្តប់រាល់ការចេញផ្សាយការស្រាវជ្រាវសំខាន់ៗ ការបើកដំណើរការគំរូ និងការផ្លាស់ប្តូរគោលនយោបាយ។

អានព័ត៌មាន AI បន្ថែម →