I recently had an enlightening conversation with Rob May and Yash Sharma of NeuroMetric.ai about adversarial verification protocols. Their insightful questions forced me to crystallise something I’d been circling for a while: why frontier models perform so much better at undergraduate mathematics than research-level work. (I assure you, the only “PhD smarts” they have is […]
I am extremely conflicted about the current state of AI technology: I am not a breathless convert to the AI revolution. I have resisted and remained deeply skeptical of AI tools and LLMs for years. If you’ve read my other posts, you might have the impression I’m uncritically enthusiastic about this technology. In narrow, specific […]
open sciencespeculative ideasaiartificial-intelligenceautomated theorem provingchatgptclaudeLamport notationLLMtechnology
Frontier large language models from, e.g., OpenAI and Anthropic are completely reorganising the landscape of knowledge work. Indeed, higher education will not escape: the daily evolving arms race between assessment design and chatbot use is in full swing. You can bet I have a lot to say about this, but that is for another day. […]
This summer semester (2021) I am giving a course on General Relativity (GR). This course is intended for theorists with familiarity with special relativity (a must) and basic physics. I will be making the lecture notes produced during these videos available here: You can find the videos for this course at the following playlist:
In 2017 Reinhard Werner gave a series of lectures on the mathematical methods of quantum information theory at the Leibniz Universität Hannover. These lectures were recorded and I have the pleasure of hosting these videos on my youtube channel. Over the coming weeks I’ll be posting these lectures there. The playlist of all of these […]
For winter semester 2017-18 I am giving a course on symplectic geometry and classical mechanics. This course is intended for anyone with a familiarity with classical mechanics and basic differential geometry. You can find the Youtube playlist here. Problem sheets are being prepared by Terry Farrelly and will be made available here on my blog, […]
For winter semester 2017-18 I am giving a course on symplectic geometry and classical mechanics. This course is intended for anyone with a familiarity with classical mechanics and basic differential geometry. You can find the Youtube playlist here. Problem sheets are being prepared by Terry Farrelly and will be made available here on my blog, […]
For winter semester 2017-18 I am giving a course on symplectic geometry and classical mechanics. This course is intended for anyone with a familiarity with classical mechanics and basic differential geometry. You can find the Youtube playlist here. Problem sheets are being prepared by Terry Farrelly and will be made available here on my blog, […]
For winter semester 2017-18 I am giving a course on symplectic geometry and classical mechanics. This course is intended for anyone with a familiarity with classical mechanics and basic differential geometry. You can find the Youtube playlist here. Problem sheets are being prepared by Terry Farrelly and will be made available here on my blog, […]