跳到正文
事件追踪已归档

模型合成数学方法引热议

首次报道 最新进展 1 篇报道,1 个来源

事件综述根据 1 篇报道整理,10月24日更新

X 用户 dex (@dexhorthy) 就一项模型合成数学方法的技术演示发表评论,称该技术此前已被演示过,相关能力很可能已存在于模型权重中。 dex 引用李飞飞(@drfeifei)的说法称,模型在综合数学与定理证明等不同、不相关方法方面表现出色,但她仍怀疑模型能否很快发明出真正全新的数学,这与相关团队所暗示的起飞前景不同。 上述说法均为评论者个人判断,报道未给出该技术演示的具体细节或验证结果。

综述由模型根据报道生成,细节以各篇原文为准。

进展时间线

北京时间,最早在上
  1. dex模型合成数学方法引热议

    阅读这篇报道

全部报道

1 篇,点开看摘要
模型合成数学方法引热议dex未入选

我同意这确实酷毙了,可能还有点吓人,但我也觉得值得指出,这项技术此前已被演示过,所以很可能已经存在于权重之中。这让我想起@drfeifei说过的话:模型在综合不同的、不相关的方法方面(这里是数学和定理证明)令人难以置信,但她仍然怀疑我们是否会像团队起飞所暗示的那样,很快看到模型发明出真正全新的数学。

阅读这篇报道