I’ve written about the instructional design behind the inverted transition-to-proofs course and the importance of Guided Practice As I wrote before, each 50-minute class meeting was split up into a ...

In the last couple of posts on the inverted transition-to-proofs course, I talked about course design, and in the last post one of the prominent components of the course was an assignment type that I ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...