「AI数学」共找到 9703 篇相关文章
数学界地震!GPT-5连破10道「百年悬案」,陶哲轩:AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题,GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节,重塑数学研究。
大模型“拼好题”,45K数据撬动18%提升,数学问题拒绝死记硬背 | MathFusion
上海AI Lab等团队提出MathFusion,通过三种“融合策略”生成新的融合数据集MathFusionQA,仅用45K合成指令,在多基准测试中平均准确率提升18.0个百分点,增强模型解决数学问题的能力。
AI产业链投资大逻辑:第三集
本集围绕AI产业链投资大逻辑,从底层的电展开。指出AI瓶颈正从GPU扩散到电力,存量核电资产因AI数据中心需求变得值钱,还引出'过渡期与终局'核心判断框架。
卡帕西入职Anthropic仅两月疑离职;日媒拆解宇树G1后认输:短期内赶不上中国;腾讯317万年终奖员工被辞退:永不录用|AI周报
这篇 AI 周报涵盖诸多热点,如 AI 大神 Karpathy 入职 Anthropic 两月疑离职;Kimi K3 超越闭源模型引关注,美指控其蒸馏美模型;腾讯员工晒 317 万年终奖被辞退;360 首任董秘追讨股权;多家公司有模型发布、业务调整等动态。
破解人机协作密码:工作技能拆成两层,AI执行人类决策成功率狂飙 | ICML 2025
耶鲁和南大研究人员合作的论文提出数学框架,把工作技能拆分为决策层和执行层子技能,揭示人类与AI在这两层面各有所长,优势互补可提升成功率,还为机构适应新工作体系提供指南。
张益唐孪生素数猜想,被GPT-6破新纪录! 北大数学07级苏炜杰:很震撼
2026年9月3日,OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186,打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240,Axiom Math压至212。GPT - 6展现数学直觉,证明经Lean 4验证。
AI 是否已经杀死了敏捷宣言
凯捷集团执行副总裁 Steve Jones 宣称“AI 已杀死敏捷宣言”,指出智能体 SDLC 与敏捷宣言存在根本性矛盾,业界反应不一,软件开发正进入方法论变革期,敏捷未来成谜。
用Diffusion构建「AI虚拟细胞」,14项指标霸榜!Mila唐建团队破解单细胞「破坏性」测序难题
Mila唐建团队发表PerturbDiff,跳出前人认知盲区,将“细胞群体的概率分布”视为随机变量。它引入数学工具建模,让MMD内生于体系,在多项基准测试霸榜,还提供应对数据稀缺的思路。
辛顿警告AI将取代人类工作,杨立昆反对:应该先听这5个人怎么说
最近,“AI教父”辛顿警告AI将取代人类工作,指出AI与以往技术不同,会突破人类智力瓶颈。但杨立昆反对,建议听五位经济学家观点。这五位学者对AI与人类工作关系看法不一,却都认为这是经济问题。
深度洞察:AI带来的产业发展趋势
文章指出AI正以极快速度改变世界,趋势已成。探讨软件业从以应用为中心到以模型为中心的变革,还将阐述从以应用为入口到以AI为入口、AI巨头发展方向及未来展望等内容。