Terence Tao

Terence Tao calls AI-assisted fluid dynamics proofs ‘a remarkable achievement’

NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge on Sunday published AI-assisted, Lean-verified proofs showing that several fluid equations can develop finite-time blow-ups — points where physical quantities spiral to infinity — under smooth external forcing. Fields Medalist Terence…

You're all caught up

You've seen all the main stories from the past 2 days.