समाचारं

गूगल एआइ इत्यनेन IMO स्वर्णपदकं एकेन बिन्दुना हारितम्! एकस्य प्रश्नस्य समाधानं कर्तुं मानवीयक्रीडकान् च मर्दयितुं १९ सेकेण्ड् यावत् समयः भवति ज्यामितीय एआइ इत्यस्य सुपर विकासस्य आश्चर्यजनकसमीक्षा।

2024-07-26

한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina


नवीन बुद्धि प्रतिवेदन

सम्पादक : सम्पादकीय विभाग

[नव प्रज्ञायाः परिचयः] । अधुना एव Google DeepMind इत्यस्य नवीनतमं गणितीयं मॉडलं IMO Mathematical Olympiad रजतपदकं प्राप्तवान्! न केवलं ६ प्रश्नेषु ४ प्रश्नानां समाधानं सम्यक् स्कोरेन कृतवान्, स्वर्णपदकात् केवलं १ अंकं दूरम्, अपितु चतुर्थप्रश्नस्य समाधानार्थं केवलं १९ सेकेण्ड् यावत् समयः अभवत्, समस्यायाः समाधानस्य गुणवत्ता, गतिः च स्कोरं कृतवन्तः मानवनिर्णायकाः स्तब्धं कृतवन्तः .

एआइ इत्यनेन IMO गणितस्य ओलम्पियाड् रजतपदकं प्राप्तम्!

अधुना एव गूगल डीपमाइण्ड् इत्यनेन घोषितं यत् अस्मिन् वर्षे अन्तर्राष्ट्रीयगणितीय-ओलम्पियाड्-क्रीडायाः वास्तविकाः प्रश्नाः स्वस्य एव ए.आइ.

तेषु एआइ न केवलं ६ प्रश्नेषु ४ प्रश्नान् सफलतया सम्पन्नवान्, अपितु प्रत्येकस्य प्रश्नस्य कृते पूर्णाङ्कान् अपि प्राप्तवान्, यत् रजतपदकस्य सर्वोच्चाङ्कस्य बराबरम् अस्ति - २८ अंकाः।

एतत् परिणामं स्वर्णपदकात् केवलं १ अंकं दूरम् अस्ति!


६०९ प्रतियोगिनां मध्ये केवलं ५८ प्रतियोगिनां स्वर्णपदकं प्राप्तम्

आधिकारिकस्पर्धायां मानवप्रतियोगिनः द्वयोः सत्रयोः उत्तराणि प्रस्तूयन्ते, प्रत्येकं समये ४.५ घण्टाः समयसीमा भवति ।

रोचकं तत् अस्ति यत् एआइ इत्यनेन एकस्य प्रश्नस्य उत्तरं दातुं केवलं कतिपयानि निमेषाणि यावत् समयः अभवत्, परन्तु शेषप्रश्नानां कृते पूर्णदिनानि त्रीणि यावत् समयः अभवत्, यत् गम्भीरः समयसमाप्तिः इति वक्तुं शक्यते


अस्मिन् समये यत् महत् योगदानं दत्तवान् तत् द्वे एआइ-प्रणाल्याः-AlphaProof तथा AlphaGeometry 2 इति ।

महत्त्वपूर्णः बिन्दुः : २०२४ IMO एतयोः एआइ-योः प्रशिक्षणदत्तांशयोः नास्ति ।

एआइ-इञ्जिनीयरः डेविन् (त्रिवारं आईओआइ-स्वर्णपदकविजेता) पृष्ठतः संस्थापकानाम् एकः स्कॉट् वुः शोचति स्म यत्, “यदा अहं बालकः आसम् तदा ओलम्पियाड्-क्रीडा एव मम कृते आसीत् यत् केवलं १० वर्षाणाम् अनन्तरं तेषां स्थाने ए.आइ .समाधानं कृतम्"।


अस्मिन् वर्षे IMO प्रतियोगितायां बीजगणितं, संयोजनविज्ञानं, ज्यामितिः, संख्यासिद्धान्तः च समाविष्टाः षट् प्रतियोगिताप्रश्नाः सन्ति । षट् मार्गाः चत्वारि भवन्ति, एआइ-स्तरं अनुभवामः——



एआइ इत्यस्य गणितीयतर्कक्षमता प्राध्यापकं आहतं करोति

वयं सर्वे जानीमः यत् पूर्ववर्ती एआइ तर्कक्षमतायाः प्रशिक्षणदत्तांशस्य च सीमायाः कारणात् गणितीयसमस्यानां समाधानं कर्तुं सीमितः अस्ति ।

अद्य एकत्र प्रकटितौ एआइ-क्रीडकौ एतां सीमां भङ्गं कृतवन्तौ। ते क्रमशः--

- AlphaProof, सुदृढीकरणशिक्षणस्य आधारेण औपचारिकगणितीयतर्कस्य नूतना प्रणाली

- AlphaGeometry 2, द्वितीयपीढीयाः ज्यामितीयसमस्यानिवारणप्रणाली

एआइ-द्वयेन दत्तानि उत्तराणि प्रसिद्धगणितविदः प्रोफेसर टिमोथी गॉवर्सः (IMO स्वर्णपदकविजेता तथा फील्ड्स् पदकविजेता) तथा डॉ. जोसेफ् मायर्स् (द्विवारं IMO स्वर्णपदकविजेता तथा IMO 2024 प्रश्नचयनसमितेः अध्यक्षः) इत्यनेन नियमानुसारं स्कोरं कृतम् .

अन्ते AlphaProof इत्यनेन बीजगणितीयप्रश्नद्वयं सम्यक् समाधाय एकः संख्यासिद्धान्तप्रश्नः अस्मिन् वर्षे IMO इत्यस्मिन् केवलं ५ मानवप्रतियोगिभिः समाधानं कृतम्

केवलं द्वौ संयोजनात्मकगणितसमस्यौ स्तः ये न जिताः।

प्रोफेसर टिमोथी गॉवर्सः अपि ग्रेडिंग् प्रक्रियायाः समये अतीव आहतः अभवत्——

यत् कश्चन कार्यक्रमः एतादृशं अस्पष्टं समाधानं कल्पयितुं शक्नोति इति वस्तुतः प्रभावशालिनी अस्ति तथा च वर्तमानकालस्य स्थितिं दृष्ट्वा मया अपेक्षितापेक्षया दूरम्।


अल्फाप्रूफ

AlphaProof इति औपचारिकभाषा Lean इति गणितीयप्रस्तावान् सिद्धयितुं समर्था प्रणाली अस्ति ।

एतत् पूर्वप्रशिक्षितं बृहत्भाषाप्रतिरूपं AlphaZero सुदृढीकरणशिक्षण-अल्गोरिदम् इत्यनेन सह संयोजयति, यत् शतरंजं, शोगी, Go च निपुणतां प्राप्तुं स्वयमेव शिक्षयति स्म ।

औपचारिकभाषाणां एकः प्रमुखः लाभः अस्ति यत् गणितीयतर्कसम्बद्धानां प्रमाणानां कृते औपचारिकरूपेण सत्यापनं कर्तुं शक्यते । परन्तु मनुष्यैः लिखितानां प्रासंगिकदत्तांशस्य अत्यन्तं सीमितमात्रायाः कारणात् यन्त्रशिक्षणे तेषां प्रयोगः सीमितः अस्ति ।

तस्य विपरीतम्, प्राकृतिकभाषा-आधारित-पद्धतयः, बृहत्-मात्रायां दत्तांश-प्रवेशं प्राप्य अपि, युक्तानि, परन्तु अशुद्धानि, मध्यवर्ती-तर्क-पदानि समाधानं च उत्पादयितुं शक्नुवन्ति

एतत् दूरीकर्तुं Google DeepMind शोधकर्तारः मिथुनस्य प्रतिरूपं सूक्ष्मरूपेण व्यवस्थितवन्तः यत् प्राकृतिकभाषासमस्यावाक्यानि स्वयमेव औपचारिककथनेषु अनुवादितवन्तः, भिन्नकठिनतायाः औपचारिकसमस्याः समाविष्टं विशालं पुस्तकालयं निर्मितवन्तः, येन पूरकक्षेत्रद्वयस्य मध्ये सेतुः निर्मितः

समस्यायाः समाधानं कुर्वन् AlphaProof अभ्यर्थीसमाधानं जनयति तथा च Lean इत्यस्मिन् सम्भाव्यप्रमाणपदार्थानाम् अन्वेषणेन तान् सिद्धयति अथवा असत्यं करोति ।


प्रत्येकं प्रमाणं यत् लभ्यते सत्यापितं च भवति तस्य उपयोगः AlphaProof इत्यस्य भाषाप्रतिरूपं सुदृढं कर्तुं भवति येन भविष्ये अधिककठिनसमस्यानां समाधानं कर्तुं शक्यते।

अल्फाप्रूफ् इत्यस्य प्रशिक्षणार्थं शोधकर्तारः प्रतियोगितायाः पूर्वसप्ताहेभ्यः अपि च प्रतियोगितायाः समये च कठिनतायाः गणितीयविषयक्षेत्राणां च विस्तृतश्रेणीं आच्छादयन्तः कोटिकोटिप्रश्नान् सिद्धवन्तः अथवा अप्रमाणितवन्तः।

प्रतियोगितायाः समये ते प्रतियोगितासमस्यायाः स्वयमेव उत्पन्नविविधतासु प्रमाणानि सुदृढं कृत्वा प्रशिक्षणपाशमपि प्रयुक्तवन्तः यावत् सम्पूर्णसमाधानं न लभ्यते स्म


AlphaProof सुदृढीकरणशिक्षणप्रशिक्षणपाशस्य प्रवाहस्य इन्फोग्राफिकः : प्रायः दशलाखं अनौपचारिकगणितीयसमस्याः औपचारिकजालद्वारा औपचारिकगणितीयभाषायां अनुवादिताः भवन्ति ततः सॉल्वरजालं क्रमेण एतासां समस्यानां प्रमाणं वा खण्डनं वा अन्वेष्य AlphaZero एल्गोरिदमस्य उपयोगेन स्वयमेव प्रशिक्षयति , अधिकचुनौत्यपूर्णसमस्यानां समाधानार्थम्

अल्फाज्यामिति २

AlphaGeometry 2, AlphaGeometry इत्यस्य उन्नतसंस्करणं, मिथुनस्य भाषाप्रतिरूपस्य आधारेण आद्यतः प्रशिक्षितं तंत्रिका-प्रतीकात्मकं संकरप्रणाली अस्ति ।

पूर्वपीढीयाः अपेक्षया परिमाणस्य क्रमेण अधिकसंश्लेषितदत्तांशस्य आधारेण एतत् अधिककठिनज्यामितीयसमस्यानां समाधानं कर्तुं शक्नोति, यत्र वस्तुगतिः, कोणः, अनुपातः, दूरी इत्यादयः समीकरणाः सन्ति

तदतिरिक्तं अस्मिन् प्रतीकात्मकं इञ्जिनं दृश्यते यत् पूर्ववर्ती इञ्जिनात् द्वौ क्रमौ द्रुततरं भवति । यदा नूतनाः समस्याः सम्मुखीभवन्ति तदा एतत् एकं नवीनं ज्ञान-साझेदारी-तन्त्रस्य उपयोगं करोति यत् अधिकजटिलसमस्यानां समाधानार्थं भिन्न-भिन्न-अन्वेषण-वृक्षाणां उन्नत-संयोजनानि सक्षमं करोति

अस्मिन् वर्षे IMO इत्यस्मिन् भागं ग्रहीतुं पूर्वं AlphaGeometry 2 इत्यनेन पूर्वमेव बहु सफलता प्राप्ता आसीत्: विगत 25 वर्षेषु IMO ज्यामितिसमस्यानां 83% समाधानं कर्तुं शक्नोति, प्रथमपीढी केवलं 53% समाधानं कर्तुं शक्नोति स्म

अस्मिन् IMO इत्यस्मिन् AlphaGeometry 2 इत्यस्य गतिः सर्वान् आश्चर्यचकितवती - औपचारिकप्रश्नस्य प्राप्तेः १९ सेकेण्ड् अन्तः एव प्रश्नस्य ४ समाधानं कृतवान्!


प्रश्ने ४ प्रमाणं आवश्यकं यत् ∠KIL तथा ∠XPY इत्येतयोः योगः १८०° इत्यस्य बराबरः अस्ति । AlphaGeometry 2 BI रेखायां E बिन्दुस्य निर्माणं अनुशंसति यत् ∠AEB=90° ।बिन्दु E AB इत्यस्य मध्यबिन्दु L निर्धारयितुं सहायकं भवति, येन ABE ~ YBI तथा ALE ~ IPC इत्यादीनि अनेकानि समानानि त्रिकोणयुग्मानि निर्मान्ति, अतः निष्कर्षः सिद्धः भवति

एआइ समस्यानिराकरणप्रक्रिया

ज्ञातव्यं यत् एतेषां प्रश्नानां प्रथमं औपचारिकगणितीयभाषायां हस्तचलितरूपेण ए.आइ.
पृ1

सामान्यतया प्रत्येकस्मिन् IMO परीक्षणे प्रथमः प्रश्नः (P1) तुल्यकालिकरूपेण सुलभः भवति ।

नेटिजन्स् अवदन् यत्, "पी१ कृते केवलं उच्चविद्यालयस्य गणितस्य ज्ञानस्य आवश्यकता भवति, मानवक्रीडकाः च प्रायः ६० निमेषेषु एव तत् सम्पन्नं कुर्वन्ति" इति ।


IMO 2024 इत्यस्य प्रथमः प्रश्नः मुख्यतया वास्तविकसङ्ख्यायाः α गुणानाम् परीक्षणं करोति, तथा च वास्तविकसङ्ख्या α अन्वेष्टुम् आवश्यकं भवति यत् कतिपयानि शर्ताः पूरयति ।


एआइ इत्यनेन सम्यक् उत्तरं दत्तम् - α समपूर्णाङ्कः अस्ति । अतः, कथं सम्यक् उत्तरं भवति ?


समस्यायाः समाधानस्य प्रथमे चरणे एआइ प्रथमं वामदक्षिणसमूहौ समानौ इति प्रमेयम् अददात् ।

वामतः समुच्चयः प्रतिनिधियति यत् सर्वाणि वास्तविकसङ्ख्यानि α ये शर्ताः पूरयन्ति, कस्यापि सकारात्मकपूर्णाङ्कस्य n कृते n, ⌊i*α⌋ 1 तः n यावत् विभक्तुं शक्नुवन्ति, दक्षिणतः समुच्चयः दर्शयति यत् पूर्णाङ्कः k अस्ति, k अस्ति; समसङ्ख्या, तथा च वास्तविकसङ्ख्या α k इत्यस्य बराबरा भवति ।


अधोलिखितं प्रमाणं द्विधा विभक्तम् ।

प्रथमं सिद्धं कुर्वन्तु यत् दक्षिणभागे यः समुच्चयः अस्ति सः वामे स्थितस्य समुच्चयस्य उपसमूहः (सरलदिशा) अस्ति ।


ततः, वामे स्थितः समुच्चयः दक्षिणे स्थितस्य समुच्चयस्य उपसमूहः इति सिद्धं कुरुत (कठिनदिशा) ।


कोडस्य अन्त्यपर्यन्तं एआइ एकं कीलसमीकरणं ⌊(n+1)*α⌋ = ⌊α⌋+2n(l-⌊α⌋) कल्पितवान्, समीकरणस्य उपयोगेन सिद्धं कृतवान् यत् α अवश्यं an भवितुमर्हति समसंख्या ।


अन्ते DeepMind इत्यनेन समस्यानिराकरणप्रक्रियायां AI इति त्रयः स्वयंसिद्धाः सारांशतः कृताः: propext, Classical.choice, Quot.sound च ।

P1 इत्यस्य सम्पूर्णा समस्यानिराकरणप्रक्रिया निम्नलिखितम् अस्ति: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P1/index.html


पृ2

द्वितीयः प्रश्नः धनात्मकपूर्णाङ्कयुग्मस्य (a, b) सम्बन्धस्य परीक्षणं करोति, यस्मिन् महत्तमस्य सामान्यभाजकस्य गुणः अन्तर्भवति


एआइ द्वारा समाधानं कृतं उत्तरम् अस्ति यत् -


प्रमेयम् अस्ति यत् सकारात्मकपूर्णाङ्कयुगलस्य (a, b) कृते यत् कतिपयानि शर्ताः पूरयति, तस्य समुच्चये केवलं (1,1) एव भवितुम् अर्हति ।

निम्नलिखित समस्यानिराकरणप्रक्रियायां एआइ द्वारा स्वीकृता प्रमाणरणनीतिः प्रथमं (१,१) दत्तानि शर्ताः पूरयति इति सिद्धं कर्तुं, ततः एतत् एव समाधानम् इति सिद्धयितुं च

g=2, N=3 इत्यस्य उपयोगेन (1,1) इति अन्तिमसमाधानम् इति सिद्धं कुरुत ।


दर्शयतु यत् यदि (क,ख) समाधानं भवति तर्हि ab+1 इत्यनेन g विभक्तव्यम्।


अस्मिन् क्रमे एआइ इत्यनेन तर्कार्थं यूलरस्य प्रमेयस्य मॉड्यूलरक्रियाणां गुणानाञ्च उपयोगः कृतः ।


अन्ते a=b=1 एव एकमात्रं सम्भवं समाधानम् इति सिद्धं कुर्वन्तु।

P2 इत्यस्य सम्पूर्णा समस्यानिराकरणप्रक्रिया निम्नलिखितम् अस्ति: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P2/index.html


पृ4

P4 एकः ज्यामितीयः प्रमाणप्रश्नः अस्ति यस्य कृते विशिष्टं ज्यामितीयकोणसम्बन्धं सिद्धयितुं आवश्यकम् अस्ति।


यथा उपरि उक्तं, एतत् AlphaGeometry 2 इत्यनेन १९ सेकेण्ड् मध्ये सम्पन्नं कृत्वा नूतनः अभिलेखः स्थापितः ।

दत्तसमाधानस्य आधारेण प्रथमपीढीयाः AlphaGeometry इत्यस्य इव सर्वेषु समाधानेषु सहायकबिन्दवः भाषाप्रतिरूपेण स्वयमेव उत्पद्यन्ते ।

प्रमाणे सर्वेषु कोणनिरीक्षणेषु गाउसीयनिराकरणस्य उपयोगः भवति, तथा च d(AB)−d(CD) AB तः CD (modulo π) यावत् दिग्कोणस्य बराबरः भवति ।

समस्यानिराकरणप्रक्रियायाः कालखण्डे एआइ समानत्रिकोणानां युग्मानां, संगतत्रिकोणानां च (लालवर्णेन चिह्नितानां) हस्तचलितरूपेण चिह्नं करिष्यति ।

तदनन्तरं AlphaGeometry इत्यस्य समस्यायाः समाधानार्थं सोपानानि सन्ति, यत् "recontradiction method" इत्यस्य उपयोगेन सम्पन्नं भवति ।

प्रथमं Lean इत्यस्य उपयोगं कृत्वा येषां प्रस्तावानां सिद्धीकरणं आवश्यकं भवति तेषां औपचारिकतां कृत्वा ज्यामितीयनिर्माणस्य कल्पनां कुर्वन्तु।


प्रमाणे मुख्यानि सोपानानि निम्नलिखितरूपेण सन्ति ।


सम्पूर्णसमस्यानिराकरणप्रक्रियायाः कृते अधोलिखितं चित्रं पश्यन्तु: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P4/index.html


पृ6

षष्ठः IMO प्रश्नः "अन्तिमः मालिकः" अस्ति, यः कार्याणां गुणानाम् अन्वेषणं करोति तथा च तर्कसंगतसङ्ख्यानां विषये विशिष्टनिष्कर्षान् सिद्धयितुं आवश्यकम् अस्ति ।


एआइ समाधानं करोति, ग=2।


प्रथमं प्रमेय-कथनं पश्यामः, यत् "Aquaesulian function" इत्यस्य गुणं परिभाषयति तथा च घोषयति यत् एतादृशानां सर्वेषां फंक्शन्-कृते f(r)+f(-r) इत्यस्य मूल्यसमूहे अधिकतमं 2 तत्त्वानि सन्ति


प्रमाणरणनीतिः प्रथमं सिद्धं कर्तुं यत् कस्यापि एक्वेसुलियनफलनस्य कृते f(r)+f(-r) इत्यस्य मूल्यसमूहे अधिकतमं 2 तत्त्वानि सन्ति । ततः एकं विशिष्टं Aquaesulian फंक्शन् रचयन्तु येन f(r)+f(-r) इत्यस्य सम्यक् 2 भिन्नाः मूल्याः सन्ति ।


यदा f(0)=0 तदा f(x)+f(-x) अधिकतमं द्वौ भिन्नौ मूल्यौ गृह्णाति इति सिद्धं कुर्वन्तु, तथा च सिद्धं कुर्वन्तु यत् f(0)≠0 इति एक्वाएसुलियन फंक्शन् नास्ति ।


f(x)=-x+2⌈x⌉ इति फलनस्य निर्माणं कृत्वा एक्वाएसुलियनफलनम् इति सिद्धं कुर्वन्तु ।


अन्ते सिद्धं कुर्वन्तु यत् अस्य फलनस्य कृते f(-1)+f(1) =0 तथा f(1/2)+f(-1/2)=2 द्वौ भिन्नौ मूल्यौ स्तः ।

निम्नलिखितम् सम्पूर्णं समस्यानिराकरणप्रक्रिया अस्ति: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P6/index.html


भवन्तः ओलम्पियाड् गणितप्रश्नान् कर्तुं शक्नुवन्ति, परन्तु कः बृहत्तरः इति वक्तुं शक्नुवन्ति, ९.११ वा ९.९ वा?

स्टैन्फोर्ड विश्वविद्यालयस्य सिकोइया च शोधकर्त्ता एण्ड्रयू गाओ इत्यनेन अस्य एआइ-सफलतायाः महत्त्वं पुष्टिः कृता——

मुख्यं वस्तु अस्ति यत् नवीनतमाः IMO परीक्षणप्रश्नाः प्रशिक्षणसमूहे न समाविष्टाः सन्ति। एतत् महत्त्वपूर्णं यतः एतत् दर्शयति यत् एआइ नूतनान्, अदृष्टान् समस्यान् सम्भालितुं शक्नोति ।

अपि च, एआइ द्वारा सफलतया समाधानं प्राप्ताः ज्यामितीयसमस्याः सर्वदा अत्यन्तं चुनौतीपूर्णाः इति मन्यन्ते यतः तत्र प्रवृत्तस्य अन्तरिक्षस्य प्रकृतेः (अन्तर्ज्ञानात्मकचिन्तनस्य स्थानिककल्पनायाश्च आवश्यकता भवति)


एनवीडिया इत्यस्य वरिष्ठः वैज्ञानिकः जिम फैन् इत्यनेन दीर्घः लेखः स्थापितः यत् बृहत् मॉडल् रहस्यपूर्णाः अस्तित्वाः सन्ति——

ते गणितस्य ओलम्पियाड्-क्रीडासु रजतपदकं प्राप्तुं शक्नुवन्ति तथा च "कः संख्या बृहत्तरः, ९.११ वा ९.९ वा?"

न केवलं मिथुनराशिः, अपितु GPT-4o, Claude-3.5, Llama-3 च शतप्रतिशतम् सम्यक् उत्तरं दातुं न शक्नुवन्ति।


एआइ मॉडल्-प्रशिक्षणं कृत्वा वयं स्वस्य बुद्धिमत्तायाः परं विशालक्षेत्राणां अन्वेषणं कुर्मः ।अस्मिन् क्रमे वयं अतीव विचित्रं क्षेत्रं आविष्कृतवन्तः - एकः बहिर्ग्रहः यः पृथिवी इव दृश्यते परन्तु विचित्रद्रोणीभिः परिपूर्णः अस्ति

एतत् अयुक्तं प्रतीयते, परन्तु प्रशिक्षणदत्तांशवितरणस्य उपयोगेन वयं व्याख्यातुं शक्नुमः:

AlphaProof तथा AlphaGeometry 2 औपचारिकप्रमाणेषु तथा डोमेन-विशिष्टेषु प्रतीकात्मकेषु इञ्जिनेषु प्रशिक्षितौ स्तः । किञ्चित्पर्यन्तं ते विशेष-ओलम्पियाड्-समस्यानां समाधानं कर्तुं श्रेष्ठाः सन्ति, यद्यपि ते सामान्य-उद्देश्य-एलएलएम-इत्यत्र निर्मिताः सन्ति । GPT-4o इत्यस्य प्रशिक्षणसमूहः GitHub कोडदत्तांशस्य बृहत् परिमाणेन सह मिश्रितः अस्ति, यः गणितीयदत्तांशस्य दूरं अतिक्रमितुं शक्नोति । सॉफ्टवेयरसंस्करणेषु "v9.11 > v9.9" इत्यनेन दत्तांशवितरणं गम्भीररूपेण विकृतं कर्तुं शक्यते । अतः अयं दोषः किञ्चित्पर्यन्तं बोधगम्यः ।

गूगल-विकासकानाम् प्रमुखः अवदत् यत् कठिनगणितीय-भौतिक-समस्यानां समाधानं कर्तुं शक्नुवन्ति ये आदर्शाः ते एजीआइ-इत्यस्य प्रमुखः मार्गः अस्ति, अद्य वयम् अस्मिन् मार्गे अपरं पदं स्वीकृतवन्तः |.


अन्ये नेटिजनाः अवदन् यत् अस्मिन् सप्ताहे अत्यधिकं सूचना अस्ति।


सन्दर्भाः : १.

https://deepmind.google/discover/blog/ai-रजत-पदक-स्तरस्य-इमो-समस्यानां-समाधानं-कृतम्/

https://x.com/DrJimFan/status/1816521330298356181