Science में DeepMind का AlphaProof Nexus एजेंट पर पेपर छपता है: उसने ख़ुद एर्डोश की 353 खुली समस्याओं में से 9 हल कीं और पूर्णांक अनुक्रमों के ऑनलाइन विश्वकोश OEIS के 492 अनुमानों में से 44 सिद्ध किए, हर प्रमाण Lean में जाँचा गया; उसी अंक में गणितज्ञ जेरेमी एविगाड और मैथ्यू बैलार्ड की टिप्पणी है — “गणितीय शोध के लिए AI आ चुका है”
AI द्वारा अनुवादित, संपादकों द्वारा जाँचा गया
· विज्ञान
- तकनीक
- गणित में AI
- स्रोत
- doi.org ↗
¶ ckdzaxmkz