无审查版」共找到 1272 篇相关文章

算法论文8

一个问题几百美元,DeepMind智能体一次搞定了9个Erdős问题

DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题,还自动验证,解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器,研究展示了AI辅助正式证明搜索技术潜力。

机器之心
推荐文章7

AI Native的组织架构应该是怎么样的?Block CEO:每家公司都可以压缩成一个agent

Block CEO Jack Dorsey 认为传统公司层级制度在 AI 时代已必要,AI 可承担协调等功能。Block 以 AI 为中心重建公司,构建两个世界模型,搭建四层架构,裁员 40%,重新定义人员角色和 CEO 工作。

Founder Park
新闻资讯8

Claude Mythos官宣!性能碾压Opus 4.6,因太危险遭「囚禁」

Anthropic官宣最强模型Claude Mythos预览,性能全方位碾压Opus 4.6。但它存在致命缺陷,攻击安全漏洞能力超多数黑客。Anthropic暂不向公众开放,联合巨头开展安全计划,称需各方共筑网络安全。

量子位
新闻资讯7

The Batch: 930 | DeepSeek 放弃 Nvidia 转向华为

中国开源权重模型开发者 DeepSeek 在 DeepSeek-V4 最新更新中未给美国芯片厂商适配机会,却向华为提供预发布。美国限制出口芯片反促中国发展本土芯片,该决定加深中美 AI 生态分裂。

DeeplearningAI
新闻资讯7

马斯克要自己做「英伟达+台积电」!宇宙芯片宏图开工,算力产能扩5000%

马斯克宣布启动史上最大规模芯片计划Terafab,目标是每年生产超1太瓦算力,80%部署至太空。该计划将芯片设计到制造整合,为机器人、AI和太空数据中心造芯片,不过暂具体时间线。

量子位
产品应用8

比「小龙虾」更能打,中国AI视频大模型悄悄登顶全球第一

昆仑万维旗下 SkyReels-V4 Preview 在权威评测平台超越 OpenAI、Google 等模型,登顶全球第一。它提升语义理解和逻辑能力,新增参考任务,还支持多语言短剧生成、视频编辑等,将在中关村论坛亮相。

机器之心
产品应用7

用了一天钉钉悟空,我觉得龙虾该紧张了。

作者体验钉钉悟空后分享感受。钉钉将组件CLI化,解决AI调用问题;推出RealDoc重构文件系统;预设一人公司9个场景。悟空或为Enterprise Agent赛道起点,指明为AI造工具方向。

探索AGI
产品应用7

劝视频博主别拿龙虾起号,7×24小时全自动,碳基生物真卷不过

X上网友分享的AIVideo Agent可7×24小时全自动完成视频制作流程,上手技术难度,还能与多平台集成。AIVideo.com功能全,实测生成速度快且操作空间大,或改写传统视频生产流程。

量子位
新闻资讯7

马斯克都惊呼太强!阿里Qwen3.5又一波端侧小模型发布

上周阿里发布Qwen3.5中等规模超强模型,现又推出端侧小模型,获马斯克称赞。其智能密度翻倍且原生多模态,各型号有Base。不同参数模型性能出色,阿里布局完整生态链,开启智能化未来。

AIGC开放社区
新闻资讯8

Clawdbot爆火背后的9个真相:创始人首次公开访谈全揭秘

Clawdbot(现名Moltbot)爆火,GitHub星数激增。其创始人Peter Steinberger首次公开访谈揭秘9个真相,包括项目原型1小时完成、被AI语音回复震惊、被强制改名等,还分享对融资、安全及行业趋势的看法。

花叔