Laurent M. @_1000ml
This account is inactive, follow me on LinkedIn. linkedin.com/in/laurentmill… Paris, France Joined March 2010-
Tweets6K
-
Followers932
-
Following1K
-
Likes3K
Laurent M. retweeted
Happy to introduce Kimina-Prover-72B ! Reaching 92.2% on miniF2F using Test time RL. It can solve IMO problems using more than 500 lines of Lean 4 code ! Check our blog post here: huggingface.co/blog/AI-MO/kim… And play with our demo ! demo.projectnumina.ai
7
47
276
27K
98
Download Image
Laurent M. retweeted
We believe formal math is the future. 🔥Introducing Kimina-Prover Preview, a Numina & @Kimi_Moonshot collaboration, the first large formal reasoning model for Lean 4, achieving 80.78% miniF2F. github.com/MoonshotAI/Kim…
Laurent M. retweeted
🔬 Sharing an early look at Kimina-Prover, our new Lean theorem proving model from our collaboration with Numina! @JiaLi52524397 🏆 Using an RL pipeline for proof exploration, Kimina-Prover Preview achieved 80.7% on the miniF2F — currently SOTA on this benchmark. We see promise…
Laurent M. retweeted
🚀 NuminaMath 1.5 is here! 🚀 900k+ high-quality competition math problems with CoT solutions, new problem metadata, manually verified Olympiad problems, and more! 📚🏅 Check it out: 🔗 huggingface.co/datasets/AI-MO… Thanks to @Will424408 @dsleo
This account is inactive, follow me on LinkedIn linkedin.com/in/laurentmill…
Laurent M. retweeted
Project Numina is thrilled to announce a €3m research grant from XTX Markets to support the development of open-source AI tools for mathematicians and general progress in AI reasoning! businesswire.com/news/home/2024…
Laurent M. retweeted
Laurent M. retweeted
New Renault 17 electric concept
Laurent M. retweeted
On est tous d'accord ❤️ #Paris2024
Laurent M. retweeted
Françoise Hardy, París, 1944-París, 2024.
Laurent M. retweeted
🔴[ THREAD ] Les Jeux Olympiques devraient faire un retour aux sources et s’y tenir pour de bon. ▶️Oui c'est mon avis. ▶️Oui il y'a des paramètres à préciser. ▶️Oui c'est injuste (non.) Mais comme on ne peut pas faire pire qu'aujourd'hui, je me permets ces hypothèses : ⬇️
Laurent M. retweeted
Voici le tout nouveau #Bastille, un vélo pliant format 27,5 pouces au cadre #MadeinFrance, par le concepteur de la poussette Babyzen Yoyo.
Laurent M. retweeted
too real
Laurent M. retweeted
All digital media by the end of 2023:
Laurent M. retweeted
The French really did the “this is fine” meme.
Laurent M. retweeted
Les conséquences d'une faute d'orthographe dans le monde moderne. Super sens du timing de la part de @BescherelleFR avec cette campagne drôle et efficace, qui met en scène une #IA générative extrêmement disciplinée, via @laReclame lareclame.fr/brainsonic-bes… #GPT3
Laurent M. retweeted
I often hear Americans & rich brits justify buying oversized, polluting vehicles by claiming they need them because they live in the "countryside". I call bullshit, Ladies and Gentlemen, allow me to introduce, the Citroen C15⬇
Quelle est cette diablerie, avec des freins à patins.
Paul @arpeegee
5K Followers 2K Following 🇫🇷 🇬🇧 Freelancer - senior 3d generalist - webGL 3d artist ex @active_theory @buttermaxstudio @fwa Judge Views my own.
William Mapan @williamapan
38K Followers 554 Following Artist. Systems & paint— CODE + MATTER. October 21-26, 2025. Paris.
Adrien Havet @adhavet
7K Followers 747 Following Immolé par le fun. @sharknatto's angry sidekick at @fortifem.
Tim Soret @timsoret
43K Followers 7K Following Founder @oddtalesgames Directing The Last Night @TLN_Game Art Direction, Cinematography, Tech Art. Atoms, Bits, Memes, Genes. Freedom, Futurism, Humanism.
Martin Silvestre @martinsilvestre
4K Followers 764 Following Founder & Creative Director Numbered Group. @numbered_agency / Numbered Tech and Numbered Production. Awwwards Independant of the Year 2018.
Henry 🦊 @Upskydown
5K Followers 1K Following Speaks to fast, thinks too much… ex CEO @dogstudio. Investor @stabilityai, @leonardoAI_, @acrylicrobotics, @canva, @blockadelabs, @matr_lab. Also @henrydaubrez
Manuel Tocanne @BLOCK_LETTERS
2K Followers 929 Following Freelance creative director, designer Former @goodkids_agency , Building @daydream1820 💐
Benjamin Guedj @BenGuedj
6K Followers 429 Following Designer from Paris. The chair Mikado is now available on Bureau Benjamin. From virtual to real.
Yorick de Mombynes @y_de_mombynes
594 Followers 4K Following 🇫🇷Senior Public Auditor @Courdescomptes (conseiller maître) - Austrian Economics - Bitcoin
Asratqaus @Asratqaus643
24 Followers 1K Following
Nylleson @Nylleson194477
6 Followers 310 Following
Shckeyski @ShckeyskiJ8g6a
48 Followers 5K Following
McWrore @McWrorehBhMSv
97 Followers 7K Following
Tiloteigh @TiloteighEuSB
37 Followers 5K Following
Jia Li @JiaLi52524397
2K Followers 251 Following Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Johan Bakken @johanbakken
3K Followers 3K Following Co-founder of @bakkenbaeck and partner at https://t.co/ZMAnUKYjui
Toughwit @ToughwitSlQ
48 Followers 5K Following
Theresa @mcmurray_theres
326 Followers 3K Following
Neeslit @Neeslito_yh4Re
48 Followers 4K Following
Noughez @noughez98218
54 Followers 6K Following A strong woman is one who is determined to do what others are determined not to do.
AmandaDuncan @DoPJ9velsxL69Z
61 Followers 7K Following
EmilyRhys @8pC980b2N8oPaz
64 Followers 7K Following
Eliza @60kEhX0MW90f0Y
70 Followers 7K Following
HuldaPope @ttUYmB17xzemU
52 Followers 6K Following
NicolaBloor @o4ROgH580jyB6I
92 Followers 7K Following
Ruth @57kuPUsrh8l081
55 Followers 7K Following
LorraineMay @hSbD0d3k95M93
10 Followers 1K Following
Frida @iishikikue40096
34 Followers 3K Following
Licheigh @licheigh12793
160 Followers 7K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.
MyrnaLynch @MBBEbzrFvn53b4
56 Followers 7K Following
Smepsish @smepsish1029
51 Followers 2K Following
Slakeas @Slakeas174083
73 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
PageWard @5z7b2GgGaqA11
64 Followers 7K Following
Sheegud @sheegud4111
95 Followers 7K Following
Tough @Tough571015
87 Followers 4K Following
Ivar @Neighnour184677
66 Followers 348 Following
Lula @cox_lula60
358 Followers 3K Following
Shawn @shawnhefty45
269 Followers 3K Following
Laura @lavoie22laura22
431 Followers 3K Following
Yesenia @bencomoyesenia2
241 Followers 3K Following
Stiranu @Stiranu175794
52 Followers 1K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.
McSeere @MSeere35600
109 Followers 7K Following
Wanita @madison66wanita
352 Followers 3K Following
The Bees Camp @the_bees_camp
29 Followers 550 Following Bienvenue dans la ruche de l'innovation commerciale : The Bees Camp ! Où notre communauté d'experts du business vous apporte des opportunités commerciales.
Hayley Hampton @HayleyHampton13
103 Followers 503 Following SHE DOES NOT KNOW WHAT THE FUTURE HOLDS, BUT SHE IS GRATEFUL FOR SLOW AND STEADY GROWTH.
Patricia Pao❤️ @Patricia_p9
4K Followers 2K Following Disponible pour des plans culs uniquement sans prise de tête. Me contacter pas si c'est pas de plan de baise merci 🍒
Jérôme D. @JerryD83500
48 Followers 490 Following
MOMO Adrien @MOMONickson
12 Followers 132 Following
Cyprien Hallé @CyprienHalle
2K Followers 3K Following CPO & Co-founder @ darwin | Biodiversity Footprint made easy | Ex-VC | Engineering & Product | Nature Intelligence, Business Resilience
Shailendra Kumar @meisshaily
78K Followers 71K Following #Author: Making Money Out of Data /#Keynote #Speaker/ #Evangelist #BigData #Analytics #DataScience #Data #MachineLearning #Deeplearning #ArtificialIntelligence
William Mapan @williamapan
38K Followers 554 Following Artist. Systems & paint— CODE + MATTER. October 21-26, 2025. Paris.
Adrien Havet @adhavet
7K Followers 747 Following Immolé par le fun. @sharknatto's angry sidekick at @fortifem.
Tim Soret @timsoret
43K Followers 7K Following Founder @oddtalesgames Directing The Last Night @TLN_Game Art Direction, Cinematography, Tech Art. Atoms, Bits, Memes, Genes. Freedom, Futurism, Humanism.
Julien Moya @JulienMoya
6K Followers 54 Following I left this place. Find me at https://t.co/3yaUBEl4KB 💾 Co-founder & Creative Director @rundisc_
˗ˏˋ rogie ˎˊ˗ @rogie
109K Followers 866 Following Digital builder & chaos animal. Product designer on Figma Draw. Prior: Advocacy at Figma. ❤️ horror movies, electronic music, ass-numbing hot sauces, art & code
Martin Silvestre @martinsilvestre
4K Followers 764 Following Founder & Creative Director Numbered Group. @numbered_agency / Numbered Tech and Numbered Production. Awwwards Independant of the Year 2018.
Charles Patterson @CharlesPattson
88K Followers 659 Following Principal product designer at Microsoft
mrdoob @mrdoob
82K Followers 768 Following Award losing non creative junior developer. May or may not have something to do with @threejs.
Jaume Sanchez Elias �... @thespite
23K Followers 660 Following Web Dev, pixel burner - WebGL · WebXR - UX/UI @GoogleDeepMind
Henry 🦊 @Upskydown
5K Followers 1K Following Speaks to fast, thinks too much… ex CEO @dogstudio. Investor @stabilityai, @leonardoAI_, @acrylicrobotics, @canva, @blockadelabs, @matr_lab. Also @henrydaubrez
Josué @jozue
1K Followers 0 Following "J'ai survécu à la fin du monde et à la Fnac des Halles le dernier samedi avant Noël." Freelance Art Director & Photographer. Parti sur Blue Sky Ex: FCINQ, Uzik
Manuel Tocanne @BLOCK_LETTERS
2K Followers 929 Following Freelance creative director, designer Former @goodkids_agency , Building @daydream1820 💐
Benjamin Guedj @BenGuedj
6K Followers 429 Following Designer from Paris. The chair Mikado is now available on Bureau Benjamin. From virtual to real.
Jia Li @JiaLi52524397
2K Followers 251 Following Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Johan Bakken @johanbakken
3K Followers 3K Following Co-founder of @bakkenbaeck and partner at https://t.co/ZMAnUKYjui
Steeve Morin @steeve
6K Followers 1K Following Building @zml_ai (and we're hiring), ex @zenly, ex Exalead, ex @google. Skydiver and wingsuiter.
Shayne Coplan 🦅 @shayne_coplan
101K Followers 821 Following CEO @Polymarket. Ethereum since ’14. I love music and collect art.
Jack Clark @jackclarkSF
89K Followers 5K Following @AnthropicAI, ONEAI OECD, co-chair @indexingai, writer @ https://t.co/3vmtHYkIJ2 Past: @openai, @business @theregister. Neural nets, distributed systems, weird futures
Alex Reibman 🖇️ @AlexReibman
46K Followers 810 Following Hyper Engineering @agentopsai Vibes @cerebral_valley Checks https://t.co/7GjxnkUotw Hack reporter
Kat ⊷ the Poet Engi... @poetengineer__
51K Followers 350 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Decart @DecartAI
17K Followers 2 Following A new era of real-time generative experiences, enabled by cutting-edge AI efficiency
AK @_akhaliq
428K Followers 3K Following AI research paper tweets, ML @Gradio (acq. by @HuggingFace 🤗) dm for promo ,submit papers here: https://t.co/UzmYN5YmrQ
je me Gauss ⓩ ن @tibreiz
1K Followers 3K Following la valise ou la hijra. "Le rôle de l'impôt n'est pas de lutter contre les inégalités mais d'assurer le financement des services publics".Jean-Marc Daniel.
Chief AI Officer @chiefaioffice
36K Followers 1K Following Track the latest funding in AI → https://t.co/NlbhFKCLNf
Jim Fan @DrJimFan
327K Followers 3K Following NVIDIA Director of Robotics & Distinguished Scientist. Co-Lead of GEAR lab. Solving Physical AGI, one motor at a time. Stanford Ph.D. OpenAI's 1st intern.
mansin @Mankaran32
7K Followers 627 Following Built @flowdrive_ai. I work on everything AI and robotics. role models @realGeorgeHotz & @iSidhuMoosewala
Kasper Vandeloock @kasperloock
12K Followers 3K Following advisor/trader/angel @loockadvising | Advisor @extendedapp @valhalla_defi @BurwickLaw and others
John-Michael Murphy @johnmichael_mur
2K Followers 1K Following live data and visualizations @perplexity_ai, formerly @nytgraphics. software. news. running.
Joy Howard @joyehoward
3K Followers 1K Following Deep cosmopolitanism (she/her/mme). CMO @backmarket. Formerly @patagonia @sonos @nike.
Lukas Ziegler @lukas_m_ziegler
14K Followers 561 Following robotics evangelist | riding the wave of robotics | angel investing & scouting 🕵🏼♂️
Julian Schrittwieser @Mononofu
9K Followers 100 Following Member of Technical Staff at Anthropic AlphaGo, AlphaZero, MuZero, AlphaCode, AlphaTensor, AlphaProof Gemini RL Prev Principal Research Engineer at DeepMind
Documentaire et Véri... @DocuVerite
23K Followers 550 Following Association - Réalisation de documentaires Analyses et Actualité - Énergie, Industrie 🎥"Éoliennes, du rêve aux réalités Nucléaire, une énergie qui dérange"
Beem @beemthinks
3K Followers 0 Following
Tiny Brain Meow 🔴 @braincel05
458 Followers 308 Following (replies might take 24+h) linear algebra, linux/nvim, SWE, ML, chill onli 🟢 https://t.co/UedH0MYko1 (chord charts for spotify)
Interintellect 🧭 @interintellect_
21K Followers 11K Following Fearless conversations with friendly people. Events https://t.co/7UXqgzgbm6 Members https://t.co/YCVdmu1aFm Hosts https://t.co/5PpjlY3Ehq
Interface @Interface
3K Followers 115 Following A new kind of venture firm by @christianreber and @jansenniklas.
Jimmy Lee @wwwjim
9K Followers 1K Following @InternetxStudio & @ManaMgnt ➝ I make websites & I invest in people making companies.
Professeur Carré @Geometriquement
2K Followers 2K Following Enseignant dans un « petit lycée d’Île‑de‑France » selon une étude sociologique signée par un directeur de recherche du CNRS.
Traderform @traderform
12K Followers 1K Following Chasse pêche finance et gestion de patrimoine Suivez ma newsletter mensuelle https://t.co/FZRevulcQx
basement.studio @basementstudio
13K Followers 887 Following A digital studio making cool shit that performs.
MotherDuck @motherduck
8K Followers 161 Following Data warehouse for customer-facing and internal analytics, built in collab with @duckdblabs. Join us at Small Data SF, Nov 4th & 5th. https://t.co/TSxedEMVEm
Till Döhmen @tdoehmen
405 Followers 114 Following 🤖 AI/ML 🦆 @motherduck, part-time PhD in Databases/ML https://t.co/g76bBKI9J8
Julien | Tech & Inves... @JulienTechInvst
9K Followers 148 Following NDE chez AWS. Investisseur actif. Je partage mes analyses sur la base des données que j’ai en ma possession. ⚠️ Pas de conseil en investissement - DYOR !
eu/acc @euacchq
13K Followers 215 Following European Acceleration. Pro-Growth. We want to make Europe grow better, stronger and to show leadership. EU HQ.
Kaiwan Shaban @itskaiwan
27K Followers 2K Following Visual Artist | 1/1 → https://t.co/Vka0KYIBcK | https://t.co/33arXufaiQ | Business inquires | [email protected]
full-snack developer ... @notdanilu
37K Followers 1K Following cybersecurity program manager | marketing @renderatl | #freehaiti
Michael Cho - Rbt/Acc @micoolcho
5K Followers 2K Following I ❤️ robots, cheap hardware, steam engines, XGBoost, Liverpool FC & SG 🇸🇬 | Plane crash survivor | Building @frodobots @BitRobotNetwork @robotsdotfun @UFBots
Nick Foley @nhfoley
4K Followers 1K Following Hardtech for the future @ newstealthco / Solarpunk https://t.co/qOeQ2RpLvc / https://t.co/PUXwu8lxR5 Ex: HW @Uber / @gravisrobotics Cofounder https://t.co/Y4VGA8H1eu / https://t.co/2mKa9BcvDj
CHEN YAO @CHENYAO981123
2K Followers 396 Following Sales manager of MyActuator,like to communicate with robot and actuator enthusiast,for more product inquiry，please contact: [email protected] DMs open
D-lan @ChinChiChou
2K Followers 112 Following Your winning research & creative workflow w/ Brandsearch
Trends for United States
3.191 posts
9.637 posts
8.531 posts
20,2 B posts
105 B posts
7.154 posts
66,8 B posts
53 B posts
3.986 posts
43,7 B posts
18,9 B posts
27,6 B posts
63,4 B posts
1.178 posts
30,8 B posts
2.551 posts
8.826 posts
28,1 B posts
You might like
Arnaud Tanielian
@Danetag
2K Followers
Antoine ménard
@IamKonky
2K Followers
Manuel Tocanne
@BLOCK_LETTERS
2K Followers
(ro)RomainB(lafrite)
@rorolafrite
1K Followers
Léo Chéron
@mrgnou
1K Followers
Baz
@therealbaaz
1K Followers
Marc Horgues
@marchorgues
840 Followers