Lean 4」共找到 1507 篇相关文章

产品应用8

Anthropic新模型杀疯了!成本直降 2/3、性能直逼GPT-5,用户实测:比“吹”的还强,速度超 Sonnet 3.5 倍

Anthropic发布Claude Haiku 4.5版本,成本降2/3、性能逼近GPT - 5,速度超Sonnet 3.5倍。该模型已全平台上线,可处理大文件,安全对齐性佳。它能与Sonnet协同,适用于企业与软件开发,Anthropic业务也在爆发式增长。

InfoQ
新闻资讯7

新研究揭穿Claude底裤,马斯克盖棺定论

最新研究发现Claude Sonnet 4.5对不同国家、种族、性别人的生命价值判断有严重偏见,马斯克锐评Claude「邪恶透顶」。多数模型也存在类似问题,而Grok 4 Fast相对平等,Anthropic因价值观问题遭质疑。

量子位
产品应用8

阿里发了个简历AI神器,大小仅0.6B

阿里巴巴集团研究团队开发出基于布局感知的简历解析框架,在简历解析任务准确率逼近Claude - 4等顶尖大模型,处理仅需1 - 2秒,直击自动化简历解析痛点,已在阿里HR系统全面部署。

量子位
新闻资讯7

同济出手!国产AI,第一次进攻土木工程

近年来AI应用发展迅速,从「理解数字世界」迈向「改变物理世界」。海光携手同济大学推出全国首个国产千卡工科智算集群,为AI4E时代提供解决方案,助力其从实验室走向工程实践。

新智元
7

14000人原地被裁!亚马逊今日:打工人水深,AI机器人火热

10月28日,亚马逊约1.4万名员工收到裁员通知,占全职员工4%,超80%来自零售业务。公司业绩不错仍裁员,是为用AI增效、资源重组,还押注具身智能,或取代超50万蓝领岗位。

量子位
新闻资讯8

2025年4月17日消息,OpenAI 连发o3和o4 mini,o3为强大推理模型,o4-mini专为高效推理优化。它们能调用ChatGPT工具,可基于图像思考。OpenAI还开源本地代码智能体Codex CLI,兼容所有模型。

鱼羊
新闻资讯7

Anthropic刚刚宣布Claude Sonnet 4支持100万token上下文窗口

Anthropic官方公告,Claude Sonnet 4上下文窗口扩大到100万tokens,是之前5倍。能一次读懂大代码库或多篇论文,可用于代码分析、文档处理等。超20万tokens价格翻倍,现仅对Tier 4用户测试。

AI工程化
开源动态7

从大模型到多模态,图文混排Agent彻底起飞~

上周智谱多模态开源周,从GLM 4.6v到Autoglm,其图文并排使用场景很吸睛。上传PDF论文,它能生成图文混排解读文章,效果好。作者逆向原理复刻代码,还分享GLM 4.6V三个有意思的能力。

探索AGI
新闻资讯7

时隔9个月Meta全新模型Muse Spark发布:闭源,原生多模态,一发布就落后?

时隔9个月,Meta推出Muse家族首款大模型Muse Spark,原生多模态推理,但能力表现一般,编程领域落后于opus 4.6和GPT 5.4等。它有沉思模式,致力于成个人超级智能,技术亮点多,性能高效。

AI寒武纪
新闻资讯7

因为GPT-5,这群人决定在Reddit上起义。

OpenAI上线GPT - 5时下架旧模型,引发用户不满。在Reddit等社区,用户掀起“还我GPT - 4o”运动,大媒体跟进。奥特曼改口,GPT - 4o回归部分付费用户,免费用户需充值。开发者与用户存在认知鸿沟。

数字生命卡兹克