AIGC动态
AIGC,AGI,人工智能
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
大语言模型（LLM）在生成看似正确的结论时，往往缺乏严谨的推理过程，尤其是在数学证明领域。不等式问题因其结构简单、逻辑清晰，成为检验模型推理能力的理想...
刚刚，OpenAI通用智能体ChatGPT Agent正式登场
OpenAI最新发布的ChatGPT Agent标志着人工智能技术迈入新阶段。这一通用智能体能够自主规划并调用多种工具完成复杂任务，包括自动浏览日历、生成可编辑PPT、...
王坚对谈黄仁勋，都聊了啥？
在第三届中国国际供应链促进博览会论坛上，英伟达公司总裁兼首席执行官黄仁勋与阿里云创始人王坚进行了一场关于AI技术发展的深度对话。两人从AI基础技术的变...
复旦大学携手复旦微电子集团签署战略合作协议——聚焦科研成果转化，构建校企协同新机制 助推集成电路产业升级
2025年7月16日，复旦大学与复旦微电子集团在复旦大学江湾校区举办了“自主之芯 协同之道”高端论坛，并正式签署了战略合作协议。这一合作标志着双方在科研协同...
知合计算：打响高性能RISC-V突围战
全球芯片架构经历了三次关键转折：PC时代的x86垄断、移动时代的ARM崛起，以及当前AI与万物互联时代RISC-V的兴起。RISC-V凭借开源、精简、可扩展的特性，逐渐...
OpenAI深夜发布ChatGPT Agent：能主动思考、自选工具，智能体赛道大变天
OpenAI在技术直播中发布了重磅产品ChatGPT Agent，标志着人工智能系统能力的新高度。ChatGPT Agent具备自主思考和行动的能力，能够从其技能库中选择合适的工...
思维链之父跳槽Meta，不只因为1亿美元！离开OpenAI前泄天机
硅谷的AI人才争夺战愈演愈烈，Meta通过天价薪酬吸引顶尖人才，其中包括从OpenAI跳槽的华人AI科学家Jason Wei。Jason Wei在AI领域成就斐然，拥有多篇高引用论...
云计算一哥，刚刚重新定义了AI Agent的玩法
亚马逊云科技在纽约峰会上发布了Amazon Bedrock AgentCore，这是一个企业级的AI Agent搭建工具包，旨在重新定义AI Agent在生产环境中的部署方式。AgentCore通...
K2发布后，Kimi 研究员集体在X和知乎上搞起了“团建”
2025年7月11日深夜，月之暗面公司突然开源了其万亿参数模型Kimi K2，这一举动迅速在AI领域引发了广泛关注。K2模型在代码和Agent任务上表现出色，很快与Grok 4...
深谋科技独家发布真正为人类服务的新一代人形机器人核心技术「声波传感 · 意念控制 · 高精视觉 · 类脑智能」
深谋科技在2025世界人工智能大会（WAIC）上展示了其最新的人形机器人技术，旨在推动具身智能的变革。公司自研的全尺寸人形机器人“美猴王”尚未正式亮相，便已...
