la mia ideologia

piu disoccupato della signorina sfigo (mamma)

I love the math copium on twitter! The enthusiasm! The exclamation points!! So much to read!!!! So much left to do!!!!! Yayyyyy!!!

RT @365Wokedenken: Paese che vive nel 3000

Reading the comments of junior mathematicians confirms what many senior mathematicians have been warning about over the past month: It is becoming clear that people with the intellectual ability to understand these proofs will not be interested in spending their lives training to check LLM logs. This is the tragic side of what is happening that almost no one — except the actual mathematicians — seems to get. Either we figure out how to keep people interested in doing mathematics, or in 20 years LLMs will have no one’s work left to recombine into new proofs, and no one interested in reading those proofs. That would be the thermal death of mathematics. The argument that “LLMs will read LLM math” is so shortsighted that it makes me want to cry…

No dai ha fatto una pausa per insultare Torino

I believe this marks the point where most people will stop caring about the math results and just say "of course AI is better at math than humans" Gentle reminder that this will eventually happen to every verifiable domain. At some point humans are the bottleneck.

You’re deluding yourself if you think AI advances like in math aren’t coming to economics and other social sciences

I think it’s great that AI is automating boring stuff like art and new discoveries, freeing us all up to do more meaningful things like gambling and watching pornography for 10 hours a day

ci avevano promesso di curare il cancro btw, ci toccherà invece lavorare di più e peggio

Dai dai che il metadonito ci resta secco

Francia: Mistral drop + nuovo missile lanciato da un SNLE + studenti liceali in strada a protestare. Italia: eccoti una buttata ripiena di pistacchio nel tuo panino alla mortadella

Meet Mistral Large 4, aka Le Chonk. • 1T parameters, natively multimodal. 49B active. It is the best open weights model from US or Europe on aggregated benchmarks. • State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding. • Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure. • Available to all via API today. Working with cybersecurity partners privately. Open weights release end of October.

Eh? Hilbert famously crashed out when it was proven that his automation project was impossible.

Giovanni Malagò commissariato da Giovanni Malagò, semplicemente ITALIA

Last couple months felt like this

melenchon ha zero chance di vincere LOL

questo é esattamente IL problema che affligge l’occidente per la prima volta nella storia i vecchi sono di piu dei giovani, i prossimi 25 anni saranno molto brutti

See, this is what we want robots for. Clean waterways, sweep streets, etc.