Tim Gowers says GPT‑5 is becoming a mathematician’s sidekick—handling tedious inequalities, compactness tricks, and even nudging formal proofs. Curious how AI is reshaping research? Dive in. #GPT5 #TimothyGowers #FormalProof

🔗 aidailypost.com/news/gpt5-he...

My video blog review of Timothy Gowers introduction to third level mathematics. Part of OUP's 'Very Short Introduction' series.

#BookReview #Mathematics #TimothyGowers #VeryShortIntroduction

youtu.be/GVxdNa80tQI