Essays

“This is the way the world ends. Not with a bang but a whimper.”

T. S. Eliot

Today I want to talk about the existential threat from artificial intelligence, not in the apocalyptic sense, but in the philosophical existentialist sense. Not too long ago, Large Language Models like ChatGPT were not able to tell which of 9.11 or 9.9 is the larger number. Now, they can solve PhD qualifying exam level problem in seconds. Benchmarks for state of the art AIs like Humanity’s Last Exam and Frontier Math now include mathematics problems that are hard even for experts. Following the current trajectory, reasoning models in the future will most likely synergize with formal proof assistants like Lean and Coq, and will probably train on an endless supply of synthetically generated mathematics – there seems to be unlimited potential. It is surreal to think that all of these progress has unfolded so recently. To be perfectly honest, the meteoric rise of AI has struck me with both awe and fear, but mostly the latter. As mathematicians, we suddenly find ourselves confronting the grim possibility that AI might one day reach the frontiers of research or even beyond – it is like the sword of Damocles, a spectre looming in the background. My fear is not the cliched scifi trope of some Skynet-like AI obliterating humanity. Rather, my fear is that long before AI poses any physical threat — if it ever does — it will crush our senses of meaning and purpose, that they will destroy us spiritually way before they do physically.

Read More

“My first impression on seeing him (Grothendieck) lecture was that he had been transported from an advanced alien civilization in some distant solar system to visit ours in order to speed up our intellectual evolution.”

Marvin Greenberg

I was very hesitant about writing this article, for the fear that my ignorance of logic and philosophy might prompt me to say something stupid and embarrass myself (which I probably will anyway). Nevertheless, I couldn’t resist the temptation. These ideas have circulated in my mind for too long. Therefore, I ask the reader to indulge me in spilling some nonsense, which, in my defense, even if worthless mathematically, may still serve as a fun sci-fi project or thought experiment. The question I’m interested in is the following. Imagine an alien civilization on a distant planet in a solar system millions of lightyears away which is advanced enough to have developed their own “mathematics” (whatever it means). What would their mathematics be like? To break this down into several smaller questions: firstly, what would their formal logical system (to make things interesting, we assume they do use one) be like; secondly, what would the mathematical objects they study be like; and thirdly, what would their theorems be like?

Read More

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×