OpenAI Releases Details of 722 AI-Solved Mathematical Results

MT Newswires Live17:06

Microsoft-backed (MSFT) OpenAI has publicly released 722 new mathematical results produced by one of its internal frontier models, the company said Tuesday.

The results were published in a GitHub repository, with protocols included for paper revisions and citations, the company said. OpenAI added that it is publishing formal versions of many proofs in Lean, a programming language that allows computers to check mathematical proofs.

The company is also publishing details about how it obtained the results, including 10 summaries of the model's reasoning, estimations of compute spent, and statistics about the number of attempted problems, the company said.

The company will also fund a series of workshops, conferences, and programs around the understanding of major results produced by AI, it said.

The company also said it is working toward responsibly releasing the model that generated the results.

Disclaimer: Investing carries risk. This is not financial advice. The above content should not be regarded as an offer, recommendation, or solicitation on acquiring or disposing of any financial products, any associated discussions, comments, or posts by author or other users should not be considered as such either. It is solely for general information purpose only, which does not consider your own investment objectives, financial situations or needs. TTM assumes no responsibility or warranty for the accuracy and completeness of the information, investors should do their own research and may seek professional advice before investing.

Comments

We need your insight to fill this gap
Leave a comment