According to MTS, OpenAI's AI model has proved half of the Yang-Mills problem, a million-dollar Millennium Prize problem, with approval from a review panel led by Nobel laureate David Gross. The proof was first disclosed on October 26, after the model completed the work in September. The formal proof was completed using Lean, a computer language that allows line-by-line verification.

To claim the prize, OpenAI must still prove the mass gap and meet the Clay Mathematics Institute's publication and two-year recognition period requirements.

View Source

Disclaimer: This content is for informational purposes only and does not constitute investment advice or encourage the buying or selling of crypto assets. It is intended to provide information about industry developments and is not directly related to the services offered by Gate TR. Although information obtained from third-party sources has been carefully reviewed, Gate TR assumes no responsibility for any errors or omissions. Crypto assets involve high risks and may experience significant price fluctuations. Before making any investment decisions, you should assess your financial situation and risk tolerance, conduct your own research, and make decisions independently.