Will an AI smart enough to win math competitions be AGI? (Grant Sanderson @3blue1brown) | Dwarkesh Patel | Podwise