「AI 数学发现」共找到 10197 篇相关文章
推理正确率下降65.5%！斯坦福、MIT等用「不等式」拷问AI逻辑极限
大语言模型在数学证明常现推理漏洞，斯坦福等高校团队提出IneqMath基准评估其严谨性。用不等式证明题切入，拆解为子任务，构建评测体系，用LLM - as - Judge审查。结果显示模型推理正确率低，存在结构性缺陷。
Jack Clark: 美国 AI 政策的隐形推手，时代的良心还是囚徒？
本文深入剖析Jack Clark，他关注中国AI进展，认可其成就，但对中国态度强硬。身为美国AI政策“民间沙皇”，他为美国遏制中国AI发展设计五层战略，文章探讨其进入AI核心圈原因、政策理念及背后悖论。
2个人不到1年做到月入百万，这个AI网文创业故事太疯狂了！
本文讲述猛哥的AI网文创业故事，他和合伙人不到一年实现月入百万。介绍其从0到1的过程，包括选赛道、精简创业、社群运营、构建提示词生态等，还分析了增长和盈利模式及难以复制的原因。
Isomorphic Labs：DeepMind 创始人再创业，打造制药界的 TSMC
Isomorphic Labs 由 Alphabet 拆分 DeepMind 生命科学团队而来，用深度学习加速药物设计。借 AlphaFold 3 将药物发现转向 AI 驱动，与药企合作获数据和收入，有望成药物研发‘AI Foundry’，但也面临挑战。
77万人围观的吉卜力风「游戏」视频，我们用3个国产AI整出来了（含提示词）
Reddit上吉卜力风格游戏视频爆火，a16z合伙人Justine Moore转发获超77万浏览量。文章介绍用国产AI复刻视频的流程，包括用即梦3.0文生图，对比即梦3.0 Pro、可灵2.1大师版、Hailuo 02视频生成效果，还探讨AI对游戏产业的影响。
Claude 4 要来了！
AI专家在Anthropic前端配置发现Claude 4痕迹，其或有查看AI思考过程功能。当下OpenAI、Google、xAI等对手来势汹汹，Claude 4压力大，但可在可解释性等方面破局，预计5月22日公布。
用AI重新审视人类发明史：我们的技术本该比现在更先进吗？
美国研究员 Brian Potter 用 AI 分析 1800 年到 1970 年代 190 项重大发明，判断最早何时能造。结果显示多数发明没迟到太久，1900 年后发明间隔缩短，75%约束是技术性的。
英伟达员工晒年终奖，黄仁勋霸气签皮衣；Moltbook爆火：当AI有了自己的社交网络；又一“95后”清华天才科学家庞天宇加盟腾讯混元 | Q资讯
本文汇总 AI 行业热点，有 Moltbook 成 AI 社交平台且爆火；OpenAI 两款产品用户流失；亚马逊、Meta 裁员；英伟达年终奖、合作协议情况；阿里发布千问新模型；还有大厂春节发红包竞争，DeepSeek 布局新领域等消息。
两个月连获两轮数亿元融资，深度机智以全栈自主路线加速国产物理AI基座模型落地｜甲子光年
物理AI是全球科技竞争焦点，深度机智率先定义‘人类学习’技术路线，成立一年全链路落地。近日完成数亿元融资，下轮融资收尾。其数据、模型、硬件成果显著，产品全落地，订单数千万元，团队强大，将推动国产物理AI普及。
《中国金融机构人才发展与培训白皮书（2026）》发布！助力金融机构打造“人 + 智能体”协同的超级员工梯队 | 极客时间企业版
在AI时代，金融人才培养正经历深刻变革。《中国金融机构人才发展与培训白皮书（2026）》应运而生，揭示了AI重塑金融人才培养的关键发现，极客邦科技和极客时间企业版也给出了相应方案。