待验证50% 置信发布精确时间

陶哲轩参与创立SAIR基金会，推出开放数学模型计划，第一阶段面向日常研究需求，相关模型即将发布

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/11

首次发现

有效期至：2027/1/9

来源

陶哲轩提出"数学2.0"：当AI让证明变得泛滥

涉及实体

陶哲轩person SAIR基金会company 开放数学模型计划product

相关事实

待验证2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施66% 相似待验证FrontierMath是由陶哲轩等数学家参与设计的前沿数学题库64% 相似待验证陶哲轩此前多次公开尝试用大语言模型和形式化证明工具辅助数学研究63% 相似待验证陶哲轩在2021年参与的Lean数学库项目成功形式化验证了多个重要定理62% 相似待验证陶哲轩对OpenAI近期在数学推理方面的进展作出了回应62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/997051

API

curl https://kongchang.com/api/v1/knowledge/claims/997051

MCP

get_claim(id=997051)