「AI数学研究」共找到 10574 篇相关文章
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？
数学大神陶哲轩发现，AI声称破解的Erdos难题，实则是多年前已被人类解决的旧闻。他指出当下AI进化逻辑并非创新，而是利用算力扫描人类文献的‘长尾黑洞’，其核心价值是填补人类知识遗忘漏洞。
陶哲轩敲警钟！谷歌DeepMind联手五大神殿，用AI向世纪难题宣战
谷歌DeepMind发起「AI赋能数学计划」，集结五大顶尖机构，用最强数学AI探索数学难题。陶哲轩警示要警惕AI滥用风险，还提出论文使用AI的三大建议，如声明使用、讨论风险及明确责任。
Gemini再揽金牌，力压大学学霸，AI数学推理时代来了！
苏黎世联邦理工学院博士生在大学生国际数学竞赛（IMC）测试了Gemini三种模式，其表现远高于金牌门槛，远超普通大学生。研究人员还从模型输出提取见解，展现了Gemini在数学推理上的优势，凸显AI数学推理能力日益强大。
Nature发表、Science点赞！清华揭秘AI让科学家走捷径却让科学走窄路
清华大学基于超4100万篇论文研究发现，AI虽提升科学家个人产出与职业进程，却使科学探索领域变窄固化。研究发表于Nature，被Science深度报道，揭示了AI在科学发展中的利弊。
Cohere融资36亿，AMD英伟达都投了！前Meta研究副总裁出任首席AI官
AI初创公司Cohere完成5亿美元融资，估值达68亿美元，由Radical Ventures等领投，AMD、英伟达等参投。同时，前Meta AI研究副总裁Joelle Pineau出任其首席AI官，Cohere专注企业AI赛道。
就业恶化AI不背锅！经济大周期下AI取代的技能依然很重要
研究表明就业市场恶化早于生成式AI普及，高AI暴露职业失业风险在2022年初就上升。毕业生求职困境源于宏观经济周期，且掌握与AI能力重叠技能，在后ChatGPT时代反而能提升起薪、缩短求职期。
享年101岁！AI之父明斯基的「反对者」走了，一生都在寻找另一种AI
8月10日，AI先驱Warren Brodey逝世，享年101岁。他曾将控制论用于家庭研究，后赴MIT研究AI。他不赞同Minsky的AI路径，倡导以技术增强人类潜能，还开发「软建筑」等，对AI前景谨慎乐观。
一百万亿Token里的AI现状：OpenRouter和a16z重磅研究带你透视AI江湖
OpenRouter和a16z发布重磅研究，用100万亿Token绘制AI实景地图。2025年推理模型崛起，开源模型流量份额攀升，编程与角色扮演需求大，还揭示了用户留存的“灰姑娘效应”等，展现多元AI世界。
知名数学家辞职投身AI创业：老板是00后华人女生
世界级顶尖数学家小野肯辞职，加入学生洪乐潼创办的AI初创公司Axiom。该公司主打AI数学，此前0产品0用户就达3亿美元估值。小野肯曾怀疑AI，后因认识到其潜力而转变想法。
AI两天推翻20年工作习惯！Karpathy百行代码开源项目“封神”，AI替你通宵肝研究、战绩可查
特斯拉前AI总监Andrej Karpathy开源autoresearch项目，让AI Agent自主搞深度学习研究。两天内Agent完成276次实验，提升模型训练效率约11%。项目代码极简，未来目标是实现Agent大规模协作，已被开发者社区共建。