The Math Genome Project @TheMathGenome
Democratizing higher mathematics with the 1st marketplace and social platform for mathematical proof curation, writing, and formalization. themathgenome.com Everywhere Joined April 2023-
Tweets39
-
Followers70
-
Following266
-
Likes26
🚀 RFP Alert: Lead The Math Genome Project! 🚀 We're looking for a new steward of The Math Genome Project (MGP)! If you're a non-profit, for-profit, or academic institution that wants to take the helm and shape the future of math research, DM @TheMathGenome
0
0
0
53
0
EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages arxiv.org/abs/2402.16878 @leanprover @CoqLang
The Math Genome Project retweeted
My LMS/BCS-FACS seminar is now available on my personal Youtube channel too. Many thanks to the organisers for sharing this video! youtu.be/rfbam4zILB8
Multiple new math research grants available for Gödel's Incompleteness Theorem, funded by the generous @contextfund and @chrislengerich! Check it out here tinyurl.com/GodelMathGrants
We're t̶h̶r̶i̶l̶l̶e̶d̶ exhausted to announce that the 1st marketplace and social platform aimed at democratizing higher mathematics is now available! Now, more people can make a living curating, writing, and formalizing theorems and proofs. themathgenome.com
Why do we need @TheMathGenome? As @edfrenkel wrote: "Mathematical knowledge is unlike any other knowledge."
@TheMathGenome needs @VancityReynolds to help us pull off a @Wrexham_AFC - like feat in science - the "The Human Genome Project of mathematics". @genome_gov #TheMathGenomeProject
The Math Genome Project themathgenome.com has launched, inspired by @genome_gov, @NIH @NIHDirector @POTUS.
Rylan Kuhlman @KuhlmanRyl37
111 Followers 3K Following
Revati Shelat @revatishelat
0 Followers 243 Following the poetry of logical ideas eh? well then, COUNT me in | Maths student, UoWarwick
Lia Toy @ToyLia99951
17 Followers 947 Following
Kundal kumar Singh @KumarKunda5836
31 Followers 904 Following
Ignas Budvytis @IgnasBud
532 Followers 2K Following Machine Learning and Computer Vision expert. Former Assistant Professor at the Department of Engineering, University of Cambridge
Anne @hoshinokim71692
95 Followers 7K Following
Alice Schwarze @aliceschwarze
4K Followers 2K Following AI Policy for @UtahGov / Sen Advisor @wins_society / math 🧮, networks 🕸️, neurons 🧠, complex systems 🦋, ML 👩💻, AI 🤖 / view are my own
Yaroslav Kharkov @yourball
22 Followers 27 Following
Carol @deaver_carol51
319 Followers 3K Following
Deidre @deidretaylor98
369 Followers 3K Following
Steinn Sigurðsson @steinly0
2K Followers 838 Following Astro Physicist. Scientific Director @arXiv Planets, Stars, Black Holes & Stuff. Whole Universes, If Needed. Dynamics of Cats; To Say Nothing of The Dog.
Khalid Alshehri @KhalidAlshehriR
4 Followers 83 Following
ProvablySafe.AI @ProvablySafeAI
65 Followers 531 Following Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.
QaaS @qaasforstartups
42 Followers 359 Following Quality as a Service 💡 | Save money in your startup's payroll, receive senior-level software quality services 🚀
Suzanne @suzanne15godfre
265 Followers 3K Following
Mateusz Ostaszewski @MatOstasze
66 Followers 299 Following
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Patricia @montano90patric
283 Followers 3K Following
Subhadip Sarkar(শ�... @sarkarrsubhadip
303 Followers 3K Following ||Mathematical nerd🔢#️⃣🇮🇳|Researcher| ✈️👨🎓|Tweets are my own opinion|
Achim D. Brucker @adbrucker
452 Followers 2K Following Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. https://t.co/UOyCdkcxVK / @[email protected]
Elif Deniz @Denizelif27
101 Followers 143 Following Postdoctoral Researcher @Western University | Formal Verification | Mathematics @YildizEdu
z @betaokumura
319 Followers 3K Following a dog in human’s clothing | interested in math + informatics + chemistry (sometimes even philosophy) | no hate but curiosity really killed the cat 😉
Jeremy Rubin @super_jrub
3K Followers 6K Following Assistant Clinical Professor of Biostatistics @UofMaryland | Director of STARAPTOR Lab for Renal Histopathology and Kidney Transplantation Research
Chris Lengerich /dd @chrislengerich
843 Followers 476 Following How do we make scientists and engineers 100x more productive to solve problems that matter? Systematic breakthroughs, open finance, science & psych @ContextFund
Emlyn Graham @emlynsg
93 Followers 477 Following Numbers nerd & lifelong learner | he/him | RT ≠ endorse | Views my own
Jvicrown_Tech @jvicrown27
187 Followers 965 Following FRONTEND ENGINEER || I blog latest updates and trends in the React/ReactNative ecosystem [email protected]
Shannon @shannon_davis49
340 Followers 3K Following
bbea @bbeatrix1010
14 Followers 246 Following
almaviva ✈ @3almaviva
70 Followers 1K Following
Dr Vaishak Belle @vaishakbelle
829 Followers 98 Following AI and Science. Faculty at U of Edinburgh. Write and think on: https://t.co/aUJYgRUcuE
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Aga Dobrowolska @aga__dob
379 Followers 2K Following ML Scientist @RelationRx: ML for genomics | prev: federated speech recognition @samsungresearch | knowledge graphs @UCL | physical chemistry @UCL
Ranjit Patro @Ranjit__Patro
225 Followers 602 Following Maths Major | CS Minor, BS-MS Student at @IISER_Berhampur
Rajan @SpeckofDUST16
128 Followers 2K Following Applied Scientist @AmazonScience || Previous @wadhwaniai @TCSResearch, @NIAS_India, @ICMEStanford, @NUSingapore
CLEMENT Christophe @Clement01100011
44 Followers 2K Following
Piotr Miłoś @PiotrRMilos
939 Followers 372 Following AI @ Google | Researcher in ML | Prof@University of Warsaw | ex-visiting prof@U. Oxford. Member of Ellis Society.
Découvre Bitcoin @DecouvreBitcoin
24K Followers 1K Following Rogzy - Bring bitcoin education to the masses with @planb_network FR - https://t.co/SUlT5V9j1G
Yianni Mercer @yiannimercer
234 Followers 900 Following
Renaud Lifchitz ⠵ @nono2357
7K Followers 2K Following IT #security expert, interested in #IoT, #cryptography, #blockchain (since 2010!) - FR&EN - opinions are my own - #StandUpForScience
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
noam nisan @noamnisan
971 Followers 272 Following Professor of Computer Science at Hebrew University and Researcher in Starkware
ProvablySafe.AI @ProvablySafeAI
65 Followers 531 Following Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.
Yaroslav Kharkov @yourball
22 Followers 27 Following
Steinn Sigurðsson @steinly0
2K Followers 838 Following Astro Physicist. Scientific Director @arXiv Planets, Stars, Black Holes & Stuff. Whole Universes, If Needed. Dynamics of Cats; To Say Nothing of The Dog.
arXiv.org @arxiv
42K Followers 187 Following News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles. For help with arXiv, see https://t.co/LcWuhM0BOl
John Lees-Miller @jdleesmiller
1K Followers 454 Following Code, maths, making stuff. Co(de)founder @overleaf. Co-creator @myeuuk. @bg_ventures alum. Ex-@UltraGlobalPRT.
Chris Lengerich /dd @chrislengerich
843 Followers 476 Following How do we make scientists and engineers 100x more productive to solve problems that matter? Systematic breakthroughs, open finance, science & psych @ContextFund
Piotr Miłoś @PiotrRMilos
939 Followers 372 Following AI @ Google | Researcher in ML | Prof@University of Warsaw | ex-visiting prof@U. Oxford. Member of Ellis Society.
Tomasz Jetka @TJetka
106 Followers 198 Following Mathematician, Bioinf, Drug Discovery, PhD. Building AI x Bio in Poland.
Łukasz Kuciński @LukeKucinski
262 Followers 249 Following ML Researcher, Asst. Prof. @PAN_akademia, Senior Research Scientist @IDEAS_NCBR, Member @ELLISforEurope
Aga Dobrowolska @aga__dob
379 Followers 2K Following ML Scientist @RelationRx: ML for genomics | prev: federated speech recognition @samsungresearch | knowledge graphs @UCL | physical chemistry @UCL
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Dr Vaishak Belle @vaishakbelle
829 Followers 98 Following AI and Science. Faculty at U of Edinburgh. Write and think on: https://t.co/aUJYgRUcuE
Paige Randall North @PaigeRNorth
74 Followers 43 Following Postdoc in Math/CS/Eng @ UPenn. She/her. 🏳️🌈
Hanspeter Pfister @hpfister
2K Followers 644 Following Harvard Professor in Computer Science focusing on research in visualization, computer graphics, and computer vision.
Niko Bonatsos @bonatsos
19K Followers 2K Following Obsessed with technical founders building products for themselves. Talent is universal, while opportunity is not. Early stage VC.
Renaud Lifchitz ⠵ @nono2357
7K Followers 2K Following IT #security expert, interested in #IoT, #cryptography, #blockchain (since 2010!) - FR&EN - opinions are my own - #StandUpForScience
Robert Scoble @Scobleizer
539K Followers 18K Following The best from AI community | Ex-Microsoft, Rackspace, Fast Company | Wrote eight books about the future | Silicon Valley robots, holodecks, BCIs, and startups.
noam nisan @noamnisan
971 Followers 272 Following Professor of Computer Science at Hebrew University and Researcher in Starkware
Solve Intelligence @SolveIntel
243 Followers 5 Following Write high-quality patents quickly with AI | @ycombinator S23
Michal Feldman @MichalFeldman9
3K Followers 258 Following Professor of Computer Science, @TelAvivUni | @AcmSIGecom Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Aleks Kissinger @AleksKissinger
2K Followers 290 Following Assoc Prof of Quantum Computing. Co-author of Picturing Quantum Processes a.k.a. "the dodo book". Likes to teach, learn, prove, and calculate stuff w pictures.
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
Lambda Days @LambdaDays
3K Followers 994 Following 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
"Leigh Marie" Braswel... @LM_Braswell
19K Followers 5K Following partner @kleinerperkins; previously investing @foundersfund, first pm & early eng @scale_ai; if you like infra, ML, or poker let's chat
Scott Nolan @ScottNolan
14K Followers 291 Following Founder and CEO @GeneralMatter, partner @FoundersFund, early engineer @SpaceX.
Peter Thiel @peterthiel
431K Followers 0 Following Technology entrepreneur, investor, philanthropist.
Xavier Ripoll @xaviripo
173 Followers 564 Following
James Noble @jameskjx
1K Followers 567 Following
Dan Marsden @StringDiagram
1K Followers 184 Following Categories, computer science and logic. @[email protected]
Kaj Sotala @xuenay
6K Followers 575 Following This is my new bio. It replaces my old one, which I was told was bad. Meme alt: @KajPictures
Christian Szegedy @ChrSzegedy
41K Followers 3K Following #deeplearning, #ai research scientist. Opinions are mine.
Cathrin Machin Space ... @Cathrinmachin
195K Followers 725 Following 🇬🇧🇦🇺 Space Artist & Photographer ✨✨ 100% Human Made 💕 💍 @ianlauerastro AURORA STORE IS LIVE
Lawrence Paulson @LawrPaulson
2K Followers 437 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Ayliean @Ayliean
16K Followers 780 Following Mathemactivist and Craftamatician, constantly trying to unleash the beauty of Maths for all to see! Also a tortoise lover. (she/her)
Homie O'Morphism @hayden_wlog
875 Followers 303 Following PhD in pure math. Theorem attempter with a success rate that is approximately ε. Procrastinator supreme (he/him)
Simon Pepin Lehalleur @plain_simon
4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.
Malena Espanol @EspanolMalena
1K Followers 857 Following Associate Professor of Computational Math at @ASU
maya benowitz 🕰️ @cosmicfibretion
22K Followers 1K Following mathematical physicist lost in a liminal space of events to take humanity toward the singularity of knowledge 📙 aspiring timelord
Yann LeCun @ylecun
949K Followers 764 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Oana Andrei @OanaMAndrei
579 Followers 973 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
Steve McCormick @Quasilocal
8K Followers 348 Following Sweden-based, Germany-adjacent, Scottish-Australian Mathematician. Geometric analyst who pretends to be a physicist sometimes.
Iso (math fool) @IsomorphicPhi
6K Followers 1K Following Background in theoretical physics/math. Interested in mathematics, philosophy and physics. Some kind of anarchist communist, I guess. He/they. Eng/Swe
Marlon Francisco @marlon_econ
964 Followers 529 Following @marlonfrancisco.bsky.social | @WorldBank | PhD Candidate and TA @NovaSBE, formerly @Columbia and @MIT | Econometrics, Labor Economics. 🏳️🌈🇵🇹🇪🇺Trends for United States
285 B posts
36 B posts
529 B posts
8.764 posts
202 B posts
202 B posts
2.346 posts
3.192 posts
64,9 B posts
2.164 posts
71,9 B posts
16,3 B posts
30,1 B posts
103 B posts
11,9 B posts
1.554 posts
126 B posts
53,6 B posts
You might like
Mayank Mishra
@MayankMish98
201 Followers
CTRL + AI
@ctrlplsai
38 Followers
Wenda Li
@WendaLi8
1K Followers
Jason Rute
@JasonRute
225 Followers
Dr Paola Cattabriga
@CattabrigaPaola
40 Followers
Anton Lorenzen
@anton_lorenzen
23 Followers
Leoveanu-Condrei Clau...
@futurisold
188 Followers
Veemon
@veemon13
30 Followers
Kunhao Zheng
@KunhaoZ
749 Followers
Pranav Mishra
@navamishra
12 Followers
Mykhaylo Kushnir 🇺...
@IamDestiQ
62 Followers