Anima Anandkumar:为物理世界构建基础模型
🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
A few years ago, Caltech Prof. Anima Anandkumar set out to develop the first open-source weather model with AI. Talking to experts in the field, she was met with skepticism. Weather is chaotic, physics simulations are hard, have been developed for decades, and require supercomputers, the data just isn’t there. Despite reservations, Anima went forth and built. Within a year her team had developed FourCastNet, a predictive model that is competitive with the best physics-based simulations available. Thanks to Anima, and her follow up work, anyone can now predict weather accurately over a short timescale using consumer grade GPUs.1
几年前,加州理工学院教授阿尼玛·阿南德库马尔着手开发首个基于AI的开源天气模型。在与领域专家交流时,她遭遇了怀疑。天气是混沌的,物理模拟难度大,已发展数十年,且需要超级计算机,数据也不足。尽管有保留意见,阿尼玛还是坚持前行并构建了模型。一年内,她的团队开发出了FourCastNet,一个能与现有最佳物理模拟相媲美的预测模型。得益于阿尼玛及其后续工作,现在任何人都能用消费级GPU在短时间内准确预测天气。
In the fifteen or so science episodes we’ve released on Latent.Space, we’ve covered atoms, molecules, materials, biology, and math. Anima is a pioneer in studying physical systems that are continuous. Weather, fusion, and fluid or heat flow are huge areas of science that are extremely difficult to model: they are large, chaotic, and fundamentally multi-scale. This is a field the AI community has somewhat neglected, but one we expect will grow fast. We plan to cover large physical systems more in coming episodes.
在Latent.Space上发布的约十五集科学节目中,我们涵盖了原子、分子、材料、生物学和数学。阿尼玛是研究连续物理系统的先驱。天气、聚变、流体或热流是科学中的巨大领域,建模极其困难:它们规模大、混沌且本质上是多尺度的。这是AI社区有些忽视的领域,但我们预计它会快速增长。我们计划在接下来的节目中更多涉及大型物理系统。
One thing you can glean from Anima’s work is that this area of AI resists the scaling ideas that have permeated the rest of the field. The data isn’t there: open source datasets in many of these domains are limited to tens or hundreds of thousands of examples, far from what token-hungry transformers need. Even worse, the resolution that physics demands pushes the context length into the hundreds of billions, so you can’t just throw more tokens at the problem. That isn’t a ceiling though, just a slower road: progress here comes from building in structure and inductive biases. Sorry for all you bitter-lesson-pilled language modelers.
从阿尼玛的工作中可以窥见,AI的这一领域抵制了渗透到其他领域的扩展理念。数据不足:许多这些领域的开源数据集仅限于数万或数十万个样本,远非需要大量token的变换器所需。更糟的是,物理要求的分辨率将上下文长度推至数千亿,因此不能简单地向问题投入更多token。但这并非天花板,只是道路更慢:这里的进展来自于构建结构和归纳偏差。抱歉,各位苦于“苦涩教训”的语言建模者。
“If each dimension is even a few hundred grid points, which is where industrial scale starts... we’re talking hundreds of billions to even a trillion context length. So forget ever having a transformer for anything of this scale, all of the world’s compute will not be enough.”
“如果每个维度只有几百个网格点,这是工业规模开始的地方……我们谈论的是数千亿甚至万亿的上下文长度。所以,忘掉任何这种规模的变换器吧,全世界的计算能力都不够。”
The math underneath
底层数学
To tackle these systems, Anima pioneered a technique known as Neural Operators, one of the most beautiful theoretical developments in AI of the last decade.2 These allow you to combine data and physical laws to enable multi-scale inputs and outputs. We’re no longer modeling a grid, we’re modeling a function that evolves over many scales. This allows Anima and crew to build in priors based upon physical intuition.
为了应对这些系统,Anima开创了一种名为神经算子的技术,这是过去十年人工智能领域最美丽的理论发展之一。2 这些技术允许你结合数据和物理定律,实现多尺度的输入和输出。我们不再对网格建模,而是对随多尺度演化的函数进行建模。这使得Anima及其团队能够基于物理直觉构建先验知识。
Neural Operators What if we created a neural network where every layer was itself a function?
神经算子 如果我们创建一个每一层本身都是函数的神经网络会怎样?
To see how physical priors are still helpful for AI modeling, let’s revisit the problem of weather forecasting on a global scale. The earth is a sphere, which meant that accurate modeling involved using the right basis set —3 the Spherical Harmonics. Run a weather model on a grid and it blows up fast. Move to the natural basis for the problem and it stays stable far longer, long enough to roll out months ahead instead of days. Anima’s Fourier Neural Operator learns directly in this frequency domain, and its spherical variant powers FourCastNet 3, which models the weather across the whole globe and keeps running stably far into the future.
要了解物理先验如何仍然对AI建模有帮助,让我们重新审视全球尺度天气预报的问题。地球是一个球体,这意味着精确建模需要采用正确的基组——3 球谐函数。在网格上运行天气模型会迅速崩溃。转向问题的自然基组,模型能保持稳定更长时间,足以提前数月而非数天进行预测。Anima的傅里叶神经算子直接在这个频率域学习,其球面变体驱动了FourCastNet 3,该模型模拟全球天气,并能持续稳定运行至遥远的未来。
FourCastNet 3 The earth is (almost) a sphere — bake the spherical harmonics into your network!
FourCastNet 3 地球(几乎)是一个球体——将球谐函数融入你的网络!
The physical world is forgiving
物理世界是宽容的
Anima explored Neural Operators across other physical domains too, and one striking observation is that the physical world is more forgiving than you’d expect. In fusion, a few thousand samples are enough to predict plasma disruptions, and to do it a million times faster than traditional simulation.
Anima还在其他物理领域探索了神经算子,一个引人注目的观察是,物理世界比预期的更加宽容。在聚变领域,几千个样本就足以预测等离子体破裂,并且比传统模拟快一百万倍。
None of this is a rejection of scale, it is a different route to it. Anima ultimately still wants to build a “foundation model for physics”, a model that spans many phenomena and does both simulation and design. You get there by building in the structure the physical world already has, not by waiting for data that will never exist. It is a start, and it will take longer than the token-driven parts of AI, because for the physical world tokens were never the answer.
这一切都不是对规模的拒绝,而是通往规模的不同路径。Anima最终仍希望构建一个“物理基础模型”,一个涵盖多种现象并同时进行模拟和设计的模型。通过融入物理世界已有的结构来实现这一目标,而不是等待永远不会存在的数据。这是一个开始,而且会比AI中基于令牌的部分花费更长时间,因为对于物理世界,令牌从来都不是答案。
“All of the things that work with deep learning, let’s take them, but make them a bit more principled.”
“所有深度学习有效的方法,我们都采用,但让它们更加有原则。”
Weather is only the beginning
天气只是开始
Neural operators and weather modeling were a personal passion of mine, so we’ve spent much of this blog and the episode exploring this work. Anima has done so much more! In the episode, we cover several other recent developments from Anima:
神经算子和天气建模是我个人的热情所在,所以我们在这篇博客和节目中花了很多篇幅探讨这项工作。Anima的成就远不止于此!在节目中,我们还涵盖了Anima最近的几项其他发展:
- Anima has a series of works integrating neural networks and automated proof techniques. We talk about TorchLean, a new framework that lets you write PyTorch-style networks inside the proof assistant Lean and formally verify them. This is a major step for proving bounds on neural networks, something that would be really important for someone trying to, e.g., add a neural network as part of the control loop to their fusion reactor!
- Anima was recently appointed to the United Nations Scientific Advisory Board! We talk with her about her goals of bringing evidence-based viewpoints to policy, and how AI in scientific domains can improve people’s lives all over the world.
- Anima有一系列融合神经网络与自动证明技术的作品。我们谈论了TorchLean,这是一个新框架,允许你在证明助手Lean中编写PyTorch风格的网络,并对其进行形式化验证。这是证明神经网络界限的重要一步,对于试图将神经网络作为控制回路一部分加入其聚变反应堆的人来说,这将非常重要!
- Anima最近被任命为联合国科学咨询委员会成员!我们与她讨论了将基于证据的观点带入政策的目标,以及科学领域的人工智能如何改善世界各地人们的生活。
This episode has something for every AI or science nerd! Elegant math? ✅ Old school harmonic analysis? ✅ Fundamental developments in modern AI? ✅ Practical ways of modeling the physical world? ✅
这一集对每个AI或科学爱好者都有所收获!优雅的数学?✅ 老派调和分析?✅ 现代AI的基础发展?✅ 建模物理世界的实用方法?✅
Give it a watch!
快来看看吧!
1
1
Work that has blossomed into an entire field of AI forecasting, a theme we will cover more on the podcast in coming months.
这项工作已经发展成AI预测的整个领域,这是我们未来几个月在播客中会更多涉及的主题。
2
2
This is an elegant and very technically deep paper. Excellent nerd snipe if you have a big block of time to study!
这是一篇优雅且技术深度很高的论文。如果你有大块时间学习,这是一个极好的技术挑战!
3
3
All emdashes were human generated.
所有破折号均为人工生成。
更进一步:量化金融体系
看懂新闻只是起点——沿量化金融路径,把它变成能交付的工程能力