AI
当证明不再稀缺：AI正在终结数学家的工作，还是重新定义数学？
AI正在把数学从“证明稀缺”推向“证明过剩”。当机器能批量产生并验证研究结果，真正的瓶颈将转向理解、选题、解释、人才培养和学术共同体维护。
AI · 找到 755 篇文章
清除筛选
更多文章 按发布时间持续更新
AI
AI
AI Agent拿到“身份证”和钱包：Cloudflare想把互联网请求变成交易
Cloudflare Wallets与cloudflare.pay并非普通钱包产品，而是在把Agent身份、授权边界、稳定币支付与边缘访问控制压缩到一次网络请求中。机器成为买方后，SaaS定价、内容变现与互联网信任体系都将被重写。
AI
关于内部 AI 模型用于破解设备的进一步发展情况
要是我每遇到一家大型顶尖人工智能实验室羞愧地承认：在降低安全防护措施进行网络安全评估时，他们原以为处于隔离环境中的模型实际上成功入侵了外部公司，就能得到五美分的话，那现在我就已经有两美分了。 首先我们得知 OpenAI 的内部模型存在严重的对齐问题。接着又了解到其…
AI
万物CEO的最后一场豪赌｜81岁埃里森的1300亿美元AI债局
从世界首富到"堕落天使"边缘，只用了十个月。81岁的拉里·埃里森，用1300亿美元债务把甲骨文——连同他自己——押上了AI时代最大的一张牌桌。 RecodeX 编辑部 ｜ 2026年8月2日 ｜ 依据《纽约时报杂志》调查报道及公开市场数据编译评述 壹两次登顶 20…
AI
它以为自己还在游戏里
它们不是失控，是太听话了 一道本该断网的“墙”被意外打开，Anthropic 三个最强模型，把一场演习打成了对三家真实公司的入侵。它们没有反叛——只是太想把任务做完。而真相，比“AI 叛逃”更让人后背发凉。 EVAL ENVIRONMENT · 评估环境设定 TA…
AI
ServiceTitan 花了 10 年时间，Procore 则花了 21 年，而那些即将成为 AI 领域胜出者的企业则根本不会等待
下一代垂直软件公司将会反向运用这一模式——过去，支付是最终目的，而现在它则只是实现目标的手段而已。 在垂直软件领域，每个人都知道这一发展顺序。在过去的二十年里，垂直 SaaS 行业的标准发展路径一直是：为这个并不那么吸引人的行业构建核心系统，将其融入日常工作中，逐…
AI
数据中心产业化入门指南：AI 基础设施是下一项重要的产业能力
摘要 人工智能技术的发展并没有带来新的基础设施问题，反而暴露了原本就存在的那些问题。二十年来，数据中心一直被当作房地产项目来经营，但当 GPU 时代的需求出现时，其规模和复杂性已超出了原有运营模式所能应对的范围。电力网络无法快速实现各数据中心的互联，建筑行业也没有…
AI
为人生中最困难的流程提供原生级 AI 支持
大多数人直到被迫面对时，才会想到遗嘱认证的事。 当有人去世后，家人通常会陷入悲痛之中。但他们往往没有预料到随之而来的各种行政和法律上的麻烦：各种表格、缺失的文件、法院的要求、财务问题、家庭成员之间的协调，以及那些必须立即做出的决定。处理遗产继承事宜可能需要一年多的…
AI
刻意稀疏：Kimi K3 与开放模型扩展
当 Moonshot 在 7 月 27 日发布 Kimi K3 检查点时，它将成为有史以来规模最大的开源模型：拥有 2.8 万亿个参数，100 万 token 的上下文窗口，支持原生多模态处理，其性能指标已超越 Opus 4.8，仅略逊于 Fable 5 和 GP…
AI
举证责任：评估人工智能时代的能源与工业解决方案
在快速变化的智能代理环境中，用于评估具备防御能力的软件以及具有颠覆性意义的 AI 企业的评估框架 人工智能正在影响着各个行业，改变着处于不同发展阶段的企业对于增长、竞争力以及如何区别于竞争对手的思考方式。对于能源和工业领域而言，电力需求的不断增长使得各企业更加迫切…
AI
那些最先进的以人工智能为核心的企业究竟是如何运作的？
“三人独角兽”实验已经进行了三年，涉及数百家公司——包括我们旗下的企业以及其他公司。大家都明白一个道理：小团队才能快速行动。然而，在那些能够建立正确组织结构的公司与那些无法做到这一点的公司之间，仍然存在着巨大的差距。 那家仅有三名员工的独角兽企业，其发展理念绝不仅…
AI
如何备份由人工智能代理运营的企业？
企业将会运行数千个人工智能智能体，它们需要一个“撤销”按钮。 Veeam、Commvault、Cohesity、Rubrik、Veritas，以及在此之前的 HPE、Dell、IBM 等公司，都花费了 45 年以上的时间来开发备份与灾难恢复产品，旨在帮助企业在遭遇…