Sven Myhre @svemyh
co-founder @ReasonMachines (YC P26) // cloud coding agents // eecs @ucberkeley myhre.co /dev/tty Joined April 2025-
Tweets253
-
Followers3K
-
Following6K
-
Likes10K
@shin_eighty6 I’m still expecting another follow-up on navier stokes before any of the other ones are cracked
dawn of a new era
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem
@automate_world bullish on hosted research agent swarms
This is a big deal.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of
Daniel Oberhaus @dmoberhaus
158 Followers 367 Following founder of HAUS (@deeptechagency) | 2x author @MITpress
Cherry @slopdotwtf
2K Followers 589 Following built the biggest agency on tiktok (@createmusic). building ai-first content pipelines for global brands (@nba, @mclarenf1, @psg_inside, @ramsNFL, + more)
RANA G @ranagwho
937 Followers 2K Following building | auglab @mit | india's first ai film festival | yc s23
Dharshini Maru @dharshinimaru
177 Followers 226 Following foundation models for AGI & Robotics | @fdotinc
Akil Rajpari @akilrajpari
325 Followers 254 Following Building things and playing (terrible) golf when I can.
Subhajit Roy @Subhaji90376624
13 Followers 43 Following Tech Lead @ IEI SC CSE AOT || Ex- Full stack Developer @ Indomitech || Ex- Intern @ Resourcio pvt Ltd
Diodoe @diodo_e
2K Followers 2K Following https://t.co/OR0bLdX1QD | Serial Founder | Tech and AI | xCTO | Fabio Giannese
Sophia @CesarSa57274256
0 Followers 140 Following hiking girl, book girl, hot mess girl — depends on the day 🥾 always the fun one though
Giga Advisory Group @GigaAdvisory
3 Followers 15 Following Giga Advisory Group is a #UNICEF #ITU initiative to connect every school to the internet and every young person to information, opportunity and choice.
Mohammed Farmaan. @zxcodes
255 Followers 646 Following Building https://t.co/HRHA44XZVU, prev founded https://t.co/IImuVrmFyb Currently exploring new opportunities. See my work at https://t.co/g72jhoRUsw. DMs open.
Simon @SimonLivva
207 Followers 159 Following
Agent Master Key @agentmasterkey
47 Followers 725 Following Give your agents access, never your keys. Local Mac vault. Scoped keys. Kill switch. Free while we’re launching.
Myle @MyleInvictus
59 Followers 59 Following CTO and Cofounder @trywrenai. The real estate AI platform.
Neel Nimbalkar @neelnimbalkar
622 Followers 716 Following @travencomputer a fully autonomous AI computer in your browser
ravi shrestha @ravstr
767 Followers 1K Following currently @altitude, prev @tryramp @chainlink @box, vibin w/ https://t.co/R38T0mtOCT. student of ₿. stay hungry, stay foolish. blooddonor.
Saroosh @sarooshkhan98
180 Followers 565 Following cofounder - https://t.co/Ok1iAezN92 - (YC S26) views my own
Jordan @joudanki
338 Followers 1K Following high-functioning non-functional specialist. rust, nix, (?:distributed)? systems, performance, security, resilience, parse don't validate. 日本。https://t.co/yow8fE6VUQ
Anthony Weightman @AntonyWeightman
40K Followers 44K Following Editor, reviewer & interviewer curious about what makes creative people tick. NCTJ qualified. @NatCen @AAAMusic_UK https://t.co/5vS7RyO5rl
Guohao Li 🐫 @guohao_li
15K Followers 5K Following Founder @Eigent_AI / @CamelAIOrg. Scaling RL Environments for Agents. Prev Oxford, KAUST, ETHz, Intel, Kumo.
Laith Mash'al @LaithMshal
9K Followers 348 Following Laith | 19 | Founder of Spike Development & Raqeeb | CS @ ASU | Engineering Team Lead @MT_FiveM | Security Researcher when im free
Mel @thetokendad_
2K Followers 2K Following Biomed Eng accelerating Frontier Tech adoption in Healthcare · Founder @poktalabs @fruteroclub • Nebius Fellow
Jorge H. @gpujorge
24 Followers 46 Following Platinum music engineer that was AI pilled really early on. Builder + Community @pearldotcom
Adarsh Tiwari @_adarshtwt
868 Followers 520 Following 21, engineer | Book meet - https://t.co/gJewQWVTMU
Jerry @Bobliuuu
593 Followers 1K Following CS PMATH CO CM @uwaterloo | ⁂ | infra @shopify | world model researcher | smooth manifold addict
ethan byrd💌 @itsjustemail
173 Followers 231 Following building the universal communication layer for agents @primitive yc p26
Junfan Zhu 朱俊帆 ... @junfanzhu98
4K Followers 4K Following @saturdayrobotic AI Research, 🤖+World Model | @UChicago Math, @GeorgiaTech CS, @StanfordGSB, ex-Quant📈 | Wuxi🇨🇳✈️World 60+countries🗺️🌎🍷🎻🏞️🚁🔫⛵
Gunmay Jhingran @GunmayJhingran
135 Followers 3K Following Applied AI @hydra_db | DARPA triage challenge | NeurIPS 2025 workshop
Lewis ⚡ soc2/acc @lewiscarhart
12K Followers 1K Following co-founder & ceo @compai - open source ai that handles SOC 2 for you. married to @kirst_j8
Siim Haugas @siimh
1K Followers 1K Following Superscribe Phone: Turn calls into notes, tasks & CRM updates automatically. https://t.co/uoC23Iv2Rr
Rishith Mody @ricky_shiny
19 Followers 336 Following Platform Systems/DevOps Engineer prev @intel Full stack dev
Kacem Mathlouthi @KacemMathlouthi
12 Followers 327 Following Building @callab_ai (YC P26) | SWE Student
xevrion @xevrion_the1
2K Followers 533 Following 19, IIT Jodhpur · DevRel @workersio (YC F26) · GSoC '26 @ KDE · breakscale: 1,000 stars in 6 days · I build things that annoy me until they don't
Obaida AB @Qc1279
24 Followers 2K Following If the rule you followed brought you to this, of what use was the rule?
LA LIBERTAD TODO LO P... @JosSnchezHpxmt
2K Followers 3K Following La libertad todo lo puede ( siempre que no te engañes). Libro de José Sánchez Hernando.
Pushpak Pujari @pushpakpujari
211 Followers 385 Following Founder @ Harden ex-Amazon AGI, Verkada, Sony Wharton MBA, IIT Delhi
MagicGum @magicgumlol
963 Followers 171 Following simulating civilization | discord: https://t.co/2n7uJL4U9Q
Javier Writes @javier_otieno1
63K Followers 28K Following Copies that attract clients + follow-up methods that close. Subscribe for the fiction and sales frameworks. DM = Business No casual chats
Brook | TDK CLI @brookservers
237 Followers 983 Following TDK CLI. Write the app. We generate the local stack. No Kubernetes. #solved ai slop
ccod @ifccod7391564
331 Followers 742 Following 互联网工作者 稳定高效的图片/视频api： https://t.co/6kTCuFDm3d 编码，文本，内容生产的最佳搭档：https://t.co/6kTCuFDm3d
Ɖｏｇｅ_Ａｌｂ @doge_albania
23K Followers 5K Following 𝔇𝔬𝔤𝔢𝔠𝔬𝔦𝔫 2𝔇 𝔐𝔬𝔬𝔫🚀🌖🛰🚘🪐🕳-Give without expecting anything in return, and experience a new way of being in the world- ƉoOnlyGoodEveryday
ginger gringo @gringoruivo
224 Followers 246 Following 👨🏻🚀https://t.co/SRhjUKxrZm • $5.25K/m 🧙🏻♂️Hearth Forge • $0/m (D&D videogame) 🦸🏻♂️https://t.co/arezcldi7D • open (sales int) 👨🏻🎨zoraproject • open (mkt int)
Adam @nihdao
551 Followers 518 Following Builder. Data Products at AXA, making cozy apps and little web games in public.
Vaggelisdrak @vaggelisdrak
1K Followers 836 Following 💻Just a dev trying to escape Greece's poverty | ⚡ ex-swe @Tesla | 📚 ECE New Graduate Building https://t.co/o32CPWelVn
Hemant Pokharel @hemant_0710
5 Followers 40 Following Documenting my journey from $0 to $10k / m Cofounding: https://t.co/OUM7o5DBxD, email marketing agency, and building AI products!
Nikhil Bollineni @bollineni1234
461 Followers 760 Following Building Vocly - learn languages from your everyday moments and memories.
Gideon @devgideonn
207 Followers 290 Following ✝️ | Corporate senior dev to solo saas developer wearing all hats. Talking about AI, my Saas projects and learnings
Yevhen 🇺🇦🇳�... @YevhenNL
112 Followers 250 Following Building https://t.co/XTbdeJyHDJ, privacy-first web analytics (EU)
Jesse Peplinski @JessePeplinski
2K Followers 1K Following Building software in public 🚀 https://t.co/U3toLc3D3h @trylaunchloop $46/m https://t.co/Wa4mY33l0Y https://t.co/TDhEKhtHeS https://t.co/3XDvvUJbxa past @hackupstate
Krishnamurthy @krika2810
470 Followers 3K Following AI Evangelist | Claude Architect Certified | Salesforce Specialist | 18x Salesforce certified
jsnode @thejsnode
3K Followers 2K Following Christ follower | Engineer | Automator Building apps and multi-agent systems that turn ideas into output. The agents take the night shift.
Krish Mehta @djkesu1
627 Followers 379 Following building @PalatialSim | robots @CILVRatNYU | se @ uwaterloo
RANA G @ranagwho
937 Followers 2K Following building | auglab @mit | india's first ai film festival | yc s23
Yohei @yoheinakajima
126K Followers 12K Following VC by day @untappedvc, builder by night: babyagi/@activegraphai. Build-in-public log: https://t.co/UdHHGbZba5
Günther | グンタ @gunta85
6K Followers 5K Following AI made speed common. Craft is the edge. Founder & CEO / Design Engineer, @GProductionsJP Built OpenSTF (13k+ stars) 元サイバーエージェント（15年） 署名できる仕事だけを。日本の創造力を、世界へ。
Aaryan @misteraaryan
98 Followers 687 Following new projects // previously founder LastBet, neu. poker player, hackathon winner. currently building products that will be loved by millions
Akil Rajpari @akilrajpari
325 Followers 254 Following Building things and playing (terrible) golf when I can.
Vlad @valdgrind
584 Followers 916 Following data systems now @(?), data systems before @harvardDASlab
Tanay Singh @tanaysingh789
219 Followers 622 Following 17, cto @yourpersona, prev swe @TwoDotsFinance (YC w22), founding Eng @tryscope_app (YC P26),@fdotinc offseason, 2x Hackathon wins
Cherry @slopdotwtf
2K Followers 589 Following built the biggest agency on tiktok (@createmusic). building ai-first content pipelines for global brands (@nba, @mclarenf1, @psg_inside, @ramsNFL, + more)
Mustafa Hasan Khan @MustafaHKhan
110 Followers 494 Following Senior SWE @atlanhq, Google Summer of Code '22 & Mentor '23 @RocketChat, Tweets about Fintech, Web3 & Backend. Thoughts are my own.
CK @ConorKinkead
656 Followers 6K Following
webchainsec @webchainsec
150 Followers 3K Following 12y Cybersecurity | Pentest → AI Security & Compliance AI agents, smart contracts, risk & governance Building & learning in public
Dhairya @ AI_Pilot @DhairyasheelPa5
557 Followers 6K Following AI Harness engineer | @nyuniversity | IIT Madras // Me telling future me......// Racing to 0.0x001%
Kyle Wolt @Kyle_Wolt
119 Followers 1K Following techno optimist. building agent workflows👾 sharing what I learn here.
Cody Boyte @codyboyte
938 Followers 3K Following Leading a SaaS product team. Prev marketing and sales engineering leader. Plays basketball.
adaxon @an_axondendrite
113 Followers 2K Following receiving signals; transmitting alpha into the dark space
Jeremy Collins @jollins
312 Followers 2K Following Developer and web technology enthusiast. Mostly a reader, less of a writer. Currently slinging code at @webflow
Ariel Sharir @SharirAriel
383 Followers 2K Following Investor at Climate Innovation Capital. Investing in low-carbon solutions that are catalyzing our transition to a decarbonized economy🌎
ritwika @ritwika_k
1K Followers 7K Following Entrepreneur. BTech in CS from @iitmadras, MS in CS from Purdue and ex @amazon SDE (Seattle HQ).
Sanjeev Sisodiya @ssisodiya
781 Followers 3K Following Practicing gratitude and kindness. Interested in all the things. Let's talk. And listen. Always up for a walk and an conversation.
DMZ Financials @DMZDesk
14 Followers 468 Following Investing in venture capital and media infrastructure across AI, fintech, SaaS, biotech, consumer and the creator economy in the U.S. & Western Europe.
Ashlee Radka (she/her... @AshleeRadka
1K Followers 2K Following Software Engineer @vellum_ai 💻 Vegan 🌱 Creatrix 💋 🏳️🌈
Coffee with One 🇺�... @coffeewithone
6K Followers 2K Following CEO @octolane · building Superintelligence prev. @mintlify @DukeU
Trends for United States
You might like
Elon Musk
@elonmusk
241.6M Followers
Barack Obama
@BarackObama
119.0M Followers
Cristiano Ronaldo
@Cristiano
114.2M Followers
Donald J. Trump
@realDonaldTrump
111.8M Followers
Rihanna
@rihanna
98.7M Followers
NASA
@NASA
92.4M Followers
Justin Bieber
@justinbieber
91.8M Followers
Taylor Swift
@taylorswift13
83.8M Followers
Lady Gaga
@ladygaga
75.3M Followers
Virat Kohli
@imVkohli
73.2M Followers
Kim Kardashian
@KimKardashian
70.8M Followers
YouTube
@YouTube
68.8M Followers
Neymar Jr
@neymarjr
66.2M Followers
Bill Gates
@BillGates
65.1M Followers
Selena Gomez
@selenagomez
63.0M Followers
CNN
@CNN
61.8M Followers
X
@X
60.7M Followers
CNN Breaking News
@cnnbrk
60.1M Followers
PMO India
@PMOIndia
58.4M Followers
LeBron James
@KingJames
55.1M Followers