A long read on mathematics, AI and Lean
Vi published a six-part essay on AI and mathematics, including their past work with the Lean proof assistant team at Microsoft Research.
patreon.comRead Vi’s post
#mathematics#essay
Compiled from a public source and linked above. Happenings link out to where they were published.
No notes yet