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
No notes yet
Vi Hart
Vi Hart is a mathemusician who makes videos, music and playful explorations of mathematics, from notebook doodles and folding paper to interactive stories.
Join the superfan leaderboard. Superfans are listed in the order they join.At 100 nudges, fangea sends Vi’s team an official invite.
1.5K+social following
0/ 100 nudges100 to go
At 100 nudges, fangea sends Vi’s team an official invite.
🔒 Star boosts open once Vi claims this page.
Latest
Vi’s happenings, collected from public sources, plus their backstory and Starbook, where fans write.
Reading and responding to Bill Gates on AI
Vi shared an unscripted video responding to a Bill Gates article on AI, explaining that this was a change from their usual carefully scripted and polished videos.
patreon.comRead Vi’s post
No notes yet
A video about Pier Giorgio Frassati
Vi made a video about Pier Giorgio Frassati, someone they said they had been rooting for for years, and finding inspiration in doing good in a challenging world.
patreon.comRead Vi’s post
No notes yet
Twisty Petz meets graph theory
A new video connects animal-to-bracelet toys with graph theory and mathematical balloon twisting. Vi also shared the original PDF of their balloon-twisting instruction booklet.
patreon.comRead Vi’s post
No notes yet
Inside The Book of Good Times
Vi shared a journaling video using The Book of Good Times, a project they backed on Kickstarter. They described making the kind of journaling vlog they wanted to watch.
patreon.comRead Vi’s post
No notes yet
Find Vi
Watch Vi’s free video archive on Vimeo and follow new work on Patreon.
Are you Vi Hart?
Fans built this page. Claim it to connect with them and unlock Star boosts, or request a takedown if you’d rather it not exist.