OpenAI публикува 722 разработки по 372 математически задачи и предизвика "апокалипсис"
OpenAI публикува 722 математически разработки по 372 открити задачи, създадени от вътрешен експериментален модел, обхващащи области като геометрия, алгебра, математическа логика и теоретична информатика. Материалите, качени в GitHub на 6 октомври, включват формализации на доказателства на езика Lean, но значителна част от резултатите още не е независимо потвърдена. Три ръкописа вече са оттеглени заради грешка със знак, а математици спорят дали мащабът на публикацията помага или затруднява проверката.
Източник: