「AI数学研究」共找到 10899 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
数学圈地震！o3靠直觉刷爆人类顶尖难题，14位专家集体破防
Epoch AI新研究发现，o3 - mini - high能破解顶尖数学难题，具备渊博学识且会基于直觉解题，但推理风格依赖直觉，缺乏严谨性和创造力，还存在投机取巧、幻觉等问题。
《中国Data&AI数据基础设施白皮书》——AI创生核心生产力，开启万亿新基建之路 | 甲子光年智库
全球正处地缘政治与AI技术变革中，AI跃升为核心生产力。中国企业面临‘挤压式转型’，传统数据系统难满足需求。数据厂商需构建新一代数据基础设施，技术上‘湖仓一体’与‘AI原生’融合，推动Data&AI一体化。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
吴恩达来信：AI工程技能图谱详解——构建和部署AI应用
吴恩达在信中详细展开AI工程技能图谱中构建和部署AI应用这一项，介绍需了解的技能，如LLM基础、用数据为模型提供依据等，并阐述各技能要点，还提及构建AI系统与传统软件的区别。
IDC 最新AI Infra报告解读｜AI 云爆发的背后：AI 应用全球化势不可挡
近期 IDC 发布报告，显示亚太企业 GenAI 应用增长快，AI 产业从开发到应用落地。这催生 AI 原生云，GMI Cloud 等新兴厂商崛起。同时，企业面临算力管理成本高问题，推理需求重塑市场格局，为中企出海带来机遇。
Builder.ai 破产背后：700 名工程师伪造 AI 是假，重复造轮子及财务造假是真
印度AI独角兽Builder.ai破产引发关注，此前有说法称其用700名工程师伪造AI。经与前员工沟通，这一说法不实。该公司搭建了AI工具Natasha，技术栈含Python、GPT等，但存在重复造轮子、财务欺诈等问题致破产。
当达沃斯还在热议AI未来时，中国一家公司的AI教育已经服务了全球5000万群体
世界经济论坛第56届达沃斯年会聚焦AI，各方探讨其走向与价值。松鼠Ai作为中国AI独角兽企业受邀，其智适应教学系统落地应用，创始人栗浩洋提出AI价值重构，该企业还具备全球复制潜力。
苹果高级副总裁下岗！AI大败局，靠血洗AI团队解决？
刚进入12月，掌管苹果AI与机器学习战略七年的高级副总裁约翰·詹南德里亚卸任。苹果AI乏力非其一人之过，是谷歌流派与苹果文化冲突所致。此次人事调整后，AI回归软件工程本位，不过人才流失成新挑战。
中科院首提「AI哲学」，万字解读：为自身立命，为AI立心
中科院吴怀宇教授首次系统性提出「AI哲学」体系，以「感智境行」为核心架构，探讨智能本质、人机边界等，为人类应对AI冲击提供认知框架，也为AI赋予意识根基，涉及多学科，具多方面价值。