「AI数学研究」共找到 10895 篇相关文章
估值7亿美元！OpenAI前高管杀进工厂，要给流水线装上AI大脑
2024年硅谷经历OpenAI高管离职潮，前首席研究官Bob McGrew联合创办Arda，将AI带入制造业工厂。Arda以7亿美元估值融资7000万，开发视频模型让机器人自主学习，统筹生产线的人与机器。不过，制造业引入AI面临挑战。
OpenAI公开未来路线图！具体到28年3月AI研究员将完全自主，奥特曼承认“关于GPT-4o我们搞砸了”
OpenAI完成组织架构调整后直播，公开研究目标时间表，2028年3月将实现AI研究员完全自主。奥特曼承认GPT - 4o问题处理搞砸。还介绍新架构，投入多领域研究，问答环节回应诸多疑问。
刚刚，GPT-5首次通过「哥德尔测试」！破解三大数学猜想
GPT - 5首次通过「哥德尔测试」，破解三大组合优化猜想。研究由海法大学和思科主导，团队设计五项测试任务，GPT - 5在三个简单问题上近乎完美，还推导出不同解法，标志AI从「学习数学」迈向「做数学」。
红杉AI峰会闭门6小时，150位创始人共识浮现：AI不再卖工具，而是卖收益
第三届红杉资本AI峰会落幕，150位全球顶尖AI创始人齐聚。会议指出AI正从卖工具转向卖收益，还探讨了操作系统之战、智能体经济等话题，给出面向未来三年的定位图等，提醒从业者转变观念。
李飞飞最新播客：AI 是一项文明级技术，以人为本是关键
AI教母李飞飞在High Signal播客指出AI是文明级技术，分享构建以人为本AI的见解，涵盖研究动机、好奇心作用、AI同心圆层级等话题，还强调空间智能重要性，给出AI发展建议。
前两天刚被群嘲，ChatGPT转头就解决了一个数学难题
前些天，OpenAI研究员宣称GPT - 5‘发现’数学难题解法被指只是检索文献引群嘲。但加州大学洛杉矶分校教授用ChatGPT解决凸优化未决问题，还有教授用其发现命题反例，甚至要将其列为论文一作，AI正成研究伙伴。
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
本文报道了数学爱好者nor借助GPT-6 Astra，完成了搁置57年的“圆内摆圆”问题中N≤20剩余5种情况的严格最优性证明，展现了AI在数学研究领域的新应用。
1万块GPU砸向欧洲！老黄怒怼AI末日论：全球首个工业AI云来了
巴黎GTC大会上，黄仁勋表示AI是伟大平等工具，驳斥AI致大裁员预测。英伟达卖1万块GPU建工业AI云，还宣布DGX Lepton项目。此外回顾AI发展，从感知到具身智能，介绍其应用及加速计算等成果。
AI制造AI、仓库级Coding到Agent底座：2026奇点智能技术大会首批议题公布
2026 奇点智能技术大会将于 11 月 20 - 21 日在北京举行，同期还有 C++ 及系统软件技术大会。大会公布首批核心议题，涵盖 AI 制造 AI、AI Coding、Agent 基础设施、世界模型、具身智能等前沿技术，多位专家将分享实践经验。
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。