7B级形式化推理与验证小模型,媲美满血版DeepSeek-R1,全面开源!
研究团队构成:香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学。团队核心成员:香港科技大学的研究…
研究团队构成:香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学。团队核心成员:香港科技大学的研究…
从来没见过人类做出这样的决策……太优美了。 又有谷歌大模型核心成员出来创业了。 3 月 8 日,两名前谷歌 D…
思维链引发的战争。 众所周知,微软是 OpenAI 的主要支持者,为其投入了巨资,而且在自家系统与服务中广泛部…
该文章的第一作者安照崇,目前在哥本哈根大学攻读博士学位,导师为 Serge Belongie。他硕士毕业于苏黎…
本文共同第一作者是杜克大学计算进化智能中心的博士生郭士霆、张健一,导师为陈怡然教授。 在通往 AGI 的道路上…
全球AI格局正在改变,中国AI应用集体崛起。3月7日,全球著名投资基金、咨询公司a16z发布最新一期的《202…
继 DeepSeek 之后,一款由国内开发的通用 AI Agent 产品也引发热议。 3月6日凌晨,来自中国的…
个人设备进入最强模型时代。 仅仅过了一天,阿里开源的新一代推理模型便能在个人设备上跑起来了! 昨天深夜,阿里重…
编辑 | 2049 想象一下,如果我们能像观察夜空中闪烁的星星一样,清晰地观察到原子在材料表面的「舞动」,这将…
编辑 | ScienceAI 丛枝菌根(AM)共生关系是自然界中最为广泛的共生伙伴关系之一。4.5 亿年来,菌…