「无障碍服务」共找到 1230 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
OpenAI世纪诉讼，马斯克输了！
马斯克诉OpenAI 1500亿美元案件，陪审团90分钟全票驳回，原因是诉讼时效已过。虽未审理实质指控，但庭审揭开OpenAI隐秘运作。此判决为OpenAI IPO扫清障碍，双方后续还有多起诉讼待决。
8岁小孩哥「聊出」操作系统，一部手机、几句话，原生App直接生成
8岁小孩扑满借助秒哒做出「操作系统」雏形，百度2026 Create大会上秒哒3.0迎重要升级，从移动端、原生App、企业版、Agent能力四个维度重构，降低开发门槛，提升能力至生产级。
原生Agent杀入画布！一站式搞定专业创作，全程可控、不抽卡
国内RunningHub平台推出原生AI智能体全能内容创作平台RHTV，它能一站式搞定专业创作，流程可控。实测显示，它能编排短剧、生成商用物料，还内置影视级工具，且依托庞大生态，能力无上限。
数据限制具身？觅蜂杀进场破局：高质量数据水电一样即取即用
2026年4月16日，觅蜂科技发布一站式物理AI数据服务平台等，董事长姚卯青称当前具身智能面临数据荒漠问题。觅蜂打造“又全又好又快”数据供给，还启动蜂巢数据共创行动，与多家企业合作。
卡奥斯奔赴港交所，工业AI开启新征途｜甲子光年
中国工业互联网迎来智能化加速阶段，卡奥斯递表港交所，为观察工业智能走向产业基础设施提供了样本。它脱胎于海尔，已实现产业规模化落地并盈利，在中国基于平台的工业数据智能解决方案市场位居第一。
Claude 开始收“代码审核税”：一条 PR 25 美元，大厂一年或花百万，还得上交整个代码库
3月9日，Anthropic推出代码审查产品Code Review，运行在GitHub和CI流程，按token计费，每次15 - 25美元，速度约20分钟/次，用整个代码库分析。虽能发现问题，但价格贵、速度慢，还遭“既当运动员又当裁判”质疑。
13 vs 3，国产安全AI悄悄完成了对Claude的超越
Anthropic官方披露Claude Code Security定位3个典型0day漏洞，而安恒信息旗下恒脑安全智能体100%复现这3个漏洞，还额外挖出10个全新0day漏洞，展现出强大的AI自主发现能力。
前端开的同学，天塌啦，AI把前端开发最后一公里给补上啦，不敢相信，太夸张啦～～～
Vercel Labs 开源的 agent - browser，是面向 AI Agent 的无头浏览器自动化 CLI。它解决了 AI 前端开发缺真实浏览器验证交互的问题，适用于多场景，有诸多对 AI 友好的特性，还介绍了使用方式。
从传统编程转向大模型编程
文章指出大模型编程时代，开发者要从‘代码产出者’变为‘文档定义者’，介绍其优势、人+AI结对编程模式，还提及模型工具技巧、开发流程、常见陷阱及应对策略，强调文档驱动和安全合规。