中文 ▼
自选
我的自选
查看全部
市值 价格 24h%

大V推荐

更多

最近活跃

danrobinson

@danrobinson

我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的

最新 最热

danrobinson

@danrobinson · 08-09 07:17

自动化研究将增加对形式验证的需求和供应。

我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-09 07:16

自动化研究将增加对形式验证的需求和供应。

我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-07 05:15

自动化研究将增加对形式验证的需求和供应。

似乎是一种氛围转变,现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
0

danrobinson

@danrobinson · 07-24 22:15

自动化研究将增加对形式验证的需求和供应。

对于对形式化验证和人工智能如何改变数学感兴趣的人,我强烈推荐@KSHartnett的《代码中的证明》,它讲述了Lean的历史。还有关于驱动开源技术决策的那些微小但重要的戏剧性事件,比如选择类型系统。
0

danrobinson

@danrobinson · 07-18 19:15

自动化研究将增加对形式验证的需求和供应。

像Kimi这样的开放权重前沿模型的发布可能加速了算法研究,但削弱了投资大规模训练的理由。总的来说,你认为这些发布对前沿能力有什么影响?
0

danrobinson

@danrobinson · 07-10 15:15

自动化研究将增加对形式验证的需求和供应。

当你的AI研究项目没有触发Fable的降级,你意识到自己并不在前沿时,那种沮丧的感觉。
0

danrobinson

@danrobinson · 07-09 14:15

自动化研究将增加对形式验证的需求和供应。

5.6 Sol 被破解用于自动化研究工程

我使用了超过1700小时(10周)的总Codex/goal时间在一个项目上(即将推出)

如果没有我们5.6 Sol的预览,我认为将会需要更多的人类努力
0

danrobinson

@danrobinson · 07-08 14:15

自动化研究将增加对形式验证的需求和供应。

通常,将自己主要认定为AI“加速主义者”,往往是脱离前沿的一个好迹象。
0

danrobinson

@danrobinson · 07-07 13:15

自动化研究将增加对形式验证的需求和供应。

人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
0

danrobinson

@danrobinson · 07-06 13:15

自动化研究将增加对形式验证的需求和供应。

自动化研究将增加对形式验证的需求和供应。
0

danrobinson

@danrobinson · 07-06 13:15

自动化研究将增加对形式验证的需求和供应。

自动化研究将增加对形式验证的需求和供应。
0

danrobinson

@danrobinson · 07-07 13:15

自动化研究将增加对形式验证的需求和供应。

人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
0

danrobinson

@danrobinson · 07-08 14:15

自动化研究将增加对形式验证的需求和供应。

通常,将自己主要认定为AI“加速主义者”,往往是脱离前沿的一个好迹象。
0

danrobinson

@danrobinson · 07-09 14:15

自动化研究将增加对形式验证的需求和供应。

5.6 Sol 被破解用于自动化研究工程

我使用了超过1700小时(10周)的总Codex/goal时间在一个项目上(即将推出)

如果没有我们5.6 Sol的预览,我认为将会需要更多的人类努力
0

danrobinson

@danrobinson · 07-10 15:15

自动化研究将增加对形式验证的需求和供应。

当你的AI研究项目没有触发Fable的降级,你意识到自己并不在前沿时,那种沮丧的感觉。
0

danrobinson

@danrobinson · 07-18 19:15

自动化研究将增加对形式验证的需求和供应。

像Kimi这样的开放权重前沿模型的发布可能加速了算法研究,但削弱了投资大规模训练的理由。总的来说,你认为这些发布对前沿能力有什么影响?
0

danrobinson

@danrobinson · 07-24 22:15

自动化研究将增加对形式验证的需求和供应。

对于对形式化验证和人工智能如何改变数学感兴趣的人,我强烈推荐@KSHartnett的《代码中的证明》,它讲述了Lean的历史。还有关于驱动开源技术决策的那些微小但重要的戏剧性事件,比如选择类型系统。
0

danrobinson

@danrobinson · 08-07 05:15

自动化研究将增加对形式验证的需求和供应。

似乎是一种氛围转变,现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
0

danrobinson

@danrobinson · 08-09 07:16

自动化研究将增加对形式验证的需求和供应。

我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-09 07:17

自动化研究将增加对形式验证的需求和供应。

我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
0
加载中……
已加载全部
大V推荐
加载中……
已加载全部
TOP

顶部