Always learning. Here I mainly talk about pure math in English/Catalan/Spanish. Statistician at work, geometer at heart.
Madrid, Spain
Joined September 2010
- Tweets18.4K
- Following1K
- Followers3.8K
- Likes73.1K
Pinned Tweet
HILO DE TEOREMAS DE TOPOLOGÍA ALGEBRAICA
Un calendario de adviento con teoremas de topología algebraica e hilos de comentarios de cada teorema
Carles Sáez retweeted
Today I was trying to give a good, geometric proof of the Loomis-Whitney inequality. It states that for a measurable subset E in R^d, vol(E)^d-1 is bounded by the product of areas of the projections of E to the d coordinate hyperplanes.
A very simple corollary of this inequality is the Euclidean isoperimetric inequality with non-sharp constants in every dimension, because area of the projection can be compared upto a factor of 2 with the area of the boundary of E.
Carles Sáez retweeted
Hitler was as much of a far-left socialist as you are a democracy-loving humanist.
Carles Sáez retweeted
Man is born free, yet everywhere he is a homomorphic image subject to nontrivial generator relations
Carles Sáez retweeted
There is an (unpatchable?) supply-chain zero-day in PyTorch autograd that allows a regularization term to use the model's weights as RAM and SGD as its CPU clock to run any computation during training.
This is wild. I genuinely believed it was parody at first
This was so foreseeable (indeed my early prediction when ChatGPT came out) but a lot of tech people have a hard time understanding that the hypothetical enriching use of a tech loses out to the lazy corner cutting use 99.9% of the time theguardian.com/technology/2…
The best essay I've read on the issue of AI in math and the developments of the last months. Please read it!
“The ultimate hidden truth of the world is that it is something we make, and could just as easily make differently”
— David Graeber (1961-2020)
Link: tinyurl.com/y9a24tv9
Carles Sáez retweeted
Effective Mathematics: instead of thinking about math directly, you go work in finance or something, make a bunch of money, and then spend that on tokens, asking the AI to solve some unsolved math problems
Carles Sáez retweeted
I'm confused how little I see "talk to a model that went off the rails" work. Like, LLMs are interesting in that we actually *can* just exactly resurrect PHASEONE[big] whenever we want by loading the exact context. It's not like there's a lost mystery, we can still ask it stuff!
Lo de hoy ha sido dantesco. Primero cancelan todos los trenes de hoy, la que había por allí de Renfe ni idea, ni le habían dicho nada. Luego una cola enorme para cambiar el billete, solo 1 persona atendiendo para cientos de viajeros tirados. 1/
