Cal Newport Podcast Asks If AI Has Solved Math

A Cal Newport podcast episode discusses recent AI progress on mathematical reasoning, likely referencing frontier model performance on olympiad-level benchmarks. No technical detail is available from the source.