快科技3月31日消息,近日,比利时布鲁塞尔自由大学(VUB)数据分析实验室发布重磅研究成果,证实商用大型语言模型已具备独立生成原创数学证明的能力。 OpenAI旗下ChatGPT-5.2(Thinki … 继续阅读 数学家惊了!ChatGPT首次原创独立证明数学假设
标签: 数学
中文大模型测评出炉:豆包跻身全球第一梯队 小米MiMo上榜
快科技3月30日消息,中文大模型基准测评SuperCLUE发布2026年3月最新结果,22款国内外主流模型参与角逐。 字节跳动旗下豆包(Doubao-Seed-2.0-pro-260215(high) … 继续阅读 中文大模型测评出炉:豆包跻身全球第一梯队 小米MiMo上榜
华为盘古大模型负责人王云鹤离职,被曝Agent创业
鱼羊 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚,华为盘古大模型负责人王云鹤,宣布离职。 王云鹤在北大攻读博士期间,就进入了华为诺亚方舟实验室实习,2018年博士毕业后,正式入职。 8年间, … 继续阅读 华为盘古大模型负责人王云鹤离职,被曝Agent创业
林俊旸阿里离职后发长文:复盘千问路线受阻,断言AI演进全面转向智能体
凤凰网科技讯 3月26日,前阿里千问技术负责人林俊旸离职后发表长文,明确指出AI大模型的发展路线正在经历重大跨越,核心竞争焦点正从“推理型思考(Reasoning Thinking)”全面转向“智能体 … 继续阅读 林俊旸阿里离职后发长文:复盘千问路线受阻,断言AI演进全面转向智能体
哈佛教授收了个AI研究生:干活猛得像学霸,撒谎精得像学渣
让AI搞科研,在这个智能体时代已经不是一件新鲜事。 从Sakana AI发布覆盖整个研究生命周期的自动化系统,到Google推出基于Gemini的AI联合科学家,规模化法则告诉人们,只要给AI提供足够 … 继续阅读 哈佛教授收了个AI研究生:干活猛得像学霸,撒谎精得像学渣
奇妙的数学手抄报内容 奇妙的数学手抄报内容参考
1、数学名人故事 (1)伽罗华生于离巴黎不远的一个小城镇,父亲是学校校长,还当过多年市长。家庭的影响使伽罗华一向勇往直前,无所畏惧。1823年,12岁的伽罗华离开双亲到巴黎求学,他不满足呆板的课堂灌输 … 继续阅读 奇妙的数学手抄报内容 奇妙的数学手抄报内容参考
为什么大厂必须抢郭达雅?
有这样一则消息在AI圈悄然流传:DeepSeek研究员郭达雅已经离职。 大家第一时间的反应普遍是“谁?谁是郭达雅?” 这不难理解,因为郭达雅的知名度远不如创始人梁文锋以及“天才AI少女”罗福莉。 但是 … 继续阅读 为什么大厂必须抢郭达雅?
阿里通义Qwen3.5-Max-Preview亮相国际大模型竞技场
IT之家 3 月 20 日消息,阿里千问大模型家族再迎新成员。今日,Qwen3.5-Max-Preview 作为千问 3.5 系列的旗舰模型预览版,在全球大模型竞技平台 LM Arena 正式亮相,并 … 继续阅读 阿里通义Qwen3.5-Max-Preview亮相国际大模型竞技场
林俊旸离职后,阿里Qwen3.5首次发新
作者|江宇 编辑|冰倩 智东西3月20日报道,今日,阿里千问最新旗舰模型预览版Qwen3.5-Max-Preview正式亮相,并登上全球大模型评测平台LMArena。在最新榜单中,该模型拿下1464分 … 继续阅读 林俊旸离职后,阿里Qwen3.5首次发新
杨植麟带队发论文,Kimi下一代模型架构曝光,推理之父惊呼:深度学习2.0要来了
智东西 作者|陈骏达 编辑|云鹏 “一切都需要被重新思考,深度学习2.0时代即将来临。”在读完下方这篇来自月之暗面的最新论文后,前OpenAI大牛、“推理模型之父”Jerry Tworek发出感叹。 … 继续阅读 杨植麟带队发论文,Kimi下一代模型架构曝光,推理之父惊呼:深度学习2.0要来了

