过去三周，科技圈最大的变量不是哪个新模型。

是一款应用。

它来自 Meta，名字叫 Muse。

上线十天，它就登上美国应用商店免费榜第一。

把 ChatGPT 挤到了身后。

第十二天，第三方估算它的全球安装量达到 280 万。

资本市场也给了回应。

反应很快。

美国时间 9 月 21 日，它的股价[……]

继续阅读

一篇数学论文里的猜想，被人推翻了。

推翻它的不是同行。

是一个程序。

写下这个程序的人，最初并不相信模型能做研究。

他本来只想试试，模型到底能走多远。

模型没有顺着论文往下证。

它构造了一个反例。

猜想的根基当场松动。

他把推导整理成一封信，寄给原论文的作者。

回信很短。

反例成立。

从那天起，他把[……]

继续阅读

2018 年，谷歌放出过一个叫 BERT 的模型。

它不聊天，也不写文章。

只干一件事，把一段话读懂。

八年过去，对话模型换了好几代。

可你今天用的搜索和审核，里面还有它的影子。

很多 AI工具 的排序和过滤，背后跑的就是这类模型。

一个不会聊天的模型，凭什么活这么久。

答案藏在它的训练方式里。

核[……]

继续阅读

庞加莱猜想提出来一百多年。

千禧年难题里，它是最早被攻克的那一个。

现在，北京大学一支团队宣布，他们把它跑通了。

用的工具是一个开源证明助手。

这个助手叫 Lean 4。

数学界这几年最认真对待的就是它。

牵头的是三位年轻开发者。

他们都有数学背景。

后面还跟着博士后和博士生志愿者。

这些人都是自[……]

继续阅读

它最早是靠 AI编程 起家的。

那时候，只有开发者能碰。

9 月 29 日，这套工具放出了新版本。

版本号是 v0.2。

前面还挂着预览两个字。

最大的变化是桌面端。

苹果电脑和微软的系统，都能下载安装。

装完按引导走一遍，就能开工。

不用再自己配开发环境。

上一次露面，是 8 月 13 日。

那是[……]

继续阅读

药物研发，一直是 AI工具 里最受资本关注的一块。

最近，一家美国公司拿到了 3.11 亿美元。

这是它的 E 轮融资。

估值翻倍，来到约 20 亿美元。

它叫 Enveda，总部在美国科罗拉多州。

它走的路，和大多数 AI 制药公司不太一样。

别人啃基因，它去啃小分子

二十年来，基因组学改变了生[……]

继续阅读