无数据」共找到 3012 篇相关文章

推荐文章8

82岁退休的他,带出一系千亿级科技巨头

本文讲述了李国杰带领团队研发超算,创立中科曙光的历程。从“曙光一号”打破国外禁运,到中科曙光在芯片、智算等领域全面发展,虽遭美国制裁仍越打越强,李国杰82岁功成身退。

芯师爷
新闻资讯8

Hinton最新预言刷屏:谷歌必赢,而且「早该赢了」!

Google凭借Gemini 3、自研芯片、强大数据与研究团队,正在重新超越OpenAI。辛顿认为谷歌会赢,且早该赢了。Gemini 3 Pro在多方面表现出色,而ChatGPT增速放缓,OpenAI面临挑战。

新智元
新闻资讯7

AI也能换岗了!Anthropic教智能体交接班,不怕长任务断片

Anthropic设计出长时智能体运行框架,让AI跨越数小时任务渐进式推进。其采用双智能体架构,结合环境管理方法,提升全栈Web应用开发稳定性,但仍有通用与多智能体架构选择等开放问题。

新智元
新闻资讯8

清华姚班大神陈立杰,联手00后逆向破局!颠覆50年计算机难题

50年来,顶尖科学家死磕「旅行商问题」等计算机复杂性难题果。清华姚班陈立杰等人在《Reverse Mathematics Below the Turing Jump》论文中,采用「逆向数学」方法,发现许多理论底层逻辑等价,颠覆千年思维范式。

新智元
产品应用7

吴恩达手搓新项目:AI审稿人上线!只为终结学生“3年被拒稿6次”的痛苦

吴恩达开发新项目 Agentic Reviewer 代理审稿人,灵感源于学生3年论文被拒6次。此工具能加快研究人员迭代速度,在 ICLR 2025 评审数据测试中接近人类水平,适用于 arXiv 公开研究领域。

AI寒武纪
新闻资讯8

Nature公开谷歌IMO金牌模型技术细节!核心团队仅10人,一年给AI编出8000万道数学题训练

谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小,核心成员是IMO金牌得主。它把数学证明当游戏,用30亿参数模型和改进树搜索算法。训练难题靠自动形式化解决,赛场用TTRL突破,已开放使用。

量子位
产品应用8

机器人IRON被质疑是“真人秀”?小鹏一镜到底:七年打磨的行走答案

当IRON机器人被质疑“真人扮演”,小鹏一镜到底展示其内部结构。团队耗时七年打磨,实现轻盈稳定,其动作拟真度高模糊人机边界,是成功演示与公关案例。

搜狐看展
新闻资讯7

14000人一夜失业!被裁白领挤爆TikTok,含泪直播失业全程

亚马逊本周宣布裁1.4万员工,占白领4%。被裁员工在TikTok、LinkedIn等平台记录失业瞬间,社交媒体成“失业直播间”。AI早已融入工作流,此次裁员或与AI投入有关,传统白领体系正被重新编码。

新智元
算法论文8

NeurIPS25高分论文|以判别式监督学习强化推理LLM,解决难度偏差和熵崩塌难题

德州农工大学博士生李港在NeurIPS25高分论文中,分析GRPO优化目标,发现难度偏差局限及与判别式监督学习联系,提出DisCO框架强化大型推理模型,其优势显著,实验表现优于GRPO及其变体。

机器之心
开源动态7

Rust版本的DeepSeek-OCR来了,告别python原版的繁琐配置

网友用Rust重写DeepSeek - OCR推理栈,解决原版Python依赖复杂问题。此版本Python依赖,可离线运行,兼容OpenAI API,还支持苹果芯片Metal加速,介绍了技术实现、使用方法和场景。

AI工程化