mdnest_r @mdnest_r
Dynamics, probability, pattern formation Joined May 2021-
Tweets108
-
Followers50
-
Following374
-
Likes942
Deep research pulled up my old math overflow question. Problem is it's still unanswered
mdnest_r retweeted
Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.
"You’re right to push back!" this thing is worthless for proofs
is this satire
unfortunate name for a neat concept, also reminds me of Yoneda en.wikipedia.org/wiki/Bundle_th…
Manmade horrors well within my comprehension
Manmade horrors well within my comprehension
mdnest_r retweeted
I AM CALLING FOR A TEMPORARY, BUT TOTAL, SIX-MONTH PAUSE ON ALL NEW PUBLISHING IN AI. I NEED TO CATCH UP WITH THE LITERATURE AND FIGURE OUT WHAT THE HELL IS GOING ON. THANK YOU FOR YOUR ATTENTION TO THIS MATTER!
mdnest_r retweeted
Animation of AlphaProof's solution to IMO 2024 Problem 6.
AGI progress: 1. train language model on internet 2. wrap language model into chatbot 3. compose a lot of chatbots into "agents" 4. multimodal chatbots 5. ???
Struggle to see how exactly generative models fit into world models
Doretha @doretha_hamby_
430 Followers 3K Following
Pensé FFun @inftyCategory
136 Followers 7K Following
Thai Kim @ThaiKim46114895
13 Followers 359 Following AI researcher and university lecturer at VNU Hanoi, passionate about education, innovation, and future technologies
MabelMasefield @G72q8uX0NKT0cj
121 Followers 4K Following Herbal tea drinker | Full moon believer 🫖🌕
Crystal @k_crystal16
250 Followers 3K Following
Traci @solemtraci4
297 Followers 3K Following
Nancy @nancynelson93
247 Followers 3K Following
Nancy @marquez_nancy82
282 Followers 3K Following
Margaret20❤️ Meme... @vgy875rvhh
55 Followers 1K Following
Heather @hearon_heather4
317 Followers 3K Following
Ela Özçağlar Çeli... @algebrela
2K Followers 3K Following Assistant prof. @WestVirginiaU, PhD in math, algebraist, loves cats, commutative rings, chalkboards, free resolutions, etc. All math is essential ❤️ she/her
Tina @tina_keeth40
337 Followers 3K Following
Lucille @hunt84lucille
328 Followers 3K Following
ChopSueyGirls @ChopGirls
334 Followers 4K Following Food Preparation and Serving Related Occupations
Mikle Toyota @bagade_mohnish
67 Followers 792 Following Like shopping, most like to travel alone to enjoy the good times
Andy Surtees - e/acc @sentigral
5K Followers 5K Following Techno-Optimism, wild speculation, and occasional bad puns. CEO of Tees Valley AI, creator of @monetizechatbot
Wenmeng Zhou @zhouwenmeng
2K Followers 832 Following Engineering tech lead for Qwen and Wan api, Qwen Chat, Founding member for ModelScope, AI enthusiastic，Racing lover, Opinions are my own.
Sami Abul-Khoudoud MD @Sami_Khoudoud
563 Followers 642 Following Husband to @Katie_Myers_98. UKCOM Class of 2023. @UHSurgeryRes PGY-2/Research Resident. Interests include surgical education, DEI.
Conner Slone @connerelislone
308 Followers 279 Following | UC Molecular Genetics PhD Student| UofL Graduate '20| Sisi💞| Your words can't hurt me, these shades are Gucci
Carolina Carreira @ccarolcarreira
182 Followers 232 Following PhD Student @CMU in Societal Computing advised by @nc2y, @jff and @asfmendes
Freebies & Giveaways @FreebiesDanny
332 Followers 2K Following I'm #Amazon #reviewer #Agent,Provide #Free #products in exchange for #reviews.Get #Giveaways and #free products #Deals here for #US #UK #CA #DE Need Sellers too
CubanHodLer🇨🇺 @CubanBTC
231 Followers 5K Following If you rewind yourself walking backwards you Go Forward. ⏪⏯⏩
Jose @jospaquim
75 Followers 4K Following 👩🏻💻 CS Student stepping into Software Engineering. ✨ Building useful products one line at code at a time.
Markus Flame @flahme
0 Followers 5K Following
Kashif Raza @kashifrazagill1
425 Followers 3K Following Researcher @VUBrussel | @MOBI_VUB | AI | Battery SoH model developement | Machine Learning
Pach @LarsPach
55 Followers 486 Following Enthusiastic Futurist & Creative Tech-Savvy Geek. Passionate Al aficionado embracing the weird & wonderful. Reviving 'New' Old School Al art, Animation & design
Jill Viles @jillviles
1K Followers 3K Following Woman with muscular dystrophy--Olympic hurdler--same gene as told on This American Life. I am married and the mother of a teenage son. I am writing my memoir.
Robin @robinwritescode
472 Followers 4K Following Leading Product for CoreML Group @yelp Prev: ML Researcher @McMasterU, ML EM @etsy | Investing and Building at the Frontier @frontier_fund
camenduru @camenduru
21K Followers 5K Following building 🥪 @tost_ai ❤ open source https://t.co/8MMNbygz1P
Code 51 @code51
131 Followers 3K Following
Riff Rock @riffrock
197 Followers 5K Following
blesschn @blessWenGuiCHN
326 Followers 576 Following something should be added here … 反正是懒得开新号改ID纠正之前的错误了😶🌫😶🌫😶🌫 I anti anti-vaxxers
Nimit Pattanasri @nimitpattanasri
756 Followers 3K Following MLE @Upwork. I love exploring new and fun ideas in ML, IR and AI. I learn a lot from whom I follow on Twitter and enjoy sharing what I learn with my colleagues.
Jordan Wick @WickJordan
1K Followers 5K Following
eigenrobot @eigenrobot
103K Followers 10K Following robot. friend. diamond age mindset || footnotes at @eigenrobot_feet
Carlos E. Perez @IntuitMachine
40K Followers 5K Following Quaternion Process Theory, Artificial (Intuition, Fluency, Empathy), Patterns for (Generative, Reason, Agentic) AI, https://t.co/fhXw0zjxXp
ObtainerOfRareAntiqui... @ObtainerOf
26K Followers 497 Following Classics-Anthropology-Antiquities. Fan of adventure, weird pieces of history, culture and folklore.
Jesús Fernández-Vil... @JesusFerna7026
27K Followers 72 Following Howard Marks Presidential Professor of Economics at the University of Pennsylvania and John H. Makin Visiting Scholar at the AEI. All opinions are my own.
Jesse Michael Han @jessemhan
4K Followers 590 Following @morph_labs // prev. research @OpenAI / PhD in math and neural theorem proving
Morph @morph_labs
8K Followers 1 Following
Ezra Klein @ezraklein
2.5M Followers 1K Following Columnist, @NYTOpinion Author, "Why We're Polarized" Host of "The Ezra Klein Show" podcast
Kenneth Stanley @kenneth0stanley
16K Followers 1K Following SVP of Open-Endedness @LilaSciences. Prev: Maven CEO, Lead@OpenAI, Uber AI, prof@UCF. NEAT,HyperNEAT,novelty search, POET. Book:Why Greatness Cannot Be Planned
kitchencels @rkitchencels
8K Followers 12 Following all credit to r/kitchencels | @weirddalle for memes
Ahmad @TheAhmadOsman
23K Followers 267 Following ai research & software engineering, on a mission to build a DGX B300 GPU cluster, i moderate GPUs on r/LocalLLaMA
Jonathan Blow @Jonathan_Blow
146K Followers 275 Following Designer/Programmer of Braid and The Witness. President, Thekla, Inc. Partner in Indie Fund. Working hard on a new game and a programming language.
Jonathan Birch @birchlse
16K Followers 1K Following Professor, LSE. Philosophy of science, animal consciousness, animal ethics. Director of The Jeremy Coller Centre for Animal Sentience.
Prime Intellect @PrimeIntellect
48K Followers 26 Following find compute. train models. contribute to open superintelligence. https://t.co/ZRZOsRRbwr
Elizabeth Holmes @ElizabethHolmes
52K Followers 73 Following Building a better world for my two children. Inventor. Former Theranos Founder and CEO Mostly my words, posted by others
will depue @willdepue
51K Followers 2K Following (taking time off) RL posttraining @openai, past: sora, applied research
Neil Renic @NC_Renic
45K Followers 4K Following Lecturer at @UNSW, working on the changing character of war, the ethics of killing, and emerging military technologies.
Alexandr Wang @alexandr_wang
331K Followers 838 Following chief ai officer @meta, founder @scale_ai. rational in the fullness of time
Daniel Kokotajlo @DKokotajlo
25K Followers 249 Following
George Tsoukalas @gtsoukal
400 Followers 272 Following PhD student at UT Austin interested in automatic theorem proving.
John Shedletsky @Shedletsky
250K Followers 1K Following idiot savant choose one follow to read bangers https://t.co/MeJcB4AS9J
Sebastien Bubeck @SebastienBubeck
57K Followers 1K Following I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
Mango @MangoSweet78
372 Followers 472 Following Post-training @ https://t.co/jQT9G3hHUc, See what i've cooked on my HF @ https://t.co/QZABvVi2P0
Richard Antonello @NeuroRJ
398 Followers 236 Following Postdoc in the Mesgarani Lab at Columbia University. Studying how the brain processes language by using LLMs. (Formerly @HuthLab at UT Austin)
comma @comma_ai
102K Followers 43 Following Building the Android of self-driving cars. comma 3X is available now for $999, plugs into the car you already drive, and drives half your miles.
Ashwin Vaswani @ashwin_vaswani
1K Followers 3K Following Research @GoogleDeepMind | Prev: @CarnegieMellon | @GoogleIndia | APPCAIR, @BITSPilaniGoa | @qtimlab, Harvard
Dan Roy @roydanroy
57K Followers 2K Following ML / AI researcher. Research Director and Canada CIFAR AI Chair, @VectorInst. Professor, @UofT (Statistics/CS).
Vaishnavh Nagarajan @_vaishnavh
3K Followers 670 Following Foundations of AI. I like simple & minimal examples and creative ideas. I also like thinking about going beyond the next token 🧮🧸 Google Research | PhD, CMU
a16z @a16z
879K Followers 52 Following we invest in software eating the world https://t.co/A9eTFq6plZ https://t.co/MXGUBJoesw Watch "The Ben & Marc Show": https://t.co/eRuDhx7kpe
Daniel Tenreiro @TenreiroDaniel
21K Followers 2K Following daniel tenreiro is a researcher. opinions belong to those who love them.
Dan Hentschel @danghentschel
431K Followers 1K Following
Peyman Milanfar @docmilanfar
94K Followers 498 Following Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Tweets = personal opinions. May change or disappear over time.
EFF @EFF
471K Followers 1K Following We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find EFF's social accounts at https://t.co/dIWsCr4uCF.
Igor Babuschkin @ibab
103K Followers 854 Following Maybe the real ASI was the friends we made along the way. Co-founder @xAI, Research & Engineering
Pacific Northwest Nat... @PNNLab
26K Followers 3K Following An @ENERGY national lab advancing the frontiers of scientific discovery, improving energy resiliency, and enhancing national security.
University of Louisvi... @uofl
39K Followers 1K Following The University of Louisville is a vibrant research institution located in Kentucky's largest metropolitan area.
V. Joshua Adams @vjoshuaadams
6K Followers 4K Following Professing English @uofl. Formerly @chireview. Poetry, poetics, philosophy, translation — plus old books, old cars, cat pics. Member @UCWKentucky. Views mine.
Librarianshipwreck @libshipwreck
22K Followers 3K Following PhD, former librarian, pessimistic utopian. History of tech, disasters, & doom-saying. Wrote my dissertation on Y2K (currently turning that into a book).
dimden @dimden
44K Followers 580 Following イン ター ネ ット や め ろ ！ Website: https://t.co/oPVSvAFgSd Donate: https://t.co/AccKvScJ8l Bsky: https://t.co/bblrUokNYB
Cognition @cognition
148K Followers 2 Following Makers of Devin, the first AI software engineer. We are an applied AI lab building end-to-end software agents. Join us: https://t.co/JZDd4Vik4P
Alexey Guzey @alexeyguzey
32K Followers 1K Following special projects @openai, building new institutions of science https://t.co/8HIEyR2vl7, writing https://t.co/YTeUJ2NSye
(((ل()(ل() 'yoav)))... @yoavgo
66K Followers 2K Following
Trends for United States
10,3 B posts
17,9 B posts
3.092 posts
915 B posts
11,5 B posts
1.684 posts
68,9 B posts
51,8 B posts
7.846 posts
10,9 B posts
2.715 posts
7.000 posts
5.227 posts
3.128 posts
5.575 posts
4.338 posts
1.216 posts
You might like
camenduru
@camenduru
21K Followers
Niklas Muennighoff
@Muennighoff
9K Followers
Resemble AI
@resembleai
15K Followers
Sylvain Filoni
@fffiloni
8K Followers
Alara Dirik
@alaradirik
1K Followers
Vaibhav (VB) Srivasta...
@reach_vb
33K Followers
Takyon∞
@takyon236
5K Followers
Scott H. Hawley
@drscotthawley
3K Followers
Sayak Paul
@RisingSayak
21K Followers
Joseph Semrai
@josephsemrai
10K Followers
Deep Learning Barcelo...
@dlbcnai
2K Followers
Giannis Daras
@giannis_daras
5K Followers
Chris Donahue
@chrisdonahuey
5K Followers
James Kirk
@Jiminy_Kirket
2K Followers
Chris Allen
@zippy731
6K Followers