「AI数学研究」共找到 10574 篇相关文章
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,代码已公开。
数学圈地震!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价值重构,该企业还具备全球复制潜力。