ओपनएआई का मशीन-जाँचा प्रमाण उसके छपे प्रमाण से मेल नहीं खाता।

तीन गणितज्ञों ने मंगलवार को ओपनएआई के घोषित नेवियर-स्टोक्स नतीजे पर एक शोधपत्र रखा। उनका कहना है कि मशीन ने जो Lean प्रमाण जाँचा, वह छपे प्रमाण से मेल नहीं खाता। वे यह भी कहते हैं कि Lean में सही अनुवाद ठहराव समस्या से भी कठिन है।

✓ सत्यापित · 2 स्रोत

संबंधित खबरें