搜索
SophiaPro 成立于 2025 年 6 月。 最早，他们做的是一款叫 Karis.im 的 ToB 产品，给出海企业提供市场营销数字员工。后来转向 C 端产品，先是做了浏览器插件 TryClico，最近又推出了桌面端产品 Invoko.ai，一个长在 Mac 灵动岛位置的 notch 工具，帮用户在不同 app 之间自由切换上下文。
编辑｜Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如，就在前几天，Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中，解决了 3
医学AI会写解释，但不代表它真的“看到”了关键证据。
8.99万元操作天花板，6月发货，具身智能的「苹果时刻」！中国版Figure，星尘智能自研「AI模型-具身OS-绳驱本体」三位一体架构，用击穿底线的定价，推动Physical AI落地。一句话：今年必Buy！
昨晚，AI模型聚合平台OpenRouter宣布完成1.13亿美元（约合人民币7.67亿元）的B轮融资。本轮融资由谷歌母公司Alphabet旗下的成长基金CapitalG领投，英伟达NVentures、ServiceNow等一众风险投资机构跟投，a16z、Menlo Ventures持续加注。外媒报道，该公司融资过后估值飙升至13亿美元（约合人民币88.22亿元）。
过去几年，大模型竞争主要发生在 AI 公司之间。但随着 AI 开始从数字世界进入真实设备与物理世界，竞争逻辑正在发生变化。
前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——AlphaProof Nexus。它一出手，就干掉了9道悬而未决几十年的Erdős开放问题。其中最古老的那个，悬了整整56年！
近日，谷歌在2026 I/O大会上发布了旗下AI for Science工具组合Gemini for Science。 该组合包含了谷歌旗下三款顶尖的AI科研工具，能实现假设生成、计算发现和文献综述的
今年的「全球无障碍宣传日」，苹果照例抢先官宣了将在下随 iOS 27 一同登场的新一批无障碍功能。相比过去几年，今年这批功能最明显的变化，是 AI 的存在感突然变强了， 并且一些新的特性，或许也直接提前「剧透」了 iOS 27 的系统级 AI 能力。
有人晒出开源项目：GPT-5.5连续狂飙150小时，自主挑战诺奖级AlphaFold2！它用拓扑「单纯形」重构蛋白质折叠逻辑，虽然性能暂未登顶，却展示了AI科学家的恐怖潜力：秒回滚、零情绪、全自动进化。科研范式，真要变天了。