Project Numina @ProjectNumina
Advancing open-source AI for Math Paris Joined July 2025-
Tweets13
-
Followers215
-
Following11
-
Likes4
#IMO2025 has begun a few hours ago, wishing a great Olympiad to all the students! We're eager to see how the different AIs perform, including ours 💪🔥 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience…
1
0
20
1K
1
Download Image
This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience
This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience
Haoxuan (Steve) Chen @haoxuan_steve_c
963 Followers 3K Following Ph.D. in ICME @Stanford; B.S. @Caltech; ML Intern @AmazonScience @NECLabsAmerica; Applied & Computational Math/Machine Learning/Statistics/Scientific Computing
Serena @P38A7rNu59LoKYz
18 Followers 721 Following
epistenomics @epistenomics
1 Followers 46 Following AI-driven adjudication and prediction at https://t.co/4l9TnViowZ
Gaetan @NarozniakGaetan
1 Followers 8 Following
Chiung-Yi Tseng @ctseng_
1 Followers 170 Following
Hao Zhou @sunday_hao
1 Followers 66 Following
Acer @AcerFur
1K Followers 1K Following Furry pure maths student @Cambridge_Uni. Loves analytic NT. | 🇬🇧🇵🇹 He/Him | 21 Bi/Demi INTJ-T LII 6w5 | Mostly SFW | pfp: @SketchyTigers
!.! @xypyth
57 Followers 5K Following
Max Ovsiankin @maxovsi
21 Followers 73 Following Ph.D. student at @TTIC_Connect, studying theoretical CS
Lorenzo Beretta @lorenzo2beretta
6 Followers 48 Following PhD student in Theoretical Computer Science at @barcdk, University of Copenhagen.
ChrisUniverse 🗽 @ChrisUniverseB
41K Followers 13K Following Quantum Physicist — AI Research Scientist— Spiritual — Firstly, a visionary. 🌪️Creative Partner: @Freepik • @Hailuo_AI • @Pika_Labs
Ræ Rosé Dad @robertdecorator
20 Followers 2K Following
Bastien Gares @bastiengares
3K Followers 8K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
Unchun Yang @unchunyang
125 Followers 3K Following
Ebony59 @Ebonyzhang
2 Followers 130 Following
Rajesh Pillai @RajeshPillai_B
9 Followers 410 Following
Just a chill dev 🤙... @anislerouge
697 Followers 481 Following Software Engineer | founder of @htmlagency | alumni @insadelyon x @helsinkiuni
Qingfei You @qingfeiyou
17 Followers 266 Following
Alonso Silva @alonsosilva
4K Followers 3K Following AI Researcher @ Bell Labs | PhD in Physics | LLMs, LLMs, LLMs
杨明YangMing @AIYangMing
77 Followers 539 Following Math & Tech. Passionate about your field + ideas for LLM integration + based in HK/SZ? Let's grab coffee and explore the possibilities. Reach out via DM.
Vadim Liventsev @vadimdotme
77 Followers 1K Following lead hip hop engineer @ https://t.co/y80r2iuMsN
asdfghj asd @asd30442
0 Followers 6 Following
Samuel "curry-howard ... @SamuelAinsworth
3K Followers 3K Following prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend. spondyloarthritis, cars ruin cities, open source
Zheng Yuan @GanjinZero
994 Followers 784 Following Seed-Prover, Lean-Workbook, RRHF, RFT and MATH-Qwen. @BytedanceTalk Prev @Alibaba_Qwen, Phd at @Tsinghua_Uni
prof de svt vive les ... @ascplnygc
24 Followers 323 Following
100forthe1's @sylandroid
505 Followers 5K Following
Aperol Spritz @hma_hma_hma
2 Followers 38 Following
Yang Fan 范阳 @Yang_Supertramp
1K Followers 7K Following A founder & VC, GP @ Capital O ❤️🤖🧬🌍🐳🧘🎨Founded ELSEWHERE(China’s Airbnb x Wework). The Explorers Club member,once searched for Genghis Khan’s tomb.
Teo @sirteo1205
15 Followers 407 Following
David Bellamy @DavidRBellamy
521 Followers 2K Following something new | prev founding engineer @LilaSciences, PhD @Harvard. 🇨🇦🇫🇷
Michał Świętek @swietek_michal
200 Followers 19 Following Co-founder at Aleph Zero, leading the implementation efforts.
Alexander Doria @Dorialexander
19K Followers 4K Following Reasoning models to come. Co-founder @pleiasfr
Waren Long @warenlg
247 Followers 299 Following Founding engineer - Lead Data Pretraining @poolsideai | prev Head of Product @athenianco acq. by The Linux Foundation | prev ML Engineer @sourcedtech
Tyler R. Josephson (a... @trjosephson
1K Followers 1K Following AI & Theory-Oriented Molecular Science. New dad. Asst Prof at @UMBC_CBEE, learning proofs and programming in @leanprover. RT≠PV/n
Nilesh Trivedi @nileshtrivedi
11K Followers 7K Following Building AIs at https://t.co/duOuULnu9d I love machines, math & music. @lossfunk @meta @foresightinst @clearFromCT @iiml @iitkgp ❤️ https://t.co/kJujVRw8jZ
Rupesh Srivastava @rupspace
2K Followers 691 Following Doer of Technical Stuff. (Co)developed Highway Networks, Upside-Down RL, Bayesian Flow Networks, EvoTorch 📜 Learning is compression.
Kimi.ai @Kimi_Moonshot
53K Followers 100 Following Built by Moonshot AI to empower everyone to be superhuman.
tao terrence @terrence_tao
5K Followers 1 Following Tao's my name and math is my thing:) I could say my greatest quality is that I have my own theorem, you know the green-tao theorem, everyone's heard of that:)
Guillaume Lample @ Ne... @GuillaumeLample
41K Followers 658 Following Cofounder & Chief Scientist https://t.co/hLfvKLldwL (@MistralAI). Working on LLMs. Ex @MetaAI | PhD @Sorbonne_Univ_ | MSc @CarnegieMellon | X11 @Polytechnique
Mert Ünsal @mertunsal2020
1K Followers 795 Following Agent Lead @browser_use, prev. RL Research at @ProjectNumina @ETH_en
Mantas Bakšys @BaksysMantas
21 Followers 30 Following PhD student @University of Cambridge; AI Researcher @Project Numina
Thibaut @thibautbarroyer
3 Followers 11 Following
Yann Fleureau @yannfleureau
406 Followers 80 Following
Léo Dreyfus-Schmidt @dsleo
822 Followers 237 Following AI, Maths & Product @ Project Numina - Commutative Diagram Enthusiast
Jia Li @JiaLi52524397
2K Followers 251 Following Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at CardiologsTrends for United States
7.795 posts
55,3 B posts
5.813 posts
54,5 B posts
49,7 B posts
52,7 B posts
46,5 B posts
11,4 B posts
34,6 B posts
330 B posts
2.279 posts
40,8 B posts
20,2 B posts
405 B posts
54,1 B posts
1.008 posts
24,1 B posts
10,2 B posts
16,4 B posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers