Lecture: Blowup for the Euler Equations with Smooth Forcing – Tristan Buckmaster [video]

Lecture: Blowup for the Euler Equations with Smooth Forcing – Tristan Buckmaster [video]youtube.com

3 points•yurimo•5 days ago•2 comments•

#smooth #equations #blowup #euler #forcing #lecture #buckmaster #tristan

2 comments

This is an excellent talk! Thanks for sharing!

Really interesting how they let agents write free-form text first(in what he describes as university exam level verbosity style), not Lean, and then at the end, when the agents claim to have found the proof, have other agents convert it to Lean and verify the proof there.

yurimo5 days ago

Recent recording from NYU Courant institute.

Read the full thread on Hacker News →

2 comments

Related stories