1:50距午夜
ZH ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
新 已证实 科学与数学

Axiom发布整个Stacks Project的Lean形式化成果,约1600万行代码由AI智能体集群完成

这部约7500页的代数几何参考著作现已成为单一的机器验证库;外部数学家尚未审查其形式化陈述是否忠实于原文。

SNAPE REP RT
版次 2026-11-04T1811月04日 18:00 UTC奇点,每小时排序。
1:50距午夜
存档 · 最近30天版次
2026年10月29日周四12:00
2026年10月28日周三12:00
2026年10月27日周二12:00
2026年10月26日周一12:00
2026年10月25日周日12:00
2026年10月24日周六12:00
2026年10月23日周五12:00
2026年10月22日周四12:00
2026年10月21日周三12:00
2026年10月20日周二12:00
2026年10月19日周一12:00
2026年10月18日周日12:00
2026年10月17日周六12:00
2026年10月16日周五12:00
2026年10月15日周四12:00
2026年10月14日周三12:00
2026年10月13日周二12:00
2026年10月12日周一12:00
2026年10月11日周日12:00
2026年10月10日周六12:00
2026年10月09日周五12:00
2026年10月08日周四12:00
2026年10月07日周三12:00
2026年10月06日周二12:00
免费阅读。无需账户,无追踪。捐助