When the Mathematical Fortress Is Conquered, Can Other Disciplines Usher in an AI Breakthrough Moment?
Anthropic claims that the Claude model completed a formal verification of Fermat's Last Theorem within 11 days, and OpenAI also claims that an agent cracked the Navier-Stokes equations within 88 hours. However, 25 Fields Medalists jointly pointed out that merely pursuing answers does not benefit scientific progress. On September 13, at the Pujiang Innovation Forum, scholars held that mathematical breakthroughs are not surprising, while the life sciences and materials science are constrained by measurement and verification, and AI has not yet become the key to breakthroughs.
Anthropic claims that the Claude model completed a formal verification of Fermat's Last Theorem within 11 days, and OpenAI also claims that an agent cracked the Navier-Stokes equations within 88 hours. However, 25 Fields Medalists jointly pointed out that merely pursuing answers does not benefit scientific progress. On September 13, at the Pujiang Innovation Forum, scholars held that mathematical breakthroughs are not surprising, while the life sciences and materials science are constrained by m
Matched fieldsBody