近日，Axiom 宣布已完成对整个 Stacks Project 的 Lean 形式化。Stacks Project 是现代代数几何领域的重要开源参考文献，系统整理了概形、层、上同调等核心理论，是当代数学研究的基础性资源。此次发布将这一长期积...

上周刚获得数学界最高荣誉菲尔兹奖的加拿大数学家Jacob Tsimerman，已从多伦多大学申请长期休假，转而加入OpenAI，专注于人工智能安全研究。这一动向不仅展现了基础科学前沿与AI产业的深度交融，也再次印证了AI安全...