OpenAI发布722份数学手稿

OpenAI发布了由其内部模型生成的722份数学手稿。这些结果是通过一个指令和一个人工智能代理生成的，但一些数学家强调，在模型发布和结果可再现之前，无法确认这一说法。该集合包含372个相关结果的家庭，OpenAI表示已向模型提供了约4000个问题，并选择了有价值的结果。只有162个手稿在Lynn上被正式确认。麻省理工学院的安德鲁·萨瑟兰德表示，在模型发布之前，应该将这些说法视为未经确认。仅在Lynn上确认一个证明并不意味着该问题是正确的。普林斯顿高等研究院警告说，人工智能可能会生成难以理解的数学推理。一些研究人员认为这一事件是数学的一个转折点。OpenAI表示将来会发布更多该项目的结果，但所使用的模型和指令仍然不可用。