la mia ideologia

Alla mia età già prende la pensione e vuole cambiare l'Italia

*abolire il classico*

My prediction from last summer was that the number of frontier AI models getting a gold medal at this summer’s IMO will be… zero! The reason is that they won’t bother to compete, it’ll simply be beneath them. If anyone can now push a button on Codex / Claude Code and get a perfect score, what’s the point? No, they’ll just leave the 17 year olds to take the test on their own. (The open source models will still compete for another year or so. That’s my guess!) Similarly, I think the labs pushing “research math” is also a fad that will expire soon enough. Think about it. GPT solved a major problem (Erdos unit distance); what they’re not reporting is the 1000 other problems they attacked and failed to make progress. [That’s not exactly deception; I also don’t report the dozens of things I tried to prove and failed…] They’re also not reporting the millions of dollars all of this cost them, and for what? Right now the “for what” is advertising: they’re signaling that they’re the best model for math, so you should use them for whatever your reasoning task is. Math departments also spend millions of dollars and produce theorems, but that is their actual end goal. A tech company is happy with a million-dollar theorem only if it predicts a billion-dollar application somewhere else. Once the bubble bursts, investors will want “real” applications from AI, new drugs, self driving / flying cars, etc etc. Nobody will care that the systems are also useful at proving theorems. Nobody but us mathematicians. So like the IMO, I think the frontier labs will get bored of theorems, and will leave us humans alone to keep doing math (and they’ll give us an amazing tool with which to do it!). Does that make sense? What do you think?

“perdere quelli di forza italia”

Italian European Junior Champion Bianca Nannucci has decommitted from Virginia Tech and will stay in Antibes to continue training with Fred Vergnoux. This comes after she set PBs this season in the 200-400-800 LCM Free with times of 1:57.82, 4:08.24, and 8:32.83 #GoHokies

iran embassies are on a generational run

🇦🇺Sam Short 7:36.73 Commonwealth Record!!!!!!! Textile-suit world record!!!!!!!!!

Indovinate chi ha aderito a @s_pubblico? @DanieleNahum, l'ultrasionista secondo il quale a Gaza, mentre lsraele continua a massacrare bambini, ci sarebbe la "tregua". Speriamo che il 15 intervengano anche i più entusiasti del neonato movimento, a partire da Netanyahu.

💥☄️🇦🇺Sam Short 7:36.73😳🤯🤯 800m Freestyle Textile-suit world record!! The 3rd-fastest performance in history!!🔥🔥 Men's 800m Freestyle 1. 🇨🇳Zhang Lin 7:32.12 2. 🇹🇳Oussama Mellouli 7:35.27 3. 🇦🇺Samuel Short 7:36.73 🆕!! 4. 🇹🇳Ahmed Jaouadi 7:36.88 5. 🇹🇳Ahmed Hafnaoui 7:37.00

Se il livello è questo, pagare le RAM 5000 euro mi sembra fin troppo poco

MARIO MONTI

giochino: si chiama "indovina chi sta governando"

io non voglio traumatizzarvi ma questo odio italia-francia è unidirezionale i francesi non hanno alcun problema con noi siamo noi che facciamo tutto da soli

Iniziai a 25 anni. A 28 la triennale A 29 mi sono sposato A 30 ho iniziato la specialistica A 33 laurea A 34 ho lasciato la fissità di posto comunale per emigrare A 43 sono rientrato per farmi una bottega mia. Ne ho quasi 51: se mi girano per bene le balle mi faccio un phd /

dua lipa aiuterà a foraggiare i merdajuoli locali !!!!