OpenAI రూపొందించిన AI మోడల్ గణిత శాస్త్రంలో కీలక పురోగతిని సాధించింది. హై-డైమెన్షనల్ జామెట్రీ, గ్రూప్ థియరీ మరియు కోడింగ్ థియరీ వంటి రంగాల్లో దశాబ్దాలుగా పరిష్కారం దొరకని 10 సమస్యలపై ఈ మోడల్ కొత్త ఫలితాలను అందించింది. ముఖ్యంగా హై-డైమెన్షనల్ స్పియర్ ప్యాకింగ్లో కొత్త అప్పర్ బౌండ్లను, బైనరీ కోడ్లలో మెరుగైన బౌండ్లను ఈ AI మోడల్ గుర్తించింది.
ఈ పరిశోధనలో భాగంగా కాన్నెస్ రిజిడిటీ కంజెక్చర్ (Connes's rigidity conjecture)ను ఈ మోడల్ తప్పు అని నిరూపించింది. అంతేకాకుండా, నాన్-సోఫిక్ గ్రూపుల ఉనికిని కూడా ఇది ధృవీకరించింది. ఈ ఫలితాలను సాధించే క్రమంలో AI మోడల్ మానవ పరిశోధకులతో కలిసి పనిచేసింది. AI అందించిన గణిత వాదనలను మానవ శాస్త్రవేత్తలు పరిశోధనా పత్రాలుగా (manuscripts) సిద్ధం చేశారు.
ఈ పరిష్కారాలకు సంబంధించిన వివరణలను OpenAI ప్రజలకు అందుబాటులోకి తెస్తోంది. అంతేకాకుండా, ఈ గణిత వాదనలను లీన్ (Lean) సర్టిఫికేట్లుగా కూడా కంపెనీ అధికారికంగా మార్చింది. శాస్త్రవేత్తలు, గణిత శాస్త్రజ్ఞుల పరిశోధనలను వేగవంతం చేయడమే తమ లక్ష్యమని OpenAI పేర్కొంది.
గణిత పరిశోధనల్లో AI వినియోగంపై రచయిత్రి, గుర్తింపు మరియు మానవ పరిశోధకుల పాత్రపై చర్చలు మొదలయ్యాయి. ఫలితాలు ఎలా తయారయ్యాయో దానికి అనుగుణంగానే గుర్తింపు ఉండాలని OpenAI స్పష్టం చేస్తోంది.
