新智元 (微信公众号)T2·Industry
78 pts
The Simons Foundation, together with OpenAI and Anthropic, has pledged $15 million in funding and compute to help mathematicians verify, understand and extend AI-generated mathematical results. The move follows OpenAI's release of 722 AI-written math manuscripts, three of which were retracted a day later over a single sign error, underscoring Terence Tao's point that mathematics is shifting from proof scarcity to proof abundance.