Computer Vision Research Engineer đŸ‘ïž

Paris, France
Joined July 2013
Matteo Robino 🌍 retweeted
Replying to @KenneyNL
This is bullshit, Kenney. I’m the same tech tree following optimist who moved from C to C++, from 2D to 3D, and from closed source to open source. I run a company. I write code. I contribute to published papers. I’ve upped my expectations of AI. Up yours!
577
328
266
16,247
2,597,345
Matteo Robino 🌍 retweeted
Some reflections on AI in math. I found it helpful to simply list out the various parts of what a mathematician does, why math is valuable, and where the funding comes from. From there, what happens if AI gets more capable? youtu.be/LKrwhjOI8Nc
50
284
56
2,475
270,523
Matteo Robino 🌍 retweeted
Replying to @dhh
We’ll be back
22
6
274
20,422
Matteo Robino 🌍 retweeted
Je ne veux plus frĂ©quenter les gens qui disent « À quoi ça sert ? ». J’ai 50 piges sur mon passeport, 12 ans dans ma tĂȘte (et 18 ans dans mon slip, dirait ma femme). Et je compte bien que ça dure. Je ne supporte plus les pisse-vinaigre professionnels du scepticisme. À quoi ça servait de vouloir voler ? De traverser les ocĂ©ans ? De marcher sur la Lune ? À rien. Jusqu’au jour oĂč quelqu’un l’a fait. J’ai toujours eu une tendresse infinie pour les originaux. Les inadaptĂ©s. Les rebelles. Les emmerdeurs. Ceux qui ne rentrent pas dans les cases. Ceux qui ont des idĂ©es absurdes, des ambitions dĂ©mesurĂ©es, des projets improbables. Parce que ce sont eux qui font avancer le monde. Pas les gestionnaires du dĂ©clin. Les gens suffisamment fous pour croire qu’ils peuvent changer le monde sont prĂ©cisĂ©ment ceux qui finissent par le changer. Et ce qui me terrifie aujourd’hui c’est l’état d’esprit que nous transmettons Ă  nos enfants. On les Ă©lĂšve dans une atmosphĂšre de fin du monde permanente. Entre malthusianisme, injonctions Ă  la dĂ©croissance, culpabilitĂ© Ă©cologique et anxiĂ©tĂ© organisĂ©e. Quelle terrible inversion des valeurs ! L’écologie devrait ĂȘtre un formidable dĂ©fi lancĂ© Ă  l’intelligence humaine, pas une pĂ©dagogie de la rĂ©signation. Je ne veux pas d’une gĂ©nĂ©ration qui s’excuse d’exister au point de ne plus faire d’enfants Je veux une gĂ©nĂ©ration qui brĂ»le d’envie de dĂ©couvrir, de crĂ©er, de baiser, de comprendre ! l’optimisme n’est pas de la naĂŻvetĂ© mais le courage de croire en notre capacitĂ© Ă  tout affronter. Le progrĂšs n’est pas une fatalitĂ© mais une conquĂȘte. C’est mon ode aux rĂȘveurs, aux inventeurs, aux enthousiastes, aux insoumis, aux doux dingues et aux emmerdeurs magnifiques. À tous ceux qui disent « t’es cap ? » plutĂŽt que « À quoi ça sert ? ». J’ai 50 ans, et je refuse de devenir vieux dans ma tĂȘte. Aux fous qui veulent changer le monde !
Real life, baby
781
2,391
262
15,010
330,899
Matteo Robino 🌍 retweeted
Should Europe leave frontier AI to the Americans and the Chinese? The idea has gained ground in Europe. It is a fundamental mistake. Build or surrender: for now, the choice is still ours. Full article below.
264
747
222
3,801
408,188
Matteo Robino 🌍 retweeted
"Ils ont annihilĂ© mon domaine de recherche": nouveau coup de massue d’OpenAI sur le monde des mathĂ©matiques En rĂ©solvant des problĂšmes extrĂȘmement complexes par centaines, l'IA provoque les larmes d'Hugo Duminil-Copin, mĂ©daillĂ© Fields lemonde.fr/sciences/article/

173
282
56
817
190,246
Matteo Robino 🌍 retweeted
Nah, it's a nothingburger. The final statement is checked for semantic alignment (part of Deep Mind's Formal Statements), and sorry-free with standard axioms. They just missed step 3: Step 1 (hard!): have your AI solve the problem and write a natural language paper. Step 2 (super hard!!): have your AI formalize the paper, which obviously requires correcting any typos in the argument, including possibly errors in any references on which it relies. Step 3 (easy): have your AI go back over your NL writeup, compare it to the formal, and fix the issues surfaced, making sure to also point out any corrections from references that were fixed. The fact that an intermediate lemma uses m+4 regularity in NL but m+5 in the formal proof? Nothingburger.
Replying to @ElliotGlazer
IDK
 I don’t think this is a nothing burger for mathematicians though. I think if one verifies a faithful translation of the problem into lean, and provides a lean proof (with no sorries) and provides a prose proof, the implication is that the prose proof reflects the arguments in the lean proof (and vice-versa). What other purpose could it have? I think the community hasn’t landed on what a “proof” is with the introduction of lean certifications, but I think it’s a meaningful problem if the prose proof and lean proofs don’t closely parallel each other.
23
25
6
274
26,424
Matteo Robino 🌍 retweeted
Replying to @KrzakalaF
Au contraire. C'est une nouvelle Ăšre qui s'ouvre pour les mathĂ©matiques. Une Ăšre oĂč la dĂ©monstration formelle est largement automatisĂ©e et oĂč l'accent sera reportĂ© sur le dĂ©veloppement de nouveaux concepts, nouvelles abstractions, nouvelles dĂ©finitions, et nouvelles conjectures. L'invention du bateau a rĂ©duit l'importance de la nage, mais a permis la dĂ©couverte de nouvelles terres.
145
641
142
4,509
244,772
Matteo Robino 🌍 retweeted
We serve those as well! Sorry if using nuclear energy is a real blocker
Berlin-based search engine Ecosia, used by government services, is dropping its French AI partner, Mistral, its CEO told POLITICO. The company will now bet on open-source models, including those from China. vist.ly/5mh5y
181
465
41
5,936
362,708
Matteo Robino 🌍 retweeted
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.
đŸ€– Made with AI
2,025
4,573
2,803
40,643
5,687,371
Matteo Robino 🌍 retweeted
Excited
214
326
201
3,322
450,466
Matteo Robino 🌍 retweeted
At the new Bull factory in Angers. I’m impressed.
3
3
2
46
17,977
Matteo Robino 🌍 retweeted
Replying to @hugues_va
Yeah LeJEPA is not a JEPA, that's some bullshit and I'm annoyed about it
7
7
48
2,563