//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
How Terry Tao Became an Evangelist for Improv Comedy Groups in Math #LeanLang #LeanProver cc @anthonymoser.com
18h
Adolfo Neto
How Terry Tao became an evangelist for AI in math. ~ Kevin Hartnett. www.quantamagazine.org/how-terry-ta... #AI4Math #LeanProver #ITP
20h