动态

KoishiChan找到先前证明,结果移至wiki第二部分

KoishiChan找到先前证明,结果移至wiki第二部分
Acer
为了透明起见,KoishiChan现已定位到先前的证明。结果已移至wiki的第二部分。这仍然不是一个完全新颖的结果。
Neel Somani
我仅使用GPT 5.2 Pro解决了第二个Erdos问题(#281)——未发现先前解决方案。Terence Tao称之为“或许是AI解决开放问题最明确的实例”。
动态Acer2026-01-18原文

相关内容