关注最新报道、解读和相关科技故事。
OpenAI发布了数百个数学证明，但AGMAI小组的原则审查，以及剑桥大学和伦敦国王学院研究人员开展的一项研究，揭示了其在文档记录、人类理解，以及文本解释与Lean代码之间一致性方面的不足。