

Fan Nie
研究者
现任 斯坦福大学计算机科学博士生
最新记录时间线 · 10月13日斯坦福的验证器专挑 AI 数学证明里的错:需要人工复核的无效解少了约一半,11 篇 OpenAI 预印本里也都报出了真错误任职
时间线上提到
这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →


研究者
现任 斯坦福大学计算机科学博士生
最新记录时间线 · 10月13日斯坦福的验证器专挑 AI 数学证明里的错:需要人工复核的无效解少了约一半,11 篇 OpenAI 预印本里也都报出了真错误这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →