OpenAI publică sute de rezultate matematice generate de un model AI încă nelansat public

OpenAI has released a significant set of mathematical results generated by an unreleased AI model, comprising 722 manuscripts across various mathematical fields. The results, available on GitHub, include formal proofs in Lean, although not all manuscripts are fully formalized. OpenAI warns that some unformalized results may contain errors and plans to continue refining them. The company collaborated with an independent advisory group to ensure transparency, emphasizing that the results require further analysis by the mathematical community. OpenAI aims to support mathematical research through workshops and conferences, following the recent demonstration of a solution to a Millennium Prize problem.