Claude Opus 5.5 找到引理，Ordered Variable Word 定理的 Π¹₁-保守性被证明
数学证明里有个关键引理是 Claude Opus 5.5 找到的，还顺手解决了一个拖了很久的逆问题，逆向数学方向可以看看。
#RCA₀
共 2 条 · 7 天 0 条 · 30 天 1 条
信息流里打上「RCA₀」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月21日
8月10日
数学证明里有个关键引理是 Claude Opus 5.5 找到的，还顺手解决了一个拖了很久的逆问题，逆向数学方向可以看看。