Hyle.ai @Hyle_ai
AI, Marketing & Techno “Nothing is ours except time”- Seneca #waitingforagi hyle.ai Zurich, Switzerland Joined June 2025-
Tweets672
-
Followers126
-
Following1K
-
Likes1K
Hyle.ai retweeted
This is what happened in your brain when you read.
Hyle.ai retweeted
I wrote about the state of AI, why I’m concerned about the next few years, and the choices we need to make to keep the future in humanity’s hands. An Alien Mind: openai.com/index/an-alien…
Hyle.ai retweeted
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 the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: anthropic.com/research/forma… And see the complete proof on GitHub: github.com/anthropics/fer…
Hyle.ai retweeted
It is funny that it took gpt6 for people to realize why LLM benchmarks are terrible
@ChangJonathanC Hahah good one Deserves a follow
Hyle.ai retweeted
Elon Prime @E_musk748884949
109 Followers 594 Following
Clément Herr @ClementHerr__
573 Followers 419 Following Co-Founder @Lampi_AI | Ex-lawyer turned AI nerd | Building the AI operating system for high-stakes professionals | 🇫🇷🥖
@BioAI_Neuro @BioAI_NeuralNet
15K Followers 8K Following @MIT trained Neuroscientist interested #Neural_Nets, #BioAI, #NeuroAI 🧠⚡🤖 https://t.co/mrNBAVydzT 🎯 [email protected]
Andrew Akhiezer @andrew_akhiezer
16K Followers 18K Following IT Entrepreneur, Founder, Investor, Advisor
The Gene Munster @munster_genexl
87 Followers 2K Following Managing Partner @deepwatermgmt . Investing in tech-driven growth. All views/opinions are personal and not investment advice. 🚀
Floro S. @sflorimm
12K Followers 3K Following I quit my $100k/y job to build cool apps. https://t.co/sm61ZsrViP https://t.co/oSbcBJpaZG (exit) https://t.co/z4zqAjPRO6 https://t.co/gGkAETEZlx
Sagar @Sagar_kr_Maity
3K Followers 2K Following PhD student in theoretical physics @snbkol. (he/him) #gravitational_physics
Saikat @saikatmaity1729
3K Followers 3K Following Specialities :- Mathematics (#Number_Theory & #Combinatorics) | AI-assisted mathematics is fascinating | Exploring :- Quant & AI | (he/him)
Mansi 👩💻 @MansiCodez
6K Followers 2K Following Senior Software Engineer | System Design | DSA | Interview prep | AI. Follow me for update related to AI, tech, jobs, and software engineering career.
eguy @rosestar424
9 Followers 1K Following
Builder Protocol @builderprotocol
766 Followers 4K Following Functional audio for deep work, coding & flow states. Founder Mode · Lock In · Build In Silence. New sessions weekly → https://t.co/86E8YIk7kK
Nasal Dragon @nasaldragon
3K Followers 5K Following i mainly talk about technology,SaaS,Software and multiple b2b things. DM for work/collab
Talia @TaliaAariz
10K Followers 9K Following Generative AI & AI Creator | AI Workflows, Automation, AI Art, AI Video | DM for Collaborations
𝗠 𝗶 𝘀 𝘁 �... @Callme_Seth22
6K Followers 7K Following 𝗪𝗲𝗯𝟯 𝘀𝘁𝗿𝗮𝘁𝗲𝗴𝗶𝘀𝘁 & 𝗖𝗿𝗲𝗮𝘁𝗼𝗿 | 𝗞𝗢𝗟 & 𝗮𝗺𝗯𝗮𝘀𝘀𝗮𝗱𝗼𝗿 | 𝗖𝗼𝗺𝗺𝘂𝗻𝗶𝘁𝘆 𝗯𝘂𝗶𝗹𝗱𝗲𝗿
Nicolai @nicomoel
3K Followers 5K Following Building/buying 100 companies per year | GP @ Bifrost & Scaleup Finance | Venture builder | Micro-PE
Ali @HeyAliux
9K Followers 5K Following I turn brands & ideas into content that looks like art and sells like ads. follow for my thoughts.? 🤔
Hashvix AI @HashvixAi
19 Followers 96 Following Founder of https://t.co/hto8Iv5YQG | Creating AI vocals with a soul 🎵 | Building in public.
Terry W Blanchard @TerryWBlanchard
3K Followers 834 Following Just a guy from London, who is head over heals in love with a girl from Hong Kong. Int Tech,VideoGames & VR. work as CEO in day & hardcore gamer@night
. @shiri_shhs
11 Followers 280 Following Generalist | Al | Tech |Startups • Locked in • Building https://t.co/w5COAjbnwX
delivery company @Teslarockett20
36 Followers 1K Following Entrepreneur /Spacex & CEO&CTO Tesla Product Architect Hyperloop.Founder of the Boring Company Po Co-Founder-Neturalink, OpenAl…
Archilas | Give your ... @Archilas1
0 Followers 94 Following AI memory infrastructure. Deeper than a text database: it remembers why, not just what. Posting the research, development and failures.
ansumana @ansumanaizb9
38 Followers 475 Following
Umutcan Edizaslan @UEdizaslan
5K Followers 3K Following Mechanical engineer building AI for engineering. Solidworks - AutoCAD - Python - Fanuc ( CNC ) Founder @ai_deuz · Co-founder @FizyoAI
chaos @konig0000
17K Followers 16K Following part-time writer DM for Collab / paid promotion creator | gentleman
Alex (BCP) @SweetDickJo
96 Followers 758 Following only private elite here, I will mainly talk about crypto market, price action analysis etc. ONLY FOR A FEW PEOPLE MAIN ACCOUNT @BlockChainPill
Alex (BCP) @BlockchainPilxx
18 Followers 713 Following Only private elite here!! I will mainly talk about crypto market, price action analysis etc. ONLY FOR A FEW PEOPLE MAIN ACCOUNT @BlockchainPill
Evan Kate @EvanKatea3m5
360 Followers 2K Following Am from California but some of my workers came from Georgia Texas and California also
Teslacars CEO @Teslacars011
75 Followers 4K Following
Musk Tech Universe @MuskTechUnfei9
3 Followers 161 Following 🚀 Unofficial fan & parody account | Tesla ⚡ SpaceX 🚀 xAI 🤖 X | Exploring ideas, technology & the future.
Antonia Mack @AntoniaMack22
0 Followers 49 Following Classy, confident, and living life on my own terms.🎀
Emusk @Emusk5mha
25 Followers 3K Following CEO - Twitter, SpaceX🚀, Tesl🚗Mars &Cars, Chips & Dips Co-founder - Neuralink, OpenAl🤖🦾
Emma Watson @EmmaWatsono50f
69 Followers 1K Following Every picture has a story , every story had a nice moment that I'd love to share with you ❤️
Alex (BCP) @BlockchanPill
25 Followers 2K Following Only private elite here!! I will mainly talk about crypto market, price action analysis etc. Only for a few people Open DM. MAIN ACCOUNT @BlockchainPill
Tech Money Madness | ... @TechMoneyMad
374 Followers 3K Following Daily pulse on US Tech Stocks. 📈 Decoding the madness with data-driven analysis. | $NVDA $TSLA $AAPL | New episodes every market day. Subscribe on YouTube!
thijs @cdngdev
13K Followers 975 Following 20yo @stanford • robotics @openai 🤖 formerly @hackwithtrees @arena @discord @a16z
Pradeep Kapoor @pradeepXkapoor
681 Followers 301 Following i test what ai can do, explain what matters, and ignore the boring parts, big fan anthropic - using claude 5x,
Paul Christiano @paulfchristiano
12K Followers 0 Following Founder & Director of the Alignment Research Center. Former Head of Safety @ CAISI. Previously led alignment at OpenAI. Views my own.
Flo Crivello @Altimor
52K Followers 1K Following Founder @getlindy. "Striving to remember the obvious over grasping the esoteric."
Evan Hubinger @EvanHub
48K Followers 4K Following Alignment Science lead @AnthropicAI. Opinions my own. Previously: MIRI, OpenAI, Google, Yelp, Ripple. (he/him/his)
AI Notkilleveryoneism... @AISafetyMemes
188K Followers 1K Following Techno-optimist, but AGI is not like the other technologies. Step 1: make memes. Step 2: ??? Step 3: lower p(doom)
Clément Herr @ClementHerr__
573 Followers 419 Following Co-Founder @Lampi_AI | Ex-lawyer turned AI nerd | Building the AI operating system for high-stakes professionals | 🇫🇷🥖
Norgard @BrianNorgard
188K Followers 3K Following Ex-CPO Tinder, Norgard Capital, SpaceX/Andruil/Lyft/Notion/AngelList/Airtable/eToro/StockTwits/Deel/Hadrian/ValarAtomics/DiDi/River/Alpaca/LiquidDeath/Sword
@BioAI_Neuro @BioAI_NeuralNet
15K Followers 8K Following @MIT trained Neuroscientist interested #Neural_Nets, #BioAI, #NeuroAI 🧠⚡🤖 https://t.co/mrNBAVydzT 🎯 [email protected]
Andrew Akhiezer @andrew_akhiezer
16K Followers 18K Following IT Entrepreneur, Founder, Investor, Advisor
kache @yacineMTB
402K Followers 7K Following RL, robots, embedded, simulators. prev eng @ x, stripe. 6'3 (height) tensorpunk, Father 2u2 subscribe to read my blog!
Aesther @AestherML
62K Followers 547 Following AI Researcher & Theorist | Biological and Artificial Neural Networks • Accelerationist 🤗🧸
Chase Lochmiller @ChaseLochmiller
16K Followers 2K Following CEO and Co-Founder of @CrusoeAI Former @polychain, @jumptrading, @Stanford, @MIT
Kevin Liu @kliu128
15K Followers 1K Following Interested in ai, systems, progress, living a good life
Saikat @saikatmaity1729
3K Followers 3K Following Specialities :- Mathematics (#Number_Theory & #Combinatorics) | AI-assisted mathematics is fascinating | Exploring :- Quant & AI | (he/him)
Mansi 👩💻 @MansiCodez
6K Followers 2K Following Senior Software Engineer | System Design | DSA | Interview prep | AI. Follow me for update related to AI, tech, jobs, and software engineering career.
OpenlabX @openlabxorg
2K Followers 9 Following We post about AI, Quantum, Robotics, Space tech and Crypto
Lisan al Gaib @scaling01
58K Followers 1K Following lead them to paradise LisanBench: https://t.co/vorVk7Oks6 Impressum & Datenschutz: https://t.co/lFLgiu9cqs
Victor E. Nunez @victornunez
12K Followers 816 Following codex at @OpenAI notes from the frontier dad 🇩🇴 🏀
Chess.com @chesscom
721K Followers 836 Following The world's largest chess community. 250 million members. Join today! Live coverage: @chess24com ♟️ Support: @chesscomsupport 💚 Community: @GreenPawns 👪
Nicolai @nicomoel
3K Followers 5K Following Building/buying 100 companies per year | GP @ Bifrost & Scaleup Finance | Venture builder | Micro-PE
Ali @HeyAliux
9K Followers 5K Following I turn brands & ideas into content that looks like art and sells like ads. follow for my thoughts.? 🤔
Diego | AI 🚀 - e/a... @diegocabezas01
8K Followers 6K Following Applied AI at @Chase | Data Scientist, AI Research | ML, DL & Mathematics | @UniOfOxford. @Stanford AI 🎓 (Opinions are my own)
Tibo @tibo_maker
207K Followers 3K Following 📽 https://t.co/OyNJ8ZUyOh 📈 https://t.co/JkVOl1O0S1 🤖 https://t.co/tywwX4TyWa https://t.co/EFUcKeBbpU https://t.co/KG9PgxJabg https://t.co/1MEIhy0L5K https://t.co/jS9GQJ5Ps8 sold Tweet Hunter, Taplio ($10m) PH Maker of Year 🥇 growth tips: https://t.co/ereQodN3Ov
Jonathan Chang @ChangJonathanC
2K Followers 996 Following inference @poolsideai, building https://t.co/uEbfxzEztO
vas @vasuman
98K Followers 474 Following CEO @varickagents, Implementing AI at Enterprise. Prev AI @meta
This Week in AI @ThisWeeknAI
16K Followers 145 Following Weekly Roundtables with AI Experts and Founders. Stay ahead of the curve... Presented by PayPal Open: One Platform for All Business
Matt Clifford @matthewclifford
42K Followers 2K Following @AnthropicAI. Co-founder @join_ef; Chair @ARIA_Research.
Ivan Ji @ivan_ji_
895 Followers 37 Following Eng Lead @XAI Ex Ranking Lead Threads & @Instagram @Tiktok_us
Alim @almmaasoglu
10K Followers 1K Following Founder @feldarai - past Twitter, Robinhood, Youtube/Google, Toyota Creator of @grainrad
Runway @runwayml
290K Followers 336 Following Building AI to simulate the world. We're hiring: https://t.co/Grh4tTfq8y
RobLogic @RobLogic
23K Followers 6K Following Staying hip to AI • Latest Tech • Gamer 🎮 • Politics 🇺🇸 • Art/memes/music | Trying to figure out the answers to our universe, one Grok Prompt at a time.
Tencent AI @TencentAI_News
22K Followers 93 Following The official @Tencentglobal newsroom for AI updates and developer resources.
Hermes Agent Tips @HermesAgentTips
9K Followers 1K Following Covering all @NousResearch Hermes Agent, AI and cool things like Robots. Building, exploring and enjoying new and cool technologies
Evan @StockMKTNewz
1.1M Followers 479 Following Free Stock Market News that is FAST, ACCURATE, CONSISTENT, and RELIABLE | Not Just Stock News | The link to work with me is the link in my bio ⬇️
EleutherAI @AiEleuther
29K Followers 105 Following A non-profit research lab focused on interpretability, alignment, and ethics of AI. Creators of Pythia, VQGAN-CLIP, and using SAEs for interp
Stella Biderman @BlancheMinerva
19K Followers 911 Following Ensuring that tech companies don't have a monopoly on being able to do research on cutting edge AI @AiEleuther. She/her
Lumina @LuminaBench
9K Followers 349 Following AI News and Benchmarks Want AI leaks and news early? Join our Discord - https://t.co/t27HFvo0r9 Got any tips or want to reach out? - [email protected]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.1M Followers
Kim Kardashian
@KimKardashian
70.8M Followers
YouTube
@YouTube
68.8M Followers
Neymar Jr
@neymarjr
66.1M Followers
Bill Gates
@BillGates
65.0M Followers
Selena Gomez
@selenagomez
62.9M 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.0M Followers