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 ...

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 ...

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

The one source of truth is mathematics. Every statement is a pure logical deduction from foundational axioms, resulting in absolute certainty. Since Andrew Wiles proved Fermat’s Last Theorem, you’d be ...

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 ...