Unverified50% confidenceFactExact time
The Peking University mathematics team is one of the earliest research teams in the world to lay out the AI for Math direction, has built a complete technical chain covering FATE, Matlas/LeanSearch, and Rethlas/Archon/Danus/Iteris, previously successfully conquered the Anderson conjecture, and recently independently completed the formal verification work of the Poincaré conjecture.
1
Sources
50%
Confidence
Long-term
Relevance
10/15/2026
First Seen
Sources
Related Entities
Related Claims
Unverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施64% similarUnverifiedIn the field of mathematics, a proof is the core crystallization of a researcher's intellectual labor.63% similarUnverified智谱GLM系列由清华技术团队打造，擅长中文理解和多轮对话63% similarUnverified剑桥大二本科生借助AI能独立破解数道经典埃尔多斯猜想62% similarUnverifiedTerence Tao responded to OpenAI's recent advances in mathematical reasoning.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1033834API
curl https://kongchang.com/api/v1/knowledge/claims/1033834MCP
get_claim(id=1033834)