ChatGPT - Schmidhuber and Godel's Theorem
PatternBoost: Constructions in Mathematics with a Little Help from AI
View PDF
Terence Tao at IMO 2024: AI and Mathematics - YouTube
Google's AI Makes Stunning Progress with Logical Reasoning
Nassim Nicholas Taleb: Connectivity, Global Fragility and the Added Danger of AI
Google's New Model Solves College-Level Math Problems