📰
团子技术日报
中文看懂全球开发者趋势
首页
事件
存档
RSS
🔍
🇨🇳
🇬🇧
🇯🇵
🇰🇷
🇪🇸
🇫🇷
🇩🇪
#定理证明
1 篇文章 ·
全部标签
📡 相关事件
2026年7月21日
人类数学家正在被「反例超越」——AI+Lean 时代的数学实践转变
AI
数学
Lean
定理证明
站内搜索
×
×