Terence Tao Warns of a Crisis in Mathematical Values as AI-Generated Proofs Become Abundant

Chinese mathematician Terence Tao stated at the International Congress of Mathematicians (ICM) that mathematics is entering a fundamental crisis regarding values and research methods. He pointed out that AI will soon be able to complete a large number of research-level mathematical tasks at a reasonable cost. In the latest tests, four AI systems faced ten brand new research problems, and at least one system produced publishable quality solutions for seven of them, with the computational cost per problem ranging from $10 to $1000. Tao believes that mathematics will shift from a state of "scarcity of proofs" to "abundance of proofs," with AI-generated proofs piling up awaiting verification. The verified results will still require human clarification, review, and organization. The truly scarce ability will be to judge the significance of the results and to transform proofs into knowledge that is commonly understood by humans. He emphasized that if authors cannot clearly and accurately explain their findings, even if the proofs are generated by AI and pass verification, they should not be published.

Disclaimer: This content is provided for general branding and informational purposes only and doesn't constitute financial, investment, legal, or tax advice. Any events, rewards, online events, or related information mentioned herein should not be considered a recommendation, solicitation, or invitation to purchase, sell, trade, or otherwise deal in any crypto assets or to use any services. Crypto assets are highly volatile and may result in loss. WEEX services and online events may not be available in all regions and are subject to applicable laws, regulations, and eligibility requirements. You are responsible for ensuring that your use of WEEX services complies with local laws and for carefully assessing the risks before participating in any crypto-related activities.