“औपचारिक प्रमाण” टैग वाले लेख

OpenAI ने Cannon अनुमान सिद्ध किया: AI ने ज्यामितीय समूह सिद्धांत की लगभग 40 साल पुरानी समस्या सुलझाई, साथ में Lean मशीन-सत्यापन

OpenAI द्वारा 6 अक्टूबर को जारी गणित की पांडुलिपियों में से एक 31 पृष्ठ के शोधपत्र में Cannon अनुमान का पूर्ण प्रमाण होने का दावा किया गया है, साथ में Lean औपचारिक सत्यापन भी है।