Posts
-
AlphaProof's Greatest Hits
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof solved). AlphaProof has developed its own proving style, so figuring out what it’s doing can involve some detective work.
-
My chess games against Hikaru
I was backing up my drive to switch laptops recently and I came across a screengrab of a chess game I played against Hikaru Nakamura. This was in January 2020, back when he had yet to blow up into a giant streamer. As I recall, I was one of a handful of subscribers on his Twitch channel. He would occasionally play his subscribers on stream, and this was my lucky day.
-
What's the best strategy when playing HORSE?
HORSE is a popular basketball shooting game. The main choice a HORSE player must make is which spots on the basketball court to attempt shots from. What’s the best strategy to win at HORSE?
subscribe via RSS