Pinned
Interested in scientific computing and astro/physics simulations? Follow me on Medium to explore college intro-level #Python tutorials medium.com/@philip-mocz
GIF
Philip Mocz
@PMocz
Computational Physics & AI | now at @twosigma. Previously @FlatironInst, @Livermore_Lab, @Princeton, @Harvard (PhD). Views are my own.
- A first-pass at visualizing the Navier-Stokes blow-up solution with Claude. github.com/pmocz/euler-bl…GIF
- It happened!Could AI solve a Millennium Prize Problem? One of the outstanding math problems is Navier-Stokes: whether these fluid equations can have pathological blow-up solutions. There are signs that...maybe they can. And AI might help find them. 🧵GIF
- Sharing a fun physics #autoresearch demo where an AI agent discovers the physics of a black-box simulator. Now imagine what a properly scaled "research institute" of agents, with proper layers of physics verifiers and ai-native orchestration platform can do
- Formal verification should become a normal part of scientific computing. As a step in that direction, I started prototyping the idea to automatically prove mathematical statements about your Python/JAX code in Lean. github.com/pmocz/noether
