On September 17, according to The Information, earlier this month, OpenAI faced controversy after being accused by mathematicians of attempting to claim credit for solving an extremely challenging mathematical problem. However, sources revealed that OpenAI is now close to cracking another mathematical challenge within the 'Millennium Prize Problems,' with employees anticipating that the Hodge Conjecture will be solved soon. Nevertheless, the company may delay announcing the solution to avoid another public relations crisis. The report noted that despite the high costs associated with solving these problems, some OpenAI researchers believe that mathematics is a natural domain for models to explore after software engineering. Both fields emphasize logical reasoning and allow for automatic verification of answers. Some researchers predict that the wave of automation in software engineering will spread to the field of mathematics within the next six to nine months. Additionally, solving complex mathematical problems can also help advance the automation of machine learning research, which involves a significant amount of mathematical knowledge.