Logical Intelligence @logic_int
AI reasoning that’s 100% correct, 100% of the time, with zero hallucinations. Now, for the first time, you can trust and verify. logicalintelligence.com Joined June 2025-
Tweets13
-
Followers223
-
Following0
-
Likes107
Logical Intelligence retweeted
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
3K
2K
12K
3.6M
882
"Put in plainest terms, Bodnia and her team of prize-winning mathematicians — the staff of 16 include a Fields Medal winner and programming world champion — see your concerns about AI accuracy; their response: we’re going to have to math the shit out of this."…
Thrilled to receive a grant from the @ethereumfndn to formally verify zero knowledge protocols through contributing some proofs to ArkLib github.com/Verified-zkEVM…, including formalization of the core theorems from Ligero paper.
Logical Intelligence retweeted
Had a blast talking about Gauss & the Prime Number Theorem today at Harvard! Though was a bit intimidating to even be alongside a Fields medallist & a Turing award winner
Logical Intelligence retweeted
Beautiful talk by Michael Freedman on the Poincare conjecture and mathematical discovery! @HarvardCMSA @logic_int cmsa.fas.harvard.edu/event/clay_917…
Logical Intelligence retweeted
@logic_int Congrats @logic_int on the launch of Aleph and Noa! We're thrilled to be a trusted compute partner for you and the team.
Francesco Innocenti @InnocFrancesco
372 Followers 387 Following 🧠 PhD student in Machine Learning & Theoretical Neuroscience @SussexNeuro | 🧑💻 @AmazonScience Intern I like training and understanding neural nets.
Dima @0xCh3d
4 Followers 50 Following
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.
符号 @fffuhaoo
1K Followers 2K Following
Kʕ•̫͡•ོʔ @omt_kr
6 Followers 49 Following かおるくんしか無理なの。いつも優しいかおるくんがだいすきです٩꒰๑• ̫•๑꒱۶♡ 95line*同担以外はふぉろーして下さいな
Meta Xenia @Xenia_Galkina
327 Followers 932 Following Building knowledge infrastructure and semantic memory for AI users. I love hard sci-fi, space and aviation.
ron swanson @swanson_ro333
0 Followers 13 Following
F Dj @FDj1555293
115 Followers 2K Following
gonedark @goinggddark
5K Followers 2K Following
Raiders 📍 Token204... @__Raiders
2K Followers 2K Following Web3, Web2 & AI Security | Smart Contract Auditor | Creator https://t.co/jutrZxniMD | @summit_defi, @EFDevcon, @_SEAL_Org member | Operational Security https://t.co/YfWoBgN7hP
Lance Klima @lancefklima
17 Followers 208 Following
Lukas Linemayr @lukas_linemayr
206 Followers 810 Following partner @streamlinedvc || 🇦🇹 🇺🇸 make no small plans Board member @getbezel
Sam Lehman @SPLehman
3K Followers 2K Following Investor @PanteraCapital | Co-Founder of @0xmitharvard | @MIT Alum
vanessagrellet.eth �... @VanessaGrellet_
13K Followers 14K Following Managing Partner @Arche_Capital @EntEthAlliance #EEA Board Member Ex @Aglaé Ventures @CoinFund @ConsenSys @NYSE, #BSIC
FractalVisions.eth @Fractal_Visions
48K Followers 6K Following ⚡️The Original Superchain Supercharged NFT Platform 👁 Live on 🍄 Optimism🔴✨ Base💙 Shape⚫️ Superseed🌱 Soneium💿 Unichain🦄 Ethereum⚡️ 🎨 Built by @FV_Labs 🧪
Will Wolf ✌🏻 �... @throughnothing
3K Followers 3K Following MP @ Arche Capital. prev: incubated @bittensor_, @polychain, tilt (acq. @airbnb), webmail (acq. @rackspace)
Marie Geneste @MarieGeneste
59 Followers 333 Following
Bala Subramanian @Bala2462000
67 Followers 2K Following
Artom Konovalov @artom57
499 Followers 428 Following Head of product at @craftdocsapp; Previously: first product leader at @Chime, Sr. Dr. product @skyscanner, @gametimeunited, founder @Cornerap
Valery Che @qumeric
155 Followers 829 Following
Zucki @ilya_zuckerman
14 Followers 362 Following
Julien B. @bneiluj
88K Followers 8K Following founder @stakecapital . background in physics, maths and AI. Advisor to Morpho, core contributor / advisor Curve, Zama. Founder of @RektHQ, @StakeDAOHQ more.
Rod_ @7izRod
96 Followers 714 Following Interested in tech and memes Web3 and Utility @ganguedomacaco
Jhet Chan @jhetchan
155 Followers 2K Following
https://liff.line.me/... @liff_d78330
169 Followers 3K Following
Karolina @KarolinaGorna_
641 Followers 708 Following Web3sec and binaries analysis are 👍 Doing a PhD @DonjonLedger & @telecomparis | Former president @KryptoSphere_
Shashwat Gupta @ShashwatGupta23
84 Followers 1K Following AI Guy; loving my time at Microsoft Research.
Alban Vendeuvre @AlbanVendeuvre
49 Followers 65 Following Web 3 VC Investor @Ledger @Cathayinnov Fund
Maria @orotoneSF
0 Followers 155 Following
Sumeet Singh @sumeet724
7K Followers 3K Following investing in worldbuilders 🌐 @browserbasehq @sfcompute @itsalltruffles @flowercomputers @aetherfluxusa @_interfere prev @a16z
Petar Maksimović | N... @PetarMax
212 Followers 288 Following Formal Verification Engineer and BD Lead (@NethermindEth). Web3, program analysis, photography, singing, tennis, mental health. All views are my own.
sitthaveet.eth @sitthaveet
388 Followers 2K Following Developer Expert @Chainlink , I do cryptography and coding
Mariano Dominguez @marianojavierd1
2K Followers 7K Following Husband, proud dad, researcher and lover of science. Trying to understand the dark sector using Astrostatistics. Data Science for Sustainable Development
Ramneet Singh @Ramneet_Singhh
857 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)Trends for United States
25,3 B posts
233 B posts
9.345 posts
13,6 B posts
23,7 B posts
52,3 B posts
9.454 posts
18,2 B posts
89,1 B posts
7.321 posts
45,9 B posts
28 B posts
5.021 posts
12,6 B posts
1.911 posts
3.349 posts
10,6 B posts
7.066 posts
70,8 B posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers