AI又要颠覆数学？陶哲轩紧急发声：停止造神！
AI又要颠覆数学？陶哲轩紧急发声：停止造神！当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
来自主题: AI资讯
6298 点击 2026-01-12 09:38
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
打官司这件事，尤其是涉及到土地征收和强拆的“民告官”，是一场漫长且消耗巨大的折磨。
GRPO 是促使 DeepSeek-R1 成功的基础技术之一。最近一两年，GRPO 及其变体因其高效性和简洁性，已成为业内广泛采用的强化学习算法。
2022年，Google Cloud 将π计算到100万亿位，在2025年，高性能计算界的知名评测机构 StorageReview只用了4个月的时间，花了不到一千美元电费就将π算到314万亿位，这可不是为了炫技，而是说明高性能计算也可以很节能。
全球榜单中唯一成功率超过50%的模型。今日，千寻智能正式开源自研VLA基础模型Spirit v1.5，就在前一天，该模型在全球具身智能模型评测平台RoboChallenge上，综合评测斩获第一。
《Nature Medicine》 的研究报道“A multimodal sleep foundation model for disease prediction”，研究人员开发了一种名为 SleepFM 的基础模型，从超过58万小时的记录中“学会”了睡眠的语言。这不仅是睡眠科学的进步，更是AI在生物医学领域的深层突围。
据Grand View Research报告，2024年全球AI医疗市场规模约为266.5亿美元（约合人民币1861亿元），预计到2033年将飙升至约5055.9亿美元（约合人民币3.5万亿元），年复合增长率达38.8%。
独家获悉，AI DataAgent公司 ChatExcel 近期已完成 Pre-A 轮与 A 轮两轮累计数千万元融资，投资方为考拉基金与合鼎共资本。在此之前，该公司曾获得上海常垒资本、武汉东湖天使基金的投资。
近日，海外版《外卖骑手困在系统里》在 Reddit 上发酵，获得了超过 8.7 万赞，直冲首页。这是一个符合大众对「万恶资本」的想象的故事，但也是一场 AI 生成的骗局。
个人开发者对高性能AI算力的需求，正在得到越来越多厂商的正面回应。在年度消费电子大展CES 2026上，桌面AI超算几乎成了所有PC厂商的必答题。连续两年亮相CES的阿里云无影云电脑，则给出云厂商对桌面AI超算的回答：一台面向个人消费者的AI超级计算机——无影AI云超算。