中文 ▼
中文
English
自选
我的自选
查看全部
市值 价格 24h%
SVG Image
新闻
搜索相关最新新闻
社区
搜索相关最新动态
币种

大V推荐

更多

最近活跃

danrobinson

@danrobinson

直到有人找到更惨痛的教训

最新 最热

danrobinson

@danrobinson · 08-11 08:17

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

danrobinson
@danrobinson · 08-11 08:17
直到有人找到更惨痛的教训
0

danrobinson

@danrobinson · 08-09 07:17

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

danrobinson
@danrobinson · 08-09 07:17
我发现AI幻觉越来越不是问题，但AI抄袭仍然是个问题（又一个不让AI为你写作的理由）。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-09 07:16

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

danrobinson
@danrobinson · 08-09 07:16
我发现AI幻觉越来越不是问题，但AI抄袭仍然是个问题（又一个不让AI为你写作的理由）。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-07 05:15

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

danrobinson
@danrobinson · 08-07 05:15
似乎是一种氛围转变，现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
0

danrobinson

@danrobinson · 07-24 22:15

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

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

danrobinson

@danrobinson · 07-18 19:15

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

danrobinson
@danrobinson · 07-18 19:15
像Kimi这样的开放权重前沿模型的发布可能加速了算法研究，但削弱了投资大规模训练的理由。总的来说，你认为这些发布对前沿能力有什么影响？
0

danrobinson

@danrobinson · 07-10 15:15

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

danrobinson
@danrobinson · 07-10 15:15
当你的AI研究项目没有触发Fable的降级，你意识到自己并不在前沿时，那种沮丧的感觉。
0

danrobinson

@danrobinson · 07-09 14:15

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

danrobinson
@danrobinson · 07-09 14:15
5.6 Sol 被破解用于自动化研究工程

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

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

danrobinson

@danrobinson · 07-08 14:15

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

danrobinson
@danrobinson · 07-08 14:15
通常，将自己主要认定为AI“加速主义者”，往往是脱离前沿的一个好迹象。
0

danrobinson

@danrobinson · 07-07 13:15

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

danrobinson
@danrobinson · 07-07 13:15
人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
0

danrobinson

@danrobinson · 07-06 13:15

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

danrobinson
@danrobinson · 07-06 13:15
自动化研究将增加对形式验证的需求和供应。
0

danrobinson

@danrobinson · 07-06 13:15

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

danrobinson
@danrobinson · 07-06 13:15
自动化研究将增加对形式验证的需求和供应。
0

danrobinson

@danrobinson · 07-07 13:15

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

danrobinson
@danrobinson · 07-07 13:15
人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
0

danrobinson

@danrobinson · 07-08 14:15

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

danrobinson
@danrobinson · 07-08 14:15
通常，将自己主要认定为AI“加速主义者”，往往是脱离前沿的一个好迹象。
0

danrobinson

@danrobinson · 07-09 14:15

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

danrobinson
@danrobinson · 07-09 14:15
5.6 Sol 被破解用于自动化研究工程

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

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

danrobinson

@danrobinson · 07-10 15:15

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

danrobinson
@danrobinson · 07-10 15:15
当你的AI研究项目没有触发Fable的降级，你意识到自己并不在前沿时，那种沮丧的感觉。
0

danrobinson

@danrobinson · 07-18 19:15

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

danrobinson
@danrobinson · 07-18 19:15
像Kimi这样的开放权重前沿模型的发布可能加速了算法研究，但削弱了投资大规模训练的理由。总的来说，你认为这些发布对前沿能力有什么影响？
0

danrobinson

@danrobinson · 07-24 22:15

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

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

danrobinson

@danrobinson · 08-07 05:15

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

danrobinson
@danrobinson · 08-07 05:15
似乎是一种氛围转变，现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
0

danrobinson

@danrobinson · 08-09 07:16

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

danrobinson
@danrobinson · 08-09 07:16
我发现AI幻觉越来越不是问题，但AI抄袭仍然是个问题（又一个不让AI为你写作的理由）。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-09 07:17

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

danrobinson
@danrobinson · 08-09 07:17
我发现AI幻觉越来越不是问题，但AI抄袭仍然是个问题（又一个不让AI为你写作的理由）。这可能更普遍地是奖励黑客的一个实例。
0

danrobinson

@danrobinson · 08-11 08:17

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

danrobinson
@danrobinson · 08-11 08:17
直到有人找到更惨痛的教训
0
加载中……
已加载全部

今日快讯

热门话题

热门币种

大V推荐
加载中……
已加载全部
TOP

顶部