KK.aWSB
@KKaWSB
Co Founder @ CarbonSilicon AI | AI Quant Trading in Palo Alto | 量化交易｜加密投研 | 美股 | 科技 | 政治经济学 |
가입 November 2020
3.3K 팔로잉 중 89.3K 팬
OpenAI 今天一次性公开了 722 篇 AI 写的数学论文。
令人震撼但并不意外的结论是：AI 正从帮科学家做研究，走向自己生产新的数学知识。
来自一个尚未发布、比现有数学评测更强的内部模型：挑战约 4000 个真实研究问题，最终整理出 372 组成果，部分证明甚至已经用 Lean 让计算机逐步验过。
考试题已经难不住 AI，它开始直接做“人类还没解决的题”了。
더 보기
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
더 보기
