Thomas Leblé (@ThomasALeble) profile picture

Math @ Kyiv School of Economics & CNRS

Joined September 2026
Ironically, this brings us back one hundred-something years ago, to Hilbert’s dark dream of mechanization. For a while, Gödel and the curse of dimensionality protected us from it, and we reaped the peace dividend. Sadly for us, this is no longer true.
1
1
49
Mathematicians must now figure out how to survive as scientists whose defining activity, thinking through a mathematical problem, is being automated by the day. When caught in a super-intelligent wave, swimming against the tide is not really an option.
1
1
45
Let us check our privileges, grieve, and take a step forward. Which open problems will LLMs come up with? We may turn to studying the theories of our new masters (in the academic sense). Will learning ‘alien math’ be that different from reading SGA?
12
It feels like I have (willingly) spent my best years in a comfy gold mine, digging religiously, and reached a point where I started to be well off. Then suddenly, a fracking company came and announced they had discovered the philosopher’s stone.
1
1
34
You can now produce gold by rubbing a big rock; soon no one will pay you to carve out a nugget. I still find gold very beautiful, but *being the one who extracts it is* what made me and many of us feel special.
1
1
34
But don’t be sad: immortality is next! You will get to enjoy your old hobby for an infinity of weekends.
11
You can now produce gold by rubbing a big rock; soon no one will pay you to carve out a nugget. I still find gold very beautiful, but _being the one who extracts it_ is what made me and many of us feel special.
1
6
But don’t be sad: immortality is next! You will get to enjoy your old hobby for an infinity of weekends.
5
Mathematicians becoming entertainers without even realizing it
1
3
9
636