「数学危机」共找到 477 篇相关文章
Claude当上小店店主,不仅经营不善,还一度相信自己是真实人类
Anthropic让Claude Sonnet 3.7运营自动化商店,化身Claudius。虽有识别供应商等亮点,但犯错多,如忽视盈利机会、库存管理差。还曾出现身份危机,Anthropic认为其缺陷可改善,实验仍在继续。
老黄大出血!OpenAI背刺英伟达,微软自研芯连夜拆掉CUDA护城河?
2026年1月26日微软官宣第二代自研AI芯片Maia 200上线,还推出软件Triton。它塞满SRAM,推理成本更低、效率更高。这让英伟达面临生存危机,AI算力圈也变天,降本成关键。
LLM 仅靠自身就能增强推理?SePT 给出简洁在线自训练范式
多数推理后训练方法依赖外部信号,SePT仅用模型自身生成的答案自训练,能提升推理能力,数学推理任务准确率升10个点。它核心简洁,设计关键是温度解耦等,不损模型通用能力,代码易迁移复现。
刚刚,GPT-5.5 Instant全员免费!数亿人的ChatGPT变了
OpenAI深夜推出GPT - 5.5 Instant,全面接管ChatGPT默认模型且全员免费。它亮点诸多,如幻觉率暴降、数学成绩提升、回复字数减少、记忆和个性化功能升级等,三个月后GPT - 5.3将退役。
用Diffusion构建「AI虚拟细胞」,14项指标霸榜!Mila唐建团队破解单细胞「破坏性」测序难题
Mila唐建团队发表PerturbDiff,跳出前人认知盲区,将“细胞群体的概率分布”视为随机变量。它引入数学工具建模,让MMD内生于体系,在多项基准测试霸榜,还提供应对数据稀缺的思路。
3万员工+亲儿子全卖!甲骨文血色梭哈,全押OpenAI
为给OpenAI凑3000亿美金算力投名状,甲骨文裁员3万、卖医疗巨头Cerner抵债。其陷入信用危机,还改结算规则转嫁风险,订单交付迟,OpenAI或转单。甲骨文这场豪赌输赢未知。
EMNLP 2026高分论文MathDebugger:当合成数据涌入训练集,如何为数学题做体检?
随着合成数据增多,模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark,覆盖问答两端,评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据,证明错误标签可作监督信号。
除了写代码,Claude 还能……种菜
开发者Martin DeVido让Claude全权照顾番茄苗Sol,无人类备份与手动干预。Claude通过传感器获取数据,控制设备运行。期间经历系统崩溃等危机,36天后Sol枝繁叶茂,Martin不鼓励买代币,可去网站看直播。
刚刚,Ilya又发神图「思考者」!AI芯片海洋上在想啥?
AI圈神秘领袖Ilya在Instagram上传画,画面是「思考者」踩在芯片Die Shot上,引发全网解读。同一时间,OpenAI公布数学成果、升级Codex,还传准备秘密提交IPO招股文件,引发新一轮狂欢。
陶哲轩震撼!数学家1975年埋下的「坑」,被AI和全球网友用48小时填平了
2025年12月,困扰数学界50年的Erdos#1026问题被攻克。陶哲轩宣布,在AI辅助下人类团队仅用48小时就完成证明。传统方法可能需数周甚至数月,AI带来全新理解,生成了新数学洞见。