Unverified50% confidenceOpinionExact time
Terence Tao warned that continuing to blindly optimize for the single metric of problem-solving would harm the long-term health of mathematics.
1
Sources
50%
Confidence
Long-term
Relevance
10/11/2026
First Seen
Sources
Related Entities
Related Claims
Unverified引导过程若缺乏严格的数学保证，可能引入难以察觉的系统性误差70% similarUnverifiedUnconstrained use of compute may encourage low-efficiency brute-force trial-and-error research.70% similarUnverifiedWhen the numbers in classic math problems are slightly altered or the premises of logic puzzles are changed, the error rates of some models rise significantly.66% similarUnverified对于数学计算这类对精度要求极高的场景，浮点数溢出、数值不稳定等问题尤为致命65% similarUnverifiedA major pain point of large language models in mathematics is that they may generate proofs that appear rigorous but actually contain skipped steps or errors65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997045API
curl https://kongchang.com/api/v1/knowledge/claims/997045MCP
get_claim(id=997045)