Random Proof @randomproof8
Notes on Maths, Theory CS & Economics etc. - 📚⚔️🎲 Joined August 2022-
Tweets387
-
Followers63
-
Following2K
-
Likes4K
The Norwegian Academy of Science and Letters has decided to award the Abel Prize 2025 to professor Masaki Kashiwara. Kashiwara-san is the first Japanese mathematician to receive the Abel Prize. #Abelprize #Abelprize2025 #mathematics #science
Preference Restrictions in Computational Social Choice: A Survey. arxiv.org/abs/2205.09092
Foreign direct investment reached a record $41 trillion in 2023. The US extended its lead as the top destination. India, Mexico, Brazil, each saw their inward direct investment positions rise by about 20%, marking the largest increase for these 3 economies in total since the…
Congratulations, @ojblanchard1, Jordi and Mike! 🥳🥳🎉🎉🎊🎊
Congratulations, @ojblanchard1, Jordi and Mike! 🥳🥳🎉🎉🎊🎊
Very shortly at @RealAAAI , @alexandrutifrea and I will be giving a Tutorial on the impact of Quality and availability of labels and data for Privacy, Fairness, and Robustness of ML algorithms See here amartya18x.github.io/files/Tutorial… @MLSectionUCPH @DIKU_Institut @GoogleDeepMind
Let me add a bit context to the latest DeepSeek code release as I feel it was a bit bare bones. Mixture-of-Experts (MoE) is a simple extension of transformers which is rapidly establishing itself as be the go-to architecture for mid-to-large size LLM (20B-600B parameters). It…
Let me add a bit context to the latest DeepSeek code release as I feel it was a bit bare bones. Mixture-of-Experts (MoE) is a simple extension of transformers which is rapidly establishing itself as be the go-to architecture for mid-to-large size LLM (20B-600B parameters). It…
Big-Math: Big-Math: Massive Math Dataset for RL Training - 10x larger than GSM8k/MATH - 3 core properties: uniquely verifiable, open-ended, closed-form - Human-validated 90%+ precision filters - Difficulty metrics for curriculum learning
Introducing Claude 3.7 Sonnet: our most intelligent model to date. It's a hybrid reasoning model, producing near-instant responses or extended, step-by-step thinking. One model, two ways to think. We’re also releasing an agentic coding tool: Claude Code.
Learning to Play Against Unknown Opponents. arxiv.org/abs/2412.18297
None of the top 500 contestants in the 2025 Putnam competition fully solved this problem. Grok 3 (Think) found the solution in ~8 minutes.
Fisher-Rao distance between multivariate normal distributions not known in closed-form: Approximate Rao's distance by discretizing *special curves c(t)* and approximate Rao's distance between nearby normals by the square root of Jeffreys' divergence. > arxiv.org/abs/2302.08175
One of my gripes with parts of the AI governance community is that it's a huge monoculture. In some (but not all) cases, well intentioned but largely professionally inexperienced people with cartoonish models of the world seem to think they can 4D chess their ways to influence…
What happens when vision🤝 robotics meet? Happy to share our new work on Pretraining Robotic Foundational Models!🔥 ARM4R is an Autoregressive Robotic Model that leverages low-level 4D Representations learned from human video data to yield a better robotic model. @berkeley_ai😊
There are many modes of thinking about the world around us and our place in it. I like to consider all the angles from which we might gain perspective on our amazing universe and the natureof existence. - John A. Wheeler
a taste of what AI agent interaction will be like
a taste of what AI agent interaction will be like
Unstoppable AGI.
Unstoppable AGI. https://t.co/PLJHTeT2Ed
500 queries a day vs 100 queries a month $20/mo vs $200/mo App layer is the most interesting place to be since you can purely focus on satisfying your user and do what’s right for them which means having a fair subscription price and being efficient about the architecture
New discovery! LLMs are just like humans! Overthinking GREATLY HURTS their performance If we select the solution with the lower overthinking score. We improve model performance by almost 30% while reducing costs by 43% (o1_low) Is reasoning really the future of LLMs? 🧵
Multi-agent systems are all the rage, but we've been doin' them since before it was cool! Submit to the 7th Games, Agents, and Incentives (GAIW) workshop @AAMASconf. Accepting this year's @iclr_conf @NeurIPSConf @RealAAAI @icmlconf papers and submissions, & your new stuff! 1/

Ceoubo @Ceoubo8536594
36 Followers 2K Following
GrowthAtValue🇺🇸 @Irnusirc753
42 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Sylvia @Dwimau04799
23 Followers 957 Following She shines not because she wants to be seen, but because she cannot help it.
Jael @Sirli9199
17 Followers 1K Following
Suiubvau @Suiubvau394443
30 Followers 1K Following
Andy Bongjune Choi @andybchoi
81 Followers 344 Following
Hiekaw @Hiekaw500
69 Followers 2K Following
Shrinivas Kudekar @s_kudekar
45 Followers 631 Following Building stuff. PhD from EPFL in coding theory. Ex-Qualcomm. Co-designed 5G error correction with Tom R. at Qualcomm.
Mihir @mihirb85
579 Followers 743 Following Associate professor of Economics @AshokaUniv Areas of interest: Social choice theory, decision theory and positive political theory
Octavia @LynnChampl80782
53 Followers 2K Following
Xolal @Xolal29640
44 Followers 1K Following
BitcoinQuill @JanBrewer177393
4 Followers 131 Following ⚡ Transform Assets Fast! Securely Aim for 50-100k USDT Daily Income. Rapid, High-Yield Earning Process. Farm with Confidence Today! 💰🛡️
Rose @schulterose92
192 Followers 3K Following
Vardaan Pahuja @vardaanpahuja
283 Followers 600 Following Ph.D. candidate in CSE @osunlp. Research Interests: AI Agents, Multimodal FMs, KGs, NLP Ex-intern @MSFTResearch @GoogleAI Prev @Mila_Quebec @IBMResearch @IITKgp
Latonya @latonyaher68
177 Followers 3K Following
Omer Madmon🎗️ @OmerMadmon
192 Followers 817 Following PhD Candidate @TechnionLive, Algorithmic Game Theory for Data Science. Breaks ties in favor of the buyer.
Yevgeny Tsodikovich @yevgets
861 Followers 585 Following AP @BenGurionUni 🇮🇱 #EconTheory, #Networks, #GameTheory 🕸 Past: @Bar_ilan 🇮🇱 , @amseaixmars 🇫🇷. PhD @TelAvivUni 🇮🇱. 🧗♂️🏃♂️🚴♂️📍🛶 📷yevgets
Arash @ArashJm
415 Followers 2K Following Interested in Computer Science & Mathematics, ELLIS PhD student, Sharif alum, INTJ
CS Theory Fan @CSTheoryFan
79 Followers 1K Following
Flowers @Selena95698
184 Followers 2K Following Life is short and the world is wide. I better get started.
Lydia Zakynthinou @zakynthinou
486 Followers 352 Following
Remy Levin @RemyLevin
3K Followers 3K Following Assistant Professor of Economics @UConn. PhD @UCSDEcon. I study the Co-Evolution of Risk and Utility. Recovering Thru-Hiker.
Vishakha Patil @vishakha299
576 Followers 770 Following AI @IsomorphIQ_AI Prev: PhD @IIScCSA | @Google PhD Fellow | Research Intern @MSFTResearch | Young Researcher @HLForum
Institute for Foundat... @MLFoundations
1K Followers 2K Following NSF AI Institute with researchers from @UTAustin, @UW, @WichitaState, @MSFTResearch, @UCBerkeley, @UCLA, @sfiscience, @Stanford, @Caltech, @ASU
FSTTCS 2025 @fsttcs
73 Followers 39 Following The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar.
Inácio Bó @inaciog
875 Followers 840 Following Associate Professor of Economics (University of Macau). Born in 🇧🇷, living in 🇲🇴. Still at home in 🇦🇷, 🇺🇸, 🇩🇪, 🇬🇧, and 🇨🇳.
Vinod Raman @_vinodraman
306 Followers 490 Following Ph.D. candidate @UMich. Research Intern @Google. Previously @Apple.
Dror Baron @BaronDror
429 Followers 388 Following Professor @ncstateece | ex-{@TechnionLive, @RiceUniversity, @ECEILLINOIS} | research in information theory, quantum computing, & signal processing.
AA @randomeconkid
65 Followers 3K Following
adittya chaudhuri(@Ad... @adittyachaudhu1
1K Followers 1K Following Visiting Scientist @ ISI Kolkata (Stat-Math)| ACT, Systems Biology & Higher Diff. Geometry | Postdoctoral guest scientist @ Univ Rostock | PhD Math @ IISER TVM
Alex Imas @alexolegimas
3K Followers 1K Following Professor at @ChicagoBooth. Economics + Applied AI. Visiting Princeton 2025-2026 academic year.
alz @alz_zyd_
30K Followers 16K Following pfp by @ShizzyAizawa. Inventor of the John Von Neumann hypothesis for LLM scaling limits
Eshwar Ram Arunachale... @EshwarERA
112 Followers 316 Following PhD Student at the University of Pennsylvania
Dr.K.Prabhakar @profkprabhakar
2K Followers 6K Following Author: The Dravidian Path: From Keeladi to an Economy of Equity: Decoding Tamil Nadu’s Journey through Culture, Data and Reform. Econometric Models for Proof.
Mingzi Niu @mingzi_niu
106 Followers 217 Following Econ Ph.D. candidate @RiceUniversity Microeconomic theory, with a focus on mechanism design, information economics, and behavioral economics.
anagha @anaghadoesmath
294 Followers 1K Following Math, Movies and Music | Interested in all things complexity theory!
Ipsit Mantri @SriIpsit
488 Followers 6K Following Research Intern @INSIGHTLabBGU || Interned @SonyAI_global Tokyo || MS'25 @PurdueCS || CMMRS'23 || BTech EE'22 @IITBombay
Varun Bansal @Varun_esque
2K Followers 2K Following Economics | Football | Manchester United | he/him. PhD student in Quantitative Economics at the Indian Statistical Institute, Delhi.
Agustín Bonifacio @agubonifacio
136 Followers 913 Following Matemático | Economista | Lector | Viajero
Simon Batzner @simonbatzner
5K Followers 2K Following RS at GDM, interested in RL, physics, chess. prev: Google Brain
Nikhil Kumar @nikhilkumarks
10K Followers 5 Following Building bridges at @Setu_API. Past: @India_Stack @exotel @intuit @tallysolutions | Platforms, Partnerships & Products | 🕺
Sukjun (June) Hwang @sukjun_hwang
3K Followers 300 Following ML PhD student @mldcmu advised by @_albertgu
Nitin Gadkari @nitin_gadkari
15.5M Followers 525 Following Minister of Road Transport & Highways, Government of India.
Ashwini Vaishnaw @AshwiniVaishnaw
1.7M Followers 372 Following Minister for Railways, Information & Broadcasting, Electronics & Information Technology, Government of Bharat | Former IAS | Alumnus @IITKanpur @Wharton |
Nirmala Sitharaman @nsitharaman
5.7M Followers 787 Following Minister of Finance and Corporate Affairs. MP (RS) representing Karnataka, views personal, RTs no endorsement.
Dr. S. Jaishankar @DrSJaishankar
4.0M Followers 35 Following External Affairs Minister of India. Member of Parliament (Rajya Sabha) from Gujarat State.
Amit Shah @AmitShah
37.0M Followers 316 Following Union Home Minister, Minister of Cooperation and MP, Gandhinagar Lok Sabha. https://t.co/jEf4rOW2AD
danii (っ˕ -。)ᶻ... @Daanniii6
2K Followers 285 Following bunny physicist ۞ en/fi/fr/es/apc/APL - OK! ۞ it/its ۞ discord: https://t.co/3XGZeTnRir
arXiv math.CO Combina... @mathCObot
1K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCTbot @mathCVb @mathDGb @mathDSb @mathFAbot ...
arXiv math.DS Dynamic... @mathDSb
747 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCTbot @mathCVb @mathDGb @mathFAbot ...
Stat.ML Papers @StatMLPapers
24K Followers 0 Following Unofficial updates of statistical machine learning papers on arXiv
Statistics Papers @StatsPapers
6K Followers 2 Following New Statistics submissions to https://t.co/HHqPequzVU (not affiliated with https://t.co/HHqPequzVU)
Soumith Chintala @soumithchintala
250K Followers 1K Following Cofounded and lead @PyTorch at Meta. Also dabble in robotics at NYU. AI is delicious when it is accessible and open-source.
Jeff Dean @JeffDean
365K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Machine Learning @Memoirs
11K Followers 8 Following New Machine Learning (ML) submissions to https://t.co/2YQxOWj18P (not affiliated with https://t.co/2YQxOWj18P)
United Nations @UN
16.5M Followers 1K Following Official account of the United Nations. For peace, dignity & equality on a healthy planet.
Prateek Mittal @prateekmittal_
2K Followers 357 Following Professor at Princeton. Focused on privacy, cybersecurity, AI and machine learning, public interest technologies.
Physics In History @PhysInHistory
958K Followers 0 Following Photos from the history of physics | © with mentioned Archives. Shared for educational purposes. Einstein portrait © Ullsteinbild. Subscribe for curated papers.
Game Theory Papers @DO
3K Followers 9 Following New Game Theory submissions to https://t.co/HHqPequzVU (not affiliated with https://t.co/HHqPequzVU)
Data For India @dataforin
6K Followers 11 Following Insights, charts and data to create shared knowledge and expand our understanding of India.
Ion Stoica @istoica05
5K Followers 20 Following Professor at UC Berkeley, co-founder of Databricks, Anyscale, LMArena, Conviva.
Aranyak Mehta @aranyak_mehta
65 Followers 341 Following
Quanta Books @QuantaBks
161 Followers 8 Following Exploring science and math frontiers. Illuminating our quest to understand the universe. Capturing the wonder of discovery. For readers who want to know more.
Shayan Kiyani @ShayanKiyani1
103 Followers 125 Following Ph.D. candidate @Penn, advised by @pappasg69 and @HamedSHassani.
Sanjit Dhami @SanjitDhami
526 Followers 337 Following Professor of Economics. (2016; 19/20) Foundations of Behavioral Economic Analysis, OUP (7 volumes). (2022) Bounded Rationality, MIT Press.
Omer Madmon🎗️ @OmerMadmon
192 Followers 817 Following PhD Candidate @TechnionLive, Algorithmic Game Theory for Data Science. Breaks ties in favor of the buyer.
Dan Roy @roydanroy
57K Followers 2K Following ML / AI researcher. Research Director and Canada CIFAR AI Chair, @VectorInst. Professor, @UofT (Statistics/CS).
Yevgeny Tsodikovich @yevgets
861 Followers 585 Following AP @BenGurionUni 🇮🇱 #EconTheory, #Networks, #GameTheory 🕸 Past: @Bar_ilan 🇮🇱 , @amseaixmars 🇫🇷. PhD @TelAvivUni 🇮🇱. 🧗♂️🏃♂️🚴♂️📍🛶 📷yevgets
Silvio Micali @silviomicali
74K Followers 132 Following Founder of @Algorand and co-inventor of zero-knowledge proofs. @MIT Professor. Accademia Dei Lincei. This is my only official social media account.
Mohammad Hajiaghayi (... @MTHajiaghayi
1K Followers 123 Following Minker Professor of CS, ACM Fellow, Guggenheim Fellow,AAAS Fellow, Blavatnik Honoree, IEEE Fellow,EATCS Fellow working on Algorithms, Game Theory and BIG Graphs
Γ(z) @gammaofzeta
11K Followers 2K Following Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.
Pavel Mavrin @pmavrin
4K Followers 243 Following учу детей. пишу контесты. ловлю котов https://t.co/G6nQyCMTg1 https://t.co/jvoBRJjYfe
Leo Gao @nabla_theta
10K Followers 550 Following working on AGI alignment. prev: GPT-Neo, the Pile, LM evals, RL overoptimization, scaling SAEs to GPT-4. EleutherAI cofounder.
claire night skies�... @clairebookworm1
3K Followers 1K Following member of technical yap-ademia & (increasingly) amateur sleeper, #1 @bleachersmusic fan ੯‧̀͡⬮ || @e11bio @mcgovernmit @hackclub
kognise @kognise7
3K Followers 572 Following engineer, musician, pilot, wannabe lawyer and accountant, form appreciator prev @neuralink @hackclub @replit and open source https://t.co/bcJ8af2oEt
Weijie Su @weijie444
6K Followers 473 Following Associate Professor @Wharton & CS Penn. coDir @Penn Research #MachineLearning. PhD @Stanford. #MachineLearng #DeepLearning #Statistics #Privacy #Optimization.
Karina Nguyen @karinanguyen_
41K Followers 995 Following research & product @OpenAI, prev. @AnthropicAI, @nytimes, @square, @dropbox + visual forensics for the Pulitzer Prize investigations
Tim Worrall @timsworrall
447 Followers 1K Following Professor of Economics, School of Economics @econedinburgh at the University of Edinburgh @EdinburghUni.
Karthik Narasimhan @karthik_r_n
4K Followers 456 Following Professor@PrincetonCS, Research@SierraPlatform. Previously @OpenAI, @MIT_CSAIL, @iitmadras
Rachel Cummings @radcummings
2K Followers 475 Following Assoc Prof @Columbia IEOR | privacy | machine learning | policy | economics
Vartan Shadarevian @vartanshad
460 Followers 1K Following Building and research in Economics/Game Theory/AI. PhD @Princeton. Former lawyer at Skadden, Kirkland & Ellis. @Harvard_Law.
Stefano Albrecht @s_albrecht
2K Followers 161 Following Research in AI and machine learning for autonomous systems. MIT Press textbook: https://t.co/6j2qF00zsU Views are my own.