Readhub
近期 AI 数学领域热度颇高，OpenAI 批量发布 722 份待核验数学证明引发数学圈争议，而谷歌 DeepMind 的 AI 数学研究登上《Science》并获得学界肯定。其推出的由 Gemini 驱动的 AI 数学证明 Agent 框架 AlphaProof Nexus，成功解决 9 道埃尔德什开放问题（其中两道悬而未决达 56 年），还证明了 OEIS 整数序列百科中的 44 个猜想，攻克一道搁置 15 年的代数几何难题，改进了凸优化领域沿用已久的理论边界。该框架核心工作流程为 Gemini 生成证明、Lean 校验并反馈报错、迭代修改直至证明通过，共设计四种不同配置的 Agent，对照实验显示最简配置也能解出全部 9 道埃尔德什问题，完整版在难题上的成本效率是基础版的 2 至 5 倍，单题成本约数百美元，整套 Lean 证明代码已对外公开。
查看话题甲骨文致信美国联邦能源监管委员会，请求其尽快批准由 Energy Transfer LP 旗下子公司运营的 Green Chile 天然气管道项目，称若继续推迟审批将威胁其新墨西哥州木星大型数据中心项目的运营进度，进而影响相关就业、经济活动及社区效益。该管道每日可输送约 4 亿立方英尺天然气，为燃料电池供能以支撑木星项目运行，目前其投运时间已推迟至 2027 年 2 月，远晚于原计划的 8 月 15 日。
相关话题2026-10-09
甲骨文用卡车运天然气 避开数据中心供电延误2026-09-29
星际之门 AI 项目遇电力审批难题 甲骨文发不可抗力通知2026-04-28
甲骨文将采用 Bloom Energy 燃料电池为 AI 数据中心供电2026-04-14
甲骨文与 Bloom Energy 达成电力采购协议，用于其 AI 数据中心英伟达首席执行官黄仁勋正在欧洲展开高密度访问行程，未来一周内将宣布逾 20 亿美元的欧洲投资计划，叠加过去一年已投入欧洲的 80 亿美元，其在欧战略布局持续加深。黄仁勋在巴黎活动上透露相关投资安排，同时宣布向四家法国初创企业提供新一轮融资，后续还将前往伦敦和柏林。当前 AI 技术在欧洲正遭遇日益强烈的公众质疑，欧洲及英国也在积极推进 AI 治理，黄仁勋明确反对放缓 AI 发展的呼声，强调 AI 可提振经济且能安全推进，同时力推开源模型路径，认为其成本更低、适配性更强，可帮助欧洲缩短与美国先进 AI 的差距，英伟达相关投资动作也持续指向开源方向。本次获注资的四家法国初创企业分别覆盖医疗、商业软件、化学材料及机器人领域，其中专注机器人 AI 的 Genesis AI 契合黄仁勋此前对人形机器人赛道的判断，他预测以人形机器人为代表的实体 AI 将成为英伟达下一个巨大市场。
相关话题2026-10-11
英伟达正洽谈投资或收购 AI 初创公司 Reflection AI2026-09-28
英伟达：将股票回购授权规模增加 1500 亿美元2026-09-22
英伟达拟追加投资 SB Energy 15 亿美元，总承诺增至 30 亿美元2026-09-10
英伟达与 Palantir 达成合作，将主权 AI 引入关键供应链2026-09-03
英伟达将以 129.3 亿美元收购开源 AI 平台 Hugging Face2026-09-02
英伟达斥巨资布局开源大模型生态2026-08-27
英伟达业绩超预期展望千亿营收，科创 50 成分股沐曦等集体上扬2026-08-27
英伟达同意 129 亿美元买下 Hugging FaceOpenAI 发现办公室内有一台由某员工数天前放置的精密录音设备，涉事员工已被解雇。目前没有迹象表明该员工不当访问或提取模型权重、源代码或客户数据，相关事宜已转交美国联邦调查局。
相关话题2024-10-05
OpenAI 在纽约租下首个办公室2023-11-23
消息称 OpenAI 解雇奥特曼前收到关于 AI 重大突破的警告信火山引擎安全运营智能体实现三方面升级：新增需求文档安全评审，将安全把关前移至方案阶段，提前识别设计风险。漏洞运营升级为研判加 POC 验证，漏洞降噪率超 90%。安全告警研判升级为多源证据自动关联加定期巡检，降低人工排查负担。相关能力以技能形式上架豆包工作技能市场，用户无需跨工具切换，可在日常工作环境中直接调用专业安全能力，推动安全评审与风险处置融入业务流程，目前已在多个行业客户落地，有效降低人工负担与相关安全风险。
相关话题2026-10-10
火山引擎发布 AI 安全网关2026-09-01
火山引擎发布教育行业 Agent，开放豆包爱学同款拍题答疑能力2026-04-02
火山引擎与 OpenClaw 共建 ClawHub 中国镜像站启动运营2025-09-17
火山引擎发布 PromptPilot，推动大模型应用高效落地2025-06-17
极氪与火山引擎携手将豆包大模型引入智能座舱2025-06-13
火山引擎升级 Agent 开发工具，助力开发者提升 AI 生产力2025-06-12
火山引擎发布豆包大模型 1.6，加速 Agent 大规模应用2024-12-20
火山引擎总裁回应豆包大模型定价：确保合理毛利 让 AI 技术普惠广大开发者谷歌开始向 Google AI 订阅用户推出 Gemini 4 Argon，适用平台包括 Google Antigravity、Gemini 应用以及谷歌搜索中的 AI 模式，该模型以每百万输入代币 2 美元、每百万输出代币 10 美元的价格推出。
相关话题2026-10-10
谷歌即将推出新 AI 模型，员工测试新版 Gemini 4 代号 Carbon2026-10-06
谷歌 DeepMind 推出新一代前沿大模型 Gemini 4 Argon2026-10-01
谷歌向部分合作伙伴推出 Gemini 4 Argon，系其最先进 AI 模型2026-09-29
谷歌 Gemini 取代 Android 端谷歌助手 相关账号已迁移2026-09-25
谷歌推出搭载实时虚拟形象功能的 Gemini 3.8 Live2026-09-16
谷歌公司发布 Gemini 3.8 实时对话模型高通对陪审团认定 Arm 违反与该公司签订的架构许可协议的结果感到欣慰。
相关话题2026-10-07
高通起诉 Arm，诉求最长 5 年免授权费并要求开放 V10 授权2025-10-01
高通：在与 Arm 的法律纠纷中取得全面胜利2025-02-06
高通：ARM 已撤回 2024 年 10 月发送给高通的违反许可协议的通知2024-12-23
高通在 ARM 芯片诉讼案中取得关键胜利：美法院判决其未违反芯片许可协议2024-12-21
高通打赢芯片诉讼 被判未违反 ARM 许可协议2024-12-16
Arm 高通芯片授权争端升级，法庭对决一周见分晓2024-10-23
高通回应 Arm 取消许可传闻：Arm 的反竞争行为将不会被容忍2024-10-23
消息称 Arm 计划取消对高通的芯片设计许可，或扰乱智能手机 PC 市场2022-10-28
高通反诉 ARM：以诉讼作为谈判筹码，违反协议是无稽之谈信邦制药公告收到贵州省开阳县人民法院刑事判决书，公司因犯单位行贿罪被判处罚金 2300 万元，该罚金占公司最近一期经审计净利润的 19.12%，公司判断本次判决不触及重大违法强制退市情形，目前日常经营正常。
相关话题2025-12-11
涉嫌单位行贿被起诉，信邦制药股价前一日涨停今日闪崩2025-12-10
信邦制药：公司涉嫌单位行贿被检察机关起诉2025-04-15
信邦制药去年净利润下滑超六成，控股子公司因涉嫌单位行贿罪被立案2025-03-03
信邦制药回应控股子公司及股东行贿罪案被受理：正在核实Meta 平台在 Facebook 上推出一系列 AI 驱动的自定义工具，支持用户用自然语言告知算法自己希望在信息流和 Reels 短视频中看到的内容。用户可通过帖子三点菜单访问全新的你的算法功能，点击感兴趣或不感兴趣选项后，系统会弹出后续问题收集更细化的偏好信息。该功能由大语言模型提供技术支持，可识别并处理自由输入文本中的用户意图与上下文信息。
相关话题2026-10-01
Meta：未来几个月将把 AI 代理 Muse 接入 AI 眼镜2026-09-30
Meta AI Agent Muse 擅自替用户完成二手键盘交易泄露住址2026-09-29
Meta 为旗下 Muse AI 智能体新增多平台办公集成功能2026-09-29
Meta AI 智能体 Muse 被指未经许可泄露用户住址，擅自约买家上门交易2026-09-29
Meta 全新 AI 智能体 Muse 开启内测 支持视频化身等功能2026-09-24
Meta 发布全新随身 AI 硬件 Muse Charm 可一键唤醒个人助理2026-09-23
Meta 推出个人智能体 Muse 重回 AI 领域竞争牌桌标普全球评级将铠侠控股的长期发行人信用评级由 BBB-上调至 BBB，理由是其受人工智能热潮推动盈利预期显著改善，业务结构正经历深刻变革，同时给予该日本芯片制造商正面展望，暗示若公司能进一步降低周期性波动风险，未来评级仍有上调空间。
相关话题2026-05-27
高盛因强劲的盈利前景将标普 500 指数年末目标上调至 8000 点2026-02-05
标普将 SK 海力士的长期信用评级从 BBB 上调至 BBB+2025-08-14
标普：将印度评级上调至「BBB」2025-04-29
标普：将波音从负面信用观察名单中移除 确认「BBB-」信用评级2025-04-07
标普确认上调小米信用评级2025-04-03
标普将美团的发行级别评级从「BBB+」上调至「A-」2025-04-01
标普上调小米集团信用评级至 BBB 并将评级展望调整为「稳定」2020-04-30
波音拟裁员 1.6 万，标普下调其信用评级至 BBB-