本周五,OpenAI 可解释团队创建人 Nick Cammarata 的一篇超长文章震动了 AI 圈。 这是 AI 领域最重要的成果之一。 本周五,OpenAI 可解释团队创建人 Nick Cammarata 的一篇超长文章震动了 AI ...
在 AI 大规模写代码的公司里,写代码已经不是瓶颈了,卡脖子的是把代码合进去、再确认它没写错的那一段。巧的是前几天 Hacker News 上正热议一篇哈佛的研究,从另一个方向印证了同一件事,今天就放在一起聊聊。
比起此前的成果归属争议,《科学美国人》这次报道还揭示了一个更值得关注的现象:AI已经能完成连开发者自己都难以理解的数学证明。 亏贼!OpenAI的纳维-斯托克斯方程连续剧,居然又又又反转了。。。
在OpenAI选取的一组高难度对话测试中,低推理强度下,含有事实错误的回答占比,从GPT-6 Sol的11.4%降到了GPT-6.1 Sol的7.7%。
Anthropic 在文章最后说得挺坦诚。Scion 只适合那些代码库极其庞大的组织,或者有大批 AI agent 同时写代码的场景。对绝大多数公司来说,Git 还是好用的。 Anthropic 最近发了一篇博客,讲他们怎么把 Git 给换掉的。文章有点长,技术细节也不少,但读完之后有好几个点让我觉得特别值得聊一聊。 那篇官方博客文章表面上讲的是一个版本控制系统的替换,但我感觉背后藏着一个更大的问 ...
OpenAI动用了一个未公开的内部巨型模型,协调了约1万个AI智能体。它们耗时88个小时,就给出了 Navier-Stokes方程的有限时间奇点证明,并完成了Lean语言形式化验证。
因果关系具有非对称性,效果不能反推原因。一个系统能说话,并不能说明它具有意识;一个系统能推理,也不能说明它具有体验。行为可以由多种机制产生,而意识的因果机制可能只由特定结构实现。正因为如此,行为相似性在类比推断中具有极低的因果权重。
随着科技的发展,越来越多的小朋友从小就开始接触编程,“黑客”也在不断的“儿童化”。今天我们就一起来盘点一下全球知名的少年“天才”黑客TOP 10。 截至2026年8月底,我国风云体育fy登录入口市场规模已突破250亿人民币 ...
据Sac介绍,他用Opus 5.5,结合3D模型生成工具Tripo和3D制作软件Blender,把故事中的每颗星球变成了可以探索的3D场景。 他用了16天,把《小王子》做成了一款能玩的3D剧情游戏。 10月13日,开发者Sac在X上公布了自己的作品。
Anthropic 的前沿红队发布了一项新研究,探讨 AI 能否像计算机病毒一样,在不同设备之间自主复制、运行,甚至不断传播。 AI 可能快要学会一件有点可怕的事:自己复制自己。 就在昨天,Anthropic 的前沿红队发布了一项新研究,探讨 AI ...
书生-S2的基模能力已具备辅助科研团队攻关研究级数学问题的基本水平。同时也传递出一个信号:中国的大模型同样有能力站上前沿数学的赛场,助力世界级难题的攻关。” 刚刚,据上海人工智能实验室官方报道:困扰学界30余年的三维Ghys猜想,被破解了。 破题的是上海人工智能实验室的"书生"S2大模型,加上一支中国数学家团队。 这是中国科学家第一次用中国大模型攻克世界级数学难题。 领衔的是许地生,大湾区大学教 ...
随着科技的发展,越来越多的小朋友从小就开始接触编程,“黑客”也在不断的“儿童化”。今天我们就一起来盘点一下全球知名的少年“天才”黑客TOP 10。 截至2026年10月,围绕云体育app官方网站的公开信息出现一轮集中更新:站点入口、栏目结构与内容治理规则在近期同步调整,赛事数据与公告信息的呈现方式也随之变化。相关变动在体育资讯类应用的垂直社区与开发者讨论区中被反复提及,成为观察该类平台合规节奏的一 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results