模型
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
研究团队构成：香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学。 团队核心成员：香港科技大学的研究助理教授曹嘉伦，主要研究领域包括 AI&SE、人工智能测试、形式化验证等；中国科学院软件研究所副研究员陆垚杰，主要研究领域包括大语言模型及其应用。 随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。
3/8/2025 3:46:00 PM
机器之心
另一个来自中国本土"DeepSeek"时刻？全球首个通用人工智能代理发布
I 圈又炸了锅！ 另一个来自中国本土"DeepSeek"时刻今天，Manus AI 悄悄憋了一年的大招终于揭开了神秘面纱——通用AI Agent「Manus」正式发布早期预览版！ 这可不是市面上那些只能跟你聊天的“智能聊天机器人”的升级版，而是一个 真正意义上的自主智能体，它最大的亮点在于：打通了从想法到执行的完整链路！
3/7/2025 10:12:16 AM
AI寒武纪
离谱！OpenAI被曝博士级AI智能体2万美元/月，网友：DeepSeek快把价格打下去
什么样的AI，值得你花20000刀一个月？ OpenAI告诉你：用我们的博士级AI智能体吧，它保管值！ 今天这个消息，让所有人瞠目结舌：OpenAI的高管们计划发布三类智能体产品，价格分几档，最贵的一档月费高达2万美金。
3/6/2025 11:31:10 AM
新智元
OpenAI宣布GPT-4.5逐步面向所有ChatGPT Plus用户开放
OpenAI 宣布开始向 ChatGPT Plus 用户推出其最新、最大的人工智能模型 ——GPT-4.5。 根据公司的安排，ChatGPT Plus 的订阅者将在未来一到三天内逐步获得该模型的使用权限。 OpenAI 首席执行官山姆・阿尔特曼（Sam Altman）表示，由于容量限制，初期的用户访问将受到控制，以管理用户的期望。
3/6/2025 10:31:00 AM
AI在线
AI屠戮白领，大学文凭变「废纸」！美高中重开体力课，年薪40万不是梦
OpenAI首个NextGenAI联盟正式成立！ 联盟汇聚了15家领先研究机构，包括Caltech、MIT、哈佛等顶尖学府，创始阵容堪称豪华。 其中，研究资助、计算资金和API访问权限都将由OpenAI负责提供，全力支持学生、教育工作者和研究人员探索AI前沿应用。
3/6/2025 9:30:00 AM
新智元
一头大象难倒ChatGPT，Grok 3完美通关
ChatGPT新Bug引热议：无法画出“有0头大象的房间”。 要么会出现真实画风的大象，要么会出现玩具象，很多网友重复了很多次都是通用的结果。 假如后续追问“那图里右边灰色的东西是什么？
3/6/2025 9:10:00 AM
量子位
PyTorch灵魂人物出走，被Ilya奥特曼抢破头！放弃大厂offer，却选择了ChatGPT之母
PyTorch大牛Horace He突然官宣，加盟Thinking Machines。 「在Meta，离职时发布一张工牌照片是一种传统。 遗憾的是，我找不到我的正式工牌了，所以只能用临时工牌代替」毕业后，在Meta的PyTorch工作4年后，Horace He终于决定换一种职业，探索一些新的事物。
3/6/2025 9:00:00 AM
新智元
全球首次！2B复现DeepSeek-R1「啊哈时刻」，UCLA等用纯RL实现多模态推理
就在刚刚，我们在未经监督微调的2B模型上，见证了基于DeepSeek-R1-Zero方法的视觉推理「啊哈时刻」！ 这一成就，再次让AI社区轰动。 博客地址：：，能成功扩展到多模态推理领域吗？
3/6/2025 1:00:00 AM
新智元
为什么Qwen能自我改进推理，Llama却不行？斯坦福找到了原理
虽然 Qwen「天生」就会检查自己的答案并修正错误。 但找到原理之后，我们也能让 Llama 学会自我改进。 给到额外的计算资源和「思考」时间，为什么有的模型能好好利用，把性能提升一大截，而有的模型就不行？
3/5/2025 2:54:00 PM
机器之心
硅基流动:下线部分未备案模型，用户请注意迁移
近日，硅基流动在其更新公告中宣布，为了进一步优化资源配置，提供更先进、优质、合规的技术服务，将于2025年3月6日对部分模型进行下线处理。 此次下线的模型主要为未经审查的国外模型，特别是生图模型，仅保留KColor。 请用户注意，如果之前接入了公告中提及的模型，务必在3月6日前完成迁移。
3/5/2025 10:00:25 AM
AI在线
GPT-4.5崛起仅六小时便失宠，xAI Grok-3 逆袭夺冠
OpenAI 的 GPT-4.5模型在刚刚发布后的六小时内，成功登顶人工智能竞技场，并成为全任务分类的第一名。 然而，这一荣耀并未持续太久，马斯克的 xAI Grok-3模型迅速逆袭，反超成为总榜第一名。 根据投票数据显示，GPT-4.5与 Grok-3各自获得超过3000票，最终总分为1412对1411，仅差一分。
3/4/2025 2:24:00 PM
AI在线
智谱华章完成超10亿元融资 计划开源新一代大模型
近日，北京智谱华章科技有限公司宣布其最新一轮战略融资金额超过10亿元人民币。 这轮融资的参与方包括杭州城投产业基金和上城资本等，显示了市场对智谱的强大信心与支持。 作为国内最早开源大模型的 AI 公司之一，智谱的目标是在2025年成为其开源发展的关键年份。
3/3/2025 10:04:00 AM
AI在线
DeepSeek突袭公布成本利润率：545%
五连开源后，DeepSeek还有One More Thing！ 就在刚刚，DeepSeek官方亲自揭秘了DeepSeek-V3/R1推理系统。 重点包括，优化吞吐量和延迟的方法：跨节点EP驱动的批量扩展计算与通信重叠负载均衡还公布了DeepSeek的在线服务数据统计：每个H800节点每秒有73.7k/14.8k个输入/输出token成本利润率545%更多细节，一起来看官方原文↓更大的吞吐，更低的延迟DeepSeek-V3/R1推理系统的优化目标是：更大的吞吐，更低的延迟。
3/3/2025 8:21:00 AM
量子位
DeepSeek全面开源V3/R1推理系统！成本利润率高达545%
就在刚刚，当大家以为开源周已经结束的时候，真「Open AI」DeepSeek带来了压轴大戏——DeepSeek-V3/R1推理系统，全面揭秘！ 吞吐量和延迟优化：跨节点高效并行（EP）驱动的批处理扩展计算与通信并行处理智能负载均衡在线服务性能数据：每个H800节点每秒处理73,700/14,800输入/输出token成本利润率高达545�epSeek表示，希望本周分享的技术见解能为开源社区带来价值，共同推进通用人工智能的发展目标。 看到这里，网友都惊了！
3/3/2025 8:17:00 AM
新智元
5分钟顶人类8小时！OpenAI Deep Research订阅全推送，端到端强化微调是关键
Deep Research（深度研究）是继「Operator」之后，OpenAI推出的第二个智能体，利用模型的推理能力，综合分析浩瀚的互联网信息，从而完成复杂的研究任务。 月初，OpenAI首先向ChatGPT Pro用户开放了Deep Research功能。 最近，进一步开放给了更多等级的订阅用户。
3/3/2025 8:02:00 AM
新智元
GPT-4.5被DeepSeek 500倍吊打！基准测试全班垫底，OpenAI痛失护城河
自从OpenAI发布GPT-4.5之后，Ilya这张图又开始火了。 GPT-4.5令人失望的表现，再次印证了Ilya这句话的含金量：预训练已经达到极限，推理Scaling才是未来有希望的范式。 GPT-4.5在基准测试上并没有提升，推理没有增强，只是变成了一个更易于合作、更有创造性、幻觉更少的模型。
3/3/2025 8:00:00 AM
新智元
OpenAI自爆：GPT-4.5 并非前沿模型！奥特曼称OpenAI的GPU已用光，还透露了一个“转型”思路？
编辑 | 伊风"GPT-4.5 并非前沿模型，但它是OpenAI最大的 LLM，比 GPT-4 的计算效率提高了 10 倍以上"。 图片这句话就这么水灵灵地出现在GPT-4.5官方给的System Card（系统卡）中。 ，竟然等来一句“不是前沿模型”这么让人失望的话。
2/28/2025 1:01:06 PM
伊风
GPT-4.5发布：价格飙升30倍 能力提升引发热议
2025 年 2 月 27 日，OpenAI正式发布了其最新聊天模型GPT-4.5，这一消息迅速在Twitter（现为X平台）上引发了广泛讨论。 作为OpenAI迄今为止最强大的对话模型，GPT-4. 5 在性能上实现了显著突破，但其高昂的价格也让用户和开发者们议论纷纷。
2/28/2025 10:09:32 AM
AI在线
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
DeepSeek
AI绘画
谷歌
机器人
数据
大模型
Midjourney
开源
智能
用户
Meta
微软
GPT
学习
技术
图像
Gemini
马斯克
AI创作
智能体
英伟达
Anthropic
论文
代码
AI新词
训练
算法
Stable Diffusion
芯片
LLM
蛋白质
开发者
腾讯
Claude
苹果
生成式
AI for Science
Agent
神经网络
3D
机器学习
研究
xAI
生成
人形机器人
AI视频
计算
百度
Sora
GPU
AI设计
华为
工具
大语言模型
RAG
搜索
具身智能
字节跳动
大型语言模型
场景
深度学习
预测
视频生成
伟达
视觉
Transformer
AGI
架构
亚马逊
神器推荐
Copilot
DeepMind
特斯拉
应用