Unverified50% confidenceFactExact time
The Xena project was initiated by Kevin Buzzard, a mathematics professor at Imperial College London, with the goal of formalizing undergraduate and research-level mathematics into the Lean proof assistant.
1
Sources
50%
Confidence
Long-term
Relevance
9/6/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedMAT157（Analysis I）是多伦多大学的专业数学序列课程，训练严谨分析能力和数学成熟度55% similarUnverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施53% similarUnverified专业数学序列课程的价值在于训练数学成熟度（mathematical maturity），即做严格证明和抽象思考的元认知能力53% similarUnverifiedAndrew Ng 最初的机器学习课程以 Octave/MATLAB 为教学工具52% similarUnverified剑桥大二本科生借助AI能独立破解数道经典埃尔多斯猜想51% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/865931API
curl https://kongchang.com/api/v1/knowledge/claims/865931MCP
get_claim(id=865931)