「AI赋能数学计划」共找到 10084 篇相关文章
全是套路！英伟达千亿美元投OpenAI，奥特曼拿钱买卡还让甲骨文赚差价
英伟达计划向OpenAI投资最高1000亿美元，OpenAI要用这笔钱构建至少10GW的AI数据中心，全用英伟达系统。首笔100亿预计2026年下半年投入。此外还存在甲骨文参与的“三角财富循环”。
智驾新玩家首秀，“含模量”将成为新标准｜甲子光年
9月28日千里科技召开首次品牌发布会，董事长印奇展示智能辅助驾驶系统能力。其角色从定点车企服务商变为全车企伙伴，首创‘含模量’概念，还公布‘千里计划’，欲构建跨场景智能服务体系。
OpenAI突然封锁最强GPT-5.4！3000个致命Bug瞬间蒸发
OpenAI在Claude Mythos泄露一周后，祭出专门为安全防御微调的GPT-5.4-Cyber，仅网络安全专家可用。还升级网络安全“信赖访问计划”。其战略有三原则，Codex Security已修好超3000个高危和致命漏洞。
刚刚，Anthropic 发布 Claude for Life Sciences，目标生物科研全流程
Anthropic推出Claude for Life Sciences，全方位布局生命科学领域。它配备Skills功能，生物学测试表现提升，能解读图像、分析数据。还深度整合科研生态，应用场景广，获众多药企、学术机构青睐，还有AI for Science计划。
MIT满分学霸CEO反手毁约，OpenAI天塌了！谷歌半路截胡30亿天价收购
OpenAI 30亿美元收购AI编码独角兽Windsurf的计划被谷歌截胡，Windsurf CEO和核心团队转投DeepMind。这或与OpenAI和微软合同谈判有关，谷歌采用不买公司买人才和技术的新玩法。
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
00 后天才团队，发布全球首个 A 股金融博弈智能体应用
00后团队推出全球首个A股金融博弈智能体应用FinGenius，内测就吸引众多用户。通用AI在A股“水土不服”，而它有16个智能体分工协作，30秒出报告，还集成MCP协议，愿景是重塑金融行业。
独家对话Sharpa核心团队：如何把人类的“触觉”装进机器人的身体｜甲子光年
甲子光年对话Sharpa核心团队，该团队定位是以触觉AI驱动的全栈灵巧机器人公司。团队认为触觉是机器人灵巧操作关键，介绍CraftNet创新，还提及与英伟达合作及公司运营、商业计划等。
谁说老实人赚不到钱？Claude用一张3500亿的支票打脸OpenAI
2026开年，Anthropic计划融资100亿美金，估值从1830亿涨至3500亿。曾因理念分歧从OpenAI出走的Amodei兄妹，带领Anthropic专注技术与AI安全，在营收、性能等方面反超OpenAI，上演逆袭。
谁在幕后操控特朗普2.0？PayPal黑帮与“科技共和国”野心 | 赠书福利
2025年特朗普启动国家级AI发展计划，背后是硅谷技术精英。他们用资本等重塑美国权力逻辑，核心是彼得·蒂尔。“技术加速主义”思潮兴起，主张技术进步解决问题，亚历山大·卡普构想“科技共和国”。