Laurent M. @_1000ml
This account is inactive, follow me on LinkedIn. linkedin.com/in/laurentmill… Paris, France Joined March 2010-
Tweets6K
-
Followers912
-
Following1K
-
Likes3K
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
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…
🔬 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 in this approach for intuitive proof discovery. Open-sourcing: ✅1.5B/7B distilled models ✅Custom autoformalizer ✅Revised miniF2F benchmark Supporting the Lean community while we continue development. This is ongoing work, stay tuned for updates! 👉🏻 Full technical report on GitHub: 🔗 github.com/MoonshotAI/Kim…
🚀 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…
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…
New Renault 17 electric concept
👀
We’re never going there. Creativity is made, not generated. You can read more at procreate.com/ai ✨ #procreate #noaiart
On est tous d'accord ❤️ #Paris2024
Françoise Hardy, París, 1944-París, 2024.
@andrea_fanelli @alessio_joseph Thanks for sharing
@ZacharyWilliam_ @Starlink Dope, can you use it on a 12v power ?
🔴[ 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 : ⬇️
@MargauxMoon Facile, un cours dans un atelier de menuiserie.
Paul @arpeegee
6K Followers 2K Following 🇫🇷 🇬🇧 Freelancer - senior 3d generalist - webGL 3d artist ex @active_theory @fwa Judge Patreon: https://t.co/OkQsBwr5oQ
Adrien Havet @adhavet
6K Followers 792 Following Immolé par le fun. @sharknatto's angry sidekick at @fortifem.
Tim Soret @timsoret
50K Followers 8K Following Founder @oddtalesgames Creative Director @TLN_Game Art Direction, Cinematography, Tech Art. Atoms, Bits, Memes, Genes. Courage, Freedom, Futurism, Humanism.
Martin Silvestre @martinsilvestre
4K Followers 759 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 930 Following Freelance creative director, designer Former @goodkids_agency , Building @daydream1820 💐
Asratqaus @Asratqaus643
33 Followers 1K Following
Nylleson @Nylleson194477
8 Followers 298 Following
Shckeyski @ShckeyskiJ8g6a
45 Followers 4K Following
Tiloteigh @TiloteighEuSB
42 Followers 4K Following
Jia Li @JiaLi52524397
2K Followers 283 Following Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Johan Bakken @johanbakken
4K Followers 4K Following Co-founder of @bakkenbaeck and partner at https://t.co/ZMAnUKYjui
Toughwit @ToughwitSlQ
49 Followers 5K Following
Neeslit @Neeslito_yh4Re
52 Followers 4K Following
Noughez @noughez98218
55 Followers 6K Following A strong woman is one who is determined to do what others are determined not to do.
EmilyRhys @8pC980b2N8oPaz
72 Followers 7K Following
Eliza @60kEhX0MW90f0Y
72 Followers 7K Following
HuldaPope @ttUYmB17xzemU
52 Followers 6K Following
Ruth @57kuPUsrh8l081
54 Followers 7K Following
Licheigh @licheigh12793
133 Followers 7K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.
MyrnaLynch @MBBEbzrFvn53b4
55 Followers 7K Following
Smepsish @smepsish1029
48 Followers 2K Following
Slakeas @Slakeas174083
70 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
PageWard @5z7b2GgGaqA11
65 Followers 7K Following
Sheegud @sheegud4111
92 Followers 7K Following
Tough @Tough571015
68 Followers 4K Following
Ivar @Neighnour184677
57 Followers 339 Following
Stiranu @Stiranu175794
46 Followers 1K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.
McSeere @MSeere35600
84 Followers 7K Following
The Bees Camp @the_bees_camp
25 Followers 547 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
95 Followers 491 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
56 Followers 557 Following
MOMO Adrien @MOMONickson
12 Followers 130 Following
Cyprien Hallé @CyprienHalle
2K Followers 3K Following CPTO & Co-founder @ darwin | Biodiversity Footprint made easy | Ex-VC | Engineering & Product | Nature Intelligence, Business Resilience
Shailendra Kumar @meisshaily
77K Followers 70K Following #Author: Making Money Out of Data /#Keynote #Speaker/ #Evangelist #BigData #Analytics #DataScience #Data #MachineLearning #Deeplearning #ArtificialIntelligence
Clarisse @clarisselam
1K Followers 837 Following Another 🇫🇷 in 🇨🇭 | VC investing in fintech, insurtech and cyber 🤖
Mathieu Seaatcity @seaatcity
0 Followers 51 Following
Julien Dassonval @jdassonval
547 Followers 6K Following Founder & Exec Producer @_wadp ◦ Freelance Senior Leadership in Digital/Craft/Tech/AI/Innovation ◦ A bit of gaming 🎮 ◦ Fueled by coffee, @redbull & insomnia
Julie Smith @health_giant
607 Followers 4K Following Europe's largest, most valuable 2-day international annual festival of #healthtech #innovation Main GIANT Health Event 📆4-5 December 2023
Smart Data Health @SmartDataHealth
1K Followers 2K Following Cartographies et analyses d'écosystèmes Santé via #Twitter #Instagram Croisement avec #OpenData et #Linkedin #DataMarketing #Influence #KOL #DOL #hcsmeufr RGPD
Denis Beauchamp 🧢 @GrainHedger
28K Followers 11K Following Papa x2👦👧 #FrAgTw 🌱 Responsable céréales d'une coop 🇫🇷. #Auteur de «L’Incorrigible Famille »📚
Juliette Mopin @julsmpn
2K Followers 512 Following Building ✷ ex early-stage VC @isai_fr @joinstationf @Microsoft
Josée Feu @JoseeFeux
176 Followers 3K Following Nana lambda. Oreilles sensibles. Mains agiles. Aura fracass'
FrenchTechJournal @FRTechJournal
523 Followers 919 Following The French Tech Journal is a newsletter focused on the global community of French entrepreneurs and investors. Subscribe to get the latest updates.
Ertan Can @rtancan
3K Followers 1K Following Investor in micro VC funds. Founder of @MultipleCapital. Constantly looking for the #underdog in Venture Capital.
Adrien Havet @adhavet
6K Followers 792 Following Immolé par le fun. @sharknatto's angry sidekick at @fortifem.
Tim Soret @timsoret
50K Followers 8K Following Founder @oddtalesgames Creative Director @TLN_Game Art Direction, Cinematography, Tech Art. Atoms, Bits, Memes, Genes. Courage, 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
156K Followers 958 Following Web builder, artist & chaos animal. Figma draw, vectors, and a new special project. Prior: Advocacy @Figma. ❤️ horror movies, dubstep, hyperpop, hot sauce, art
Martin Silvestre @martinsilvestre
4K Followers 759 Following Founder & Creative Director Numbered Group. @numbered_agency / Numbered Tech and Numbered Production. Awwwards Independant of the Year 2018.
Charles Patterson @CharlesPattson
97K Followers 914 Following Get on design, don’t let design get on you
mrdoob @mrdoob
88K Followers 744 Following Award losing non creative junior vibe coder. May or may not have something to do with @threejs.
Jaume Sanchez Elias �... @thespite
25K Followers 652 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 @henrydaubrezJosué @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 930 Following Freelance creative director, designer Former @goodkids_agency , Building @daydream1820 💐
Jia Li @JiaLi52524397
2K Followers 283 Following Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Johan Bakken @johanbakken
4K Followers 4K Following Co-founder of @bakkenbaeck and partner at https://t.co/ZMAnUKYjui
Steeve Morin @steeve
9K Followers 1K Following Building @zml_ai (and we're hiring), ex @zenly, ex Exalead, ex @google. Skydiver and wingsuiter.
Shayne Coplan 🦅 @shayne_coplan
206K Followers 839 Following CEO @Polymarket. Ethereum since ’14. I love music and collect art.
Jack Clark @jackclarkSF
136K Followers 5K Following @AnthropicAI, ONEAI OECD, co-chair @indexingai, writer @ https://t.co/3vmtHYkIJ2 Past: @openai, @business @theregister. Neural nets, distributed systems, weird futures
Caitlin Kalinowski @kalinowski007
39K Followers 2K Following Builder-strategist in physical AI. Boards: Axon, Institute of Contemporary Art SF.
Alex Reibman 🖇️ @AlexReibman
56K Followers 853 Following Hyper Engineering @agentopsai Vibes @cerebral_valley Hack reporter
Kat ⊷ the Poet Engi... @poetengineer__
85K Followers 379 Following artist, engineer, researcher. neuroscience, machine psyche. science & art, futuristic & ancient. fyi: i have never created a crypto coin and i never will.
Decart @DecartAI
21K Followers 2 Following We are an AI research lab building Realtime world and video models for anything from gaming and entertainment to physical AI
AK @_akhaliq
509K Followers 3K Following AI research paper tweets, ML @Gradio (acq. by @HuggingFace 🤗) dm for promo ,submit papers here: https://t.co/UzmYN5XOCi
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
35K Followers 2K Following Track the latest funding in AI by @IamTalin
Jim Fan @DrJimFan
478K 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
8K Followers 815 Following Building @eyecandyrobots Built @flowdrive_ai role models @realGeorgeHotz & @iSidhuMoosewala
Kasper Vandeloock (we... @kasperloock
12K Followers 4K Following @weevexyz @loockadvising | Advisor @extendedapp @novadotmarkets and others
Joy Howard @joyehoward
3K Followers 1K Following Deep cosmopolitanism (she/her/mme). CMO @backmarket. Formerly @patagonia @sonos @nike.
Lukas Ziegler @lukas_m_ziegler
56K Followers 860 Following robotics evangelist | riding the wave of robotics | angel investing 🕵🏼♂️
Julian Schrittwieser @Mononofu
25K Followers 119 Following Member of Technical Staff at Anthropic prev AlphaGo, AlphaZero, MuZero, AlphaProof, Gemini RL etc at Google DeepMind
Documentaire et Véri... @DocuVerite
26K Followers 583 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
430 Followers 300 Following (replies might take 24+h) linear algebra, linux/nvim, SWE, ML, chill onli 🟢 https://t.co/UedH0MYko1 (chord charts for spotify)
Interintellect 🧭 @interintellect_
22K Followers 6K Following Public and members only conversations for the very curious • https://t.co/WA0E9L6PnG • https://t.co/YCVdmu1aFm • https://t.co/5PpjlY3Ehq
Interface @Interface
2K Followers 139 Following A new kind of venture firm by @christianreber and @jansenniklas.
Internet Development ... @internetxstudio
1K Followers 6 Following Shipping new products and maintaining old products since August 20, 2023, serving both new startups and enterprise companies. We design, code, ship & maintain.
Jimmy Lee @wwwjim
11K Followers 1K Following I make websites and friends janitor, advisor: @internetxstudio partner: @manamgnt design: @vmaxai
Professeur Carré @Geometriquement
3K 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
13K Followers 1K Following Chasse pêche finance et gestion de patrimoine Suivez ma newsletter mensuelle https://t.co/FZRevulcQx
basement.studio @basementstudio
18K Followers 916 Following A digital studio making cool shit that performs.
MotherDuck @motherduck
10K Followers 166 Following The data warehouse built for getting answers from your data. Works with AI agents and SQL. Built in collab with @ducklabs_com
Till Döhmen @tdoehmen
405 Followers 117 Following 🤖 AI/ML 🦆 @motherduck, part-time PhD in Databases/ML https://t.co/g76bBKI9J8
Julien | Tech & Inves... @JulienTechInvst
19K Followers 201 Following Network Analyst @SemiAnalysis_. Ex Network Engineer @ AWS ⚠️ Pas de conseil en investissement - DYOR ! ⚠️ Opinions are my own
eu/acc @euacchq
14K Followers 251 Following European Acceleration. Pro-Growth. We want to make Europe grow better, stronger and to show leadership. EU HQ.
Kaiwan Shaban @itskaiwan
30K Followers 1K Following Visual Artist | 1/1 → https://t.co/Vka0KYJ92i | Business inquires | [email protected] Print Giveaway → https://t.co/4ChfTUqv0a
full-snack developer ... @notdanilu
36K Followers 1K Following cybersecurity program manager | marketing @renderatl | #freehaiti
Michael Cho - Rbt/Acc @micoolcho
6K Followers 3K Following I ❤️ robots, cheap hardware, steam engines, XGBoost, Liverpool FC & SG 🇸🇬 | Plane crash survivor | Building @BitRobotNetwork @frodobots
Nick Foley @nhfoley
4K Followers 1K Following Hardware Cofounder @Seneca_Systems Firefighting Drones / https://t.co/PUXwu8l01x / https://t.co/qOeQ2RpdFE Ex: @Uber / @gravisrobotics / https://t.co/Y4VGA8GtoW / https://t.co/2mKa9BbXNL
CHEN YAO @CHENYAO981123
3K Followers 503 Following Your Servo Actuation Solutions Architect. Products inquiry, please contact: [email protected] DMs open.

































