Patrick Hillmann @PRHillmann
Orderer of Chaos & Policy Junkie. Current CSO & COO at Logical Intelligence, former CSO at Binance. GE, Edelman. linkedin.com/in/CrisisCommu… Chicago & Washington DC Joined August 2010-
Tweets1K
-
Followers7K
-
Following697
-
Likes566
Just submitted a paper on which I worked during my PhD with incredible team of physicists, neuroscientists and mathematicians (kuddos to @ninamiolane ) . I always wondered if this methodology (time correlated persistent homology) can be applied to AI models? I can see that some models could learn better or worse because of their topological order parameter. I also predict that similar could be for brain diseases: e.g. Alzheimer/Parkinson/Dementia/various levels of consciousness under anesthesia has specific topology . Maybe @JosephJacks_ can test some with legend @StuartHameroff Link on pre print biorxiv.org/content/10.648…
@deanwball @natolambert I have not said anything like that. I have said that governments around the world REQUIRE AI sovereignty, not that they will have "their own models as digital public infrastructure" But open weight foundation models will INEVITABLY be the dominant form of AI.
@mertunsal2020 You can take a look below. It’s quite dated as we have some product announcements coming on the horizon. logicalintelligence.com/blog/energy-ba…
Certain outspoken industry peers on this platform arrogantly mocked us and called us “unserious” for not trying to build our own LLM. Luckily, markets have a funny way of rewarding conviction well before consensus catches up 🤷♂️
It has been our hypothesis since day one that “AI for math” is not a durable business model. Frontier models will continue to expand into specialized capabilities like mathematics, which means competing by building another specialized model yields increasingly diminished returns
Impromptu board meeting at Raise Summit’s amazing AI gala in Versailles!
@uncledoomer Not the worst physics engine mechanics I've seen. Not cheap from a compute standpoint. Warrants much testing.
"Every LLM is a very confident guessing machine." @PRHillmann , CSO/COO at @logic_int Logical Intelligence model vs. leading LLMs on Sudoku: LLMs: 2% solved, $14,000 LI model: 98% solved, $4 Deterministic AI just made its case. ShiftAI.fm🎙️
Companies are routing to cheaper models for savings. Soon they will route away from pure LLM generation when high stakes tasks require correctness and constraint satisfaction.
How to keep AI spend flat while token usage grows exponentially: Not with friction and spend alerts. With better defaults, routing, and caching. Better Defaults (not Usage Caps) – Engineers can choose any model they want, but defaults matter. We’re experimenting with defaulting
This morning on @CNBC, @PalantirTech's CEO Alex Karp confirmed what I've been hearing from my C-suite friends in advanced manufacturing. The AI ecosystem is going to evolve a lot over the next 10 years. Additional architectures will enter the market that make AI more efficient, deterministic, and trustworthy. The future can't be just more compute and larger models.
Palantir CEO Alex Karp on what customers actually want, the real business of frontier labs, and the importance of open source models: “What the technical customers want is control over their compute, their models, their data stack, and their alpha. They want to know they own the
@IDrawCharts After you catch the first monkey and train him to capture the other monkeys, you’ll realize economies of scale.
They say an infinite number of monkeys with an infinite number of typewriters will eventually produce Shakespeare. A far more expensive version of that theory says that if the initial answer isn’t good enough, keep throwing compute at the problem until one finally is.
ebrm curious? get the run down from @BorisHanin and @PRHillmann
We are awash with buggy LLM-generated code. It costs more to fix than to create. The volume is growing quickly, and methods like testing are insufficient to keep up. Formal verification is one path out. It has been hard for AI. But EBRMs may hold the key logicalintelligence.com/blog/automatic…
Last week, OpenAI showed that AI can help discover new mathematics. We took their result and formalized it into a machine-checkable proof in Lean 4. This is more than academics. It's a step toward putting AI into critical systems where accuracy matters. logicalintelligence.com/blog/aleph-pro…
Last week, OpenAI demonstrated that AI systems can help discover new mathematics approaches in its recent counterexample to a conjecture of Paul Erdős announcement. We at Logical Intelligence took that as a challenge as well and formally verified the result in Lean 4 using the latest version of our Aleph Prover agentic system. The result is now a machine-checkable artifact in Lean 4. This was a real hurdle for our new improved version of Aleph Prover to overcome to demonstrate that it can solve more complicated problems for extended periods of time. We are happy to see more top companies working in that direction. We firmly believe that verifiable AI is the future and we’re excited to be part of that.
NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result. See it here: logicalintelligence.com/blog/aleph-pro…
NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result. See it here: logicalintelligence.com/blog/aleph-pro…
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that
Generating formally correct code is the solution
Buggy slop code is burning capital faster than ever. I believe our recent formalization advancements will lead to AI producing code that’s formally verified *upon generation*.
This is what we've been seeing with every company we work with. Try justifying spending 100k on token spend when only 18k even makes it to a stable prod feature. In the rush to maximize AI token spend, companies are wasting over 44% on bug fixes
Aleph Prover reached the top position across several key formal reasoning benchmarks, marking another step toward scalable formal verification for mathematics, software, and hardware systems. Our CTO @AlexFLogic explains why this is becoming one of the most strategically important frontiers in AI
@mertunsal2020 All good, friend. Not being snipey. Regarding certain “others,” I’m a big believer in karma. Not sure Twitter hot takes is a good look for the CEO of a company. Reminds me of when SBF used to be on here acting holier than thou.
H.E. Justin Sun 👨�... @justinsuntron
4.1M Followers 4K Following 👨💻 Entrepreneur | 🤵♂️ Diplomat | 👨🚀 Astronaut #712 | 🍌 Art Collector | Founder @trondao | Advisor https://t.co/o9xGaETpdH https://t.co/Y1UfwSJ8ko https://t.co/GSEqOn3haH | Chinese @sunyuchentron
Yi He @heyibinance
614K Followers 1K Following Co-Founder & Chief Customer Service Officer @Binance， Holder of #BNB
Wu Blockchain @WuBlockchain
557K Followers 407 Following Important Crypto News mainly Asia Lead by Colin Wu 吴说 More Channels: https://t.co/EWW3fUtX5v Contact: Tele colinwu1989 non-financial advice
nic carter @nic_carter
650K Followers 4K Following give orange me give eat orange me eat orange give me eat orange give me you
CL @CL207
277K Followers 11K Following ex academia, ex trading desk, now google maps enjoyer reply containing ai, nsfw, small cap asset mentions = blocked
Alex @AlexOnchain
57K Followers 2K Following running socials @coinbase | opinions aren’t even mine | former head of social/community @binance (20-24)
Bb @bitbitcrypto
156K Followers 2K Following Average traders get average results - average traders lose money. Did you check @credo__v yet?
Laura Shin @laurashin
291K Followers 6K Following Crypto journalist 🎧 Host @unchained_pod 📚 Author, The Cryptopians 💌 Sign up https://t.co/gf90Q5GrXy Ads [email protected]
loomdart @loomdart
323K Followers 17K Following combatting modern addictions @loomlocknft don't check x dm's use telegram https://t.co/lctDOfskbN not angel, not KOL, not investing, go away
Neeraj K. Agrawal @NeerajKA
157K Followers 4K Following comms @coincenter—the cryptocurrency policy think tank | [email protected] | food account/retirement pasture: @neerajkafood
otteroooo @otteroooo
49K Followers 2K Following defi threads ELI5 // crypto patriot otter investigates anything that smells fishy // not financial advice
Adam @admpscll
2 Followers 89 Following
bella_eth @carstazr
3K Followers 779 Following Copywriter @_AdventureVale_ | @coolcats holder | Faculty of Journalism student | it's interesting down here👇😉
Baptiste CAILLERIE @Baptiste_CAIL
7 Followers 412 Following
CafeClope @CafeClope01
4 Followers 125 Following
Elias @EliasK112561
28 Followers 267 Following Interested in how AI changes the way we do science. prev Member of Technical Staff at Math, Inc. & Physics at ETHZ
Em & cherry @StevenMorales79
18 Followers 1K Following cute but chronically tired 🥱 always follow back
duve @jevonduve
404 Followers 399 Following logics and categories. like to play with dependent types. 23. vegan. penn.
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD @umdcs | (incoming) Research Scientist @datadoghq | Writing at https://t.co/O7d6OIVJ5C | Testing compilers, type systems, databases...
Maurício Fagundes @mfagundes
324 Followers 1K Following
Liam OD @liamjamesbodman
233 Followers 3K Following @mit Building a policy linter and obligation ledger @langscore https://t.co/9EeUYKWTEh
404 Codes @404Codess
37 Followers 791 Following Co-founder @RentifyHQ — the event marketplace Africa can trust. Backend engineer. Clean systems.
Henry Johnson @henryboops87
0 Followers 6 Following
Pankaj Thakur @PankajVNT
2K Followers 2K Following - Enterprise Growth | Sales & Marketing | B2B Partnerships - Indian living in Paris, France since 2015 - Tech • Travel • Business 📍Paris 🇫🇷
Ira Bodnar @irabukht
16K Followers 717 Following Building Ryze — paid ads, SEO & AI visibility on autopilot | used by 4k marketers | something bigger launches soon ✨
Siddharth Mahapatra @Sid_Mahapatra12
425 Followers 7K Following Besides death, all failure is psychological.
Max Dauber @max_dauber
513 Followers 4K Following solving hard problems, fmr @DeptOfWar @primer_ai @utexasece, 🇺🇸
Hari @hrkrshnn
12K Followers 4K Following @cantinasecurity @spearbit ceo // prev @solidity_lang, @ethereum
Boaz Ashkenazy @boazashkenazy
1K Followers 936 Following Founder and Host of Shift AI Covering AI, infrastructure, energy, quantum and deep tech across the West Coast. Redapt | Ex-Meta
MarkBruns @MarkBruns
817 Followers 890 Following - Live simply; imitate Christ - Minimize centralization, expand self-governance - Situational cynicism makes truth - Adapt multi-personality order as discipline
Fenix FVE 🧬⏩🌐 @FenixFve
58 Followers 1K Following
TranscendentBytes @TranscendentByt
4 Followers 358 Following
τ ⊗ τ = 1 ⊕ τ @smtsjhr
803 Followers 5K Following non-self-proclaimed amateur wannabe Nothing (sense⇒nonsense||nonsense⇒sense)
jin. 𓆝 @itsneuron
1K Followers 2K Following algebras, braids and topologies. | ai researcher | ❤️'s mathematics, machine learning, books and people.
Hira @Hiraweb3
48K Followers 14K Following hiraweb3 🧚♀️ || web3 girl || alpha inside || memecoin degen ||
rhahn @rhahn
543 Followers 358 Following Behind the scenes: consumer of all things comms, brand and news.
Anti-Buddha @mohamedun
93 Followers 2K Following
NoLinnit @whogonebetheboy
156 Followers 2K Following
Ping He @0to1ping
147 Followers 5K Following Building https://t.co/ED5QTCwV2z Growing https://t.co/BHOs62rxTY, https://t.co/dXp0Yr9Ioj, more coming...
Shital Shah @sytelus
14K Followers 14K Following CEO and founder https://t.co/bg8qbK3ei1. Ex-Microsoft Research, Microsoft AI, Code infra lead Microsoft Phi models. If universe is an optimizer, what is its loss function?
Jesse Powell @jespow
233K Followers 9K Following Co-Founder & Chairman @KrakenFX Founder @Verge_Arts Former pro player @Wizards_Magic #VirtualGoods🎮 Peddler since 2001 #NFT🖼️ Hoarder #Bitcoin Enthusiast
H.E. Justin Sun 👨�... @justinsuntron
4.1M Followers 4K Following 👨💻 Entrepreneur | 🤵♂️ Diplomat | 👨🚀 Astronaut #712 | 🍌 Art Collector | Founder @trondao | Advisor https://t.co/o9xGaETpdH https://t.co/Y1UfwSJ8ko https://t.co/GSEqOn3haH | Chinese @sunyuchentron
FatMan @FatManTerra
131K Followers 188 Following FatMan from Terra Research Forum Cryptocurrency & finance researcher Whistleblower of the Terra fraud. Assisted government agencies in taking down Do Kwon.
smolting (wassie, ver... @inversebrah
580K Followers 6K Following professional it/that and lil/shid @wassie NOT A FROK D: mite be a multiagency fed (unproven) check out https://t.co/kq0S9R3nRZ
Yi He @heyibinance
614K Followers 1K Following Co-Founder & Chief Customer Service Officer @Binance， Holder of #BNB
Wu Blockchain @WuBlockchain
557K Followers 407 Following Important Crypto News mainly Asia Lead by Colin Wu 吴说 More Channels: https://t.co/EWW3fUtX5v Contact: Tele colinwu1989 non-financial advice
nic carter @nic_carter
650K Followers 4K Following give orange me give eat orange me eat orange give me eat orange give me you
Frank Chaparro @fintechfrank
209K Followers 3K Following Head of Strategic Communications @GSR_io/ Host of The Crypto Tape / Airbnb Super Host/ Founding Reporter at @TheBlock__
Paolo Ardoino 🤖 @paoloardoino
354K Followers 885 Following CEO @tether 🖇️ + CTO @bitfinex 🍀 | @keet_io 🍐 + https://t.co/arlfWS9TE7 @QVAC 🤖 + 🦓 (Views are my own)
Alex @AlexOnchain
57K Followers 2K Following running socials @coinbase | opinions aren’t even mine | former head of social/community @binance (20-24)
Laura Shin @laurashin
291K Followers 6K Following Crypto journalist 🎧 Host @unchained_pod 📚 Author, The Cryptopians 💌 Sign up https://t.co/gf90Q5GrXy Ads [email protected]
Chris Burniske @cburniske
337K Followers 2K Following Partner @placeholdervc; co-author #Cryptoassets 📔; formerly led crypto @ARKinvest. Xeets not financial advice. Disclaimer: https://t.co/Xp0VJsuufc
Neeraj K. Agrawal @NeerajKA
157K Followers 4K Following comms @coincenter—the cryptocurrency policy think tank | [email protected] | food account/retirement pasture: @neerajkafood
吴说区块链 @wublockchain12
179K Followers 2 Following 吴说中文推特：接近真相，更可信赖 专业可信的行业新闻，优质深度内容推荐 吴说所有内容渠道、播客、APP 等：https://t.co/rVoqryXVjk 联系我们 TG: colinwu1989
Boaz Ashkenazy @boazashkenazy
1K Followers 936 Following Founder and Host of Shift AI Covering AI, infrastructure, energy, quantum and deep tech across the West Coast. Redapt | Ex-Meta
JJ @JosephJacks_
45K Followers 457 Following
Vinod Khosla @vkhosla
734K Followers 654 Following entrepreneurship zealot, grounded technology possibilist, believer in the power of ideas, passionate about sustainability & impact
Ish Verduzco @ishverduzco
74K Followers 3K Following social lead @notionHQ // ex @a16z, @linkedin, @snap
Eve Bodnia @evelovesolive
4K Followers 530 Following latent reasoning, AI formal verification. CEO and founder of @logic_int
Logical Intelligence @logic_int
6K Followers 10 Following Piloting The World's First Energy-Based Model For Critical Systems.
Yat Siu @ysiu
166K Followers 1K Following Chairman of Animoca Brands and generally excited to talk about true digital property rights! https://t.co/SxYIGoXglO https://t.co/T1X92l0y4F ysiu.eth
Animoca Brands @animocabrands
311K Followers 2K Following We aim to build, invest, and accelerate the most impactful technologies and ecosystems, turning participants into stakeholders.
Courtney Cronin @CourtneyRCronin
125K Followers 2K Following Chicago Bears & much more @ESPN. @ESPNRadio host. Hear me @ESPN1000. Prev: Vikings/ESPN (2017-21), @mercnews, @clarionledger. IU alum. [email protected]
James W. Foley Legacy... @JamesFoleyFund
11K Followers 5K Following Our mission: Advocating for American hostages and wrongful detainees held abroad and promoting journalist safety. "Inspiring moral courage."
Emily Bailey @bitsmash
5K Followers 1K Following PR and Marketing @nakamoto nostr: npub17xxegf9jk95868uu795fmv29f5syksteq6en08wu6d9gttvc7g4qr838j4
@nikhileshde.bsky.soc... @nikhileshde
19K Followers 2K Following Reporter covering policy @CoinDesk | Views my own | Tweets about LEGOs, trains and planes | He/Him | Tip/question? Signal: nikhileshde.74; [email protected]
Anton Castaneda @antoncastaneda_
244 Followers 280 Following San Diego born and raised. Now Texas. Capitol Hill alum. Founder: https://t.co/7tke57y7f0
John E Deaton @JohnEDeaton1
428K Followers 3K Following Candidate, U.S. Senate; Founder, CryptoLawUS; Managing Partner, Deaton Law Firm; CLA, SpendTheBits, Entrepreneur; Author; Survivor.
Richard Teng @_RichardTeng
353K Followers 237 Following @Binance Co-CEO | Formerly #Binance Head of Regional Markets, Former CEO of Financial Services Regulatory Authority ADGM
Chris Dixon @cdixon
938K Followers 5K Following Programming, philosophy, history, internet, startups, crypto. Managing Partner @a16zcrypto. See disclosures: https://t.co/Ov6kKJAUpq
Tim Sweeney @TimSweeneyEpic
329K Followers 1K Following Epic Games founder and CEO. Doesn’t know when Attack on Titan is returning to the Fortnite item shop.
CoinDesk @CoinDesk
3.9M Followers 2K Following Leading the conversation on accelerating crypto’s future. Follow @CoinDeskPodcast @consensus2026 @CoinDeskES @CoinDeskMarkets @CoinDeskData
Community Notes @CommunityNotes
1.2M Followers 0 Following Empowering users to create a better-informed world. We're open source and data is publicly available: https://t.co/Te3IjR10Ix Q? Reply/DM
Michael Saylor @saylor
5.1M Followers 802 Following Bitcoin is https://t.co/KbbYe74DgB | $BTC Hodler | @Strategy Founder & Chairman | bio https://t.co/9Zlq0oHYnP | free education https://t.co/4L1s0ix7FE | $MSTR $STRC
Kedar Iyer @boogecko
7K Followers 725 Following Ethereum DEX @jumperlob Formerly founder of ZigZag Exchange
Eric Golden @Ericgolden
10K Followers 5K Following 🤫 Founder & CEO of @canopycapital 🎙️ Host of Making Markets 💸 Formerly Fidelity Fixed Income Portfolio Manager. No investment advice - views my own.
Jason Goff @Jason1Goff
49K Followers 2K Following 📺: @theathletic Show on @AmazonFireTV 🎙️: #TheFullGo Podcast presented by @fdsportsbook on @ringer @spotify
Adam Jahns @adamjahns
78K Followers 1K Following Husband and father. Bears Insider for @CHGO_Sports. Hoge & Jahns Podcast. Previously with The Athletic, Chicago Sun-Times.
Perianne Boring @PerianneDC
57K Followers 6K Following Bitcoin OG. Founder and Chair @DigitalChamber and @DigitalPowerUS. Partner, Off the Chain Capital. Executive Producer @godblessBTCfilm. Views are my own.
Calvin Cheng @calvinelcheng
3K Followers 256 Following Hon. Consul of Serbia 🇷🇸 to Singapore 🇸🇬 Consulate of The Republic of Serbia in Singapore. Former appointed Parliamentarian, Singapore 🇸🇬, TECH INVESTOR
Adrian Sandiford 🟥 @asandiford
686 Followers 1K Following Founder of Red Goose Studio • Beijing Guoan & AFC Wimbledon fan • DPRK watcher • Blockchain bull
Matt Murray @murraymatt
16K Followers 839 Following Executive Editor, Washington Post. Former Editor in Chief, Wall Street Journal. Author, The Father and the Son: My Father's Journey into the Monastic Life.
Emily Chang @emilychangtv
208K Followers 2K Following Host and executive producer of “The Circuit” and “Posthuman” on @Bloomberg Originals. Author of Brotopia. Proud mama and wife of @jonstull
Viktor Bunin 🛡️�... @ViktorBunin
49K Followers 1K Following OG Protocol Specialist at @Coinbase. Investing in protocols, infrastructure, and crypto SaaS at @CrediblyNeutral
Sean Tuffy @SMTuffy
18K Followers 791 Following I tweet mostly about FinReg & crossborder funds. Sometimes I tweet about other stuff. Personal account, all opinions my own and whatnot.
Charles Hoskinson @IOHK_Charles
1.1M Followers 2K Following Dire Wolf Mode | Sateré-Mawé Warrior | Honorary Berkutchi 8830 AC64 17F2 5164 195C 05DE 21E3 E377 13E1 5586 | CEO of IOG and King of the Rats
Linda Yaccarino @lindayaX
777K Followers 2K Following CEO of eMed Population Health, Mom, foodie, fashion enthusiast, @penn_state alum, former CEO of X
Michael B. Greenwald @greenwald00
502 Followers 564 Following Director, Global Relations @AWS, @BelferCenter Fellow & @Columbia Professor, Senior Fellow @AtlanticCouncil and @CNAS,Former U.S. Treasury Diplomat @USTreasury
Alexandre Dreyfus @alex_dreyfus
202K Followers 8K Following Passionate net-entrepreneur since 95'. CEO - Web3 x Sports #blockchain @chiliz ($CHZ) + @socios. Dad, Dreamer, Traveler, World Citizen, Doer. #1 SportFi network
Crypto Town Hall @Crypto_TownHall
105K Followers 2K Following Your town hall for the biggest guests, breaking news and discussions in crypto. Live daily! Hosted by @marionawfal @scottmelker @cryptomanran @dmweisberger
Tony Edward (Thinking... @thinkingcrypto
142K Followers 5K Following Thinking Crypto Podcast Founder @ThinkCryptoPod, Author of (Re)Thinking Crypto Book. https://t.co/p84XP3NNyN
Ray Dalio @RayDalio
2.4M Followers 93 Following Official account of Ray Dalio, founder of Bridgewater Associates, author of #1 New York Times bestseller 'Principles,' professional mistake makerTrends for United States
You might like
