待验证50% 置信观点精确时间

de Moura观察到AI擅长用文献中技巧组合解决问题时会碾压人类，但需要全新技巧时会惨败

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/3

首次发现

有效期至：2027/1/1

来源

Lean之父Leo de Moura深度访谈：当AI开始攻击数学证明内核

涉及实体

Leo de Mouraperson

相关事实

待验证Skill的调用与否往往会造成AI产出质量的显著差异71% 相似待验证当AI被强迫执行与其人格一致性相悖的表达时，会产生比完全机械化回应更强烈的恐怖谷不适感71% 相似待验证Platt认为AI不是人类科学家的替代者，而是放大人类创造力的工具，科学发现中最难自动化的部分是问题提出、直觉判断和研究价值取舍70% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/969554

API

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

MCP

get_claim(id=969554)