搜索
Harvey 是全球最大的法律 AI 公司，客户是世界顶尖律所和企业法务团队。你可能没怎么听说过它，但在法律行业，它基本上是那个大家已经在用、不需要再讨论的选择——就像律师界的 Salesforce，你不会问"要不要用"，只问"怎么接进来"。
编辑｜Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如，就在前几天，Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中，解决了 3
一家几乎尚未公开具体产品的AI初创公司，刚刚拿下硅谷最受关注的一笔融资。AI初创公司Hark宣布完成7亿美元A轮融资，投后估值达60亿美元。本轮融资阵容堪称豪华，由Parkway Venture Capital领投，英伟达、AMD、高通、英特尔、Salesforce等产业资本集体押注。
Claude 100%编码Claude，这在圈内早已不是秘密。但Claude「自我造物」全过程，始终是Anthropic严防死守的核心机密。就在今天，Anthropic产品负责人Alex Albert在一场35分钟的访谈中，首次毫无保留地曝光了全细节！
加入Meta近一年——也被争议了快一年，亚历山大王（Alexander Wang）首次出来公开回应一切！
「一个人现在可以跑出一家30人公司才能完成的收入。」然后他说：这句话在2022年不成立。在2024年中段某个时间点，变成了真的。而且差距每个季度都在扩大。不是因为这个说法多新鲜——AI能提效这件事大家都听说过了。是因为他不只是说「理论上可以」，他是说他自己做到了，然后顺手把操作手册拿出来给你看。
布雷特·泰勒创立的 AI 初创公司 Sierra 正在完成一轮由 Tiger Global 和 GV 领投的 9.5 亿美元融资，该公司周一宣布 ，其投后估值已突破 150 亿美元。这笔融资使 Sierra 可动用的资金超过 10 亿美元——该公司表示将利用这笔资金成为 AI 驱动客户体验的"全球标准"。
DeepMind 刚上任的 AGI 经济学总监 Alex Imas 曾担忧 AI 导致失业和需求坍缩，如今提出一个谨慎乐观判断，AI 会压低可复制劳动价格，也会推高护理、教育、医疗、服务等关系型劳动的价值。
数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
当地时间 5 月 5 日，迈阿密一家名为 Subquadratic 的公司走出隐身模式。CTO Alexander Whedon 在 X 上把首款模型 SubQ 称作“a major breakthrough in LLM intelligence”（LLM 智能领域的重大突破），