विज्ञान और खोज
मानव-AI टीम ने दशकों पुरानी अराजकता संबंधी गणितीय पहेली का प्रमाण पेश किया
चीन के गणितज्ञों ने घीस अनुमान के त्रि-आयामी मामले का कंप्यूटर से सत्यापित प्रमाण पेश किया है। यह समस्या पहली बार 1995 में रखी गई थी। टीम ने तर्क विकसित करने के लिए विशेषज्ञों के विवेक और एक AI मॉडल का संयुक्त इस्तेमाल किया।
यह अनुमान अराजकता और ज्यामिति को जोड़ता है। मोटे तौर पर इसका सवाल है कि क्या किसी खास तरह की अराजक गति के कारण वह गणितीय स्थान अनिवार्य रूप से अत्यंत नियमित संरचना वाला होता है, जिसमें यह गति घटित होती है। प्रस्तुत प्रमाण त्रि-आयामी मामले से संबंधित है; यह पूरे अनुमान को हल नहीं करता।
ग्रेट बे यूनिवर्सिटी के प्रोफेसर शू दिशेंग के नेतृत्व में शोधकर्ताओं ने शंघाई आर्टिफिशियल इंटेलिजेंस लेबोरेटरी के Shusheng-S2 मॉडल के साथ काम किया। तर्क-विचार के सात दौर में मॉडल ने कई रास्ते तलाशे और विस्तृत तर्क तैयार किए। शोधकर्ताओं ने संभावनाशील विचारों को पहचाना, निष्फल रास्तों को खारिज किया और अगले दौर की खोज को दिशा दी।
पेकिंग यूनिवर्सिटी की एक अलग टीम ने शोधपत्र के चार मुख्य प्रमेयों को कंप्यूटर से जांचे जा सकने वाले रूप में बदला। ये प्रमाण Lean की जांच में सफल रहे। यह प्रणाली गणितीय तर्क को चरण-दर-चरण जांचती है। विशेषज्ञों ने यह भी पुष्टि की कि औपचारिक कथन शोधपत्र में दिए कथनों से मेल खाते हैं।
शोध को arXiv पर प्रीप्रिंट के रूप में प्रकाशित किया गया है और सत्यापन कोड सार्वजनिक रूप से उपलब्ध है, ताकि दूसरे लोग भी इस काम की जांच कर सकें।