Latinum Frontier Mathematics Research Lab @LatinumAI
Using AI and formal reasoning to break hard math problems latinum.ai Dublin Joined May 2025-
Tweets57
-
Followers704
-
Following55
-
Likes30
🏅 @LatinumAI (Honourable Mention) Smart contracts are still mostly secured through informal reviews and expensive audits, leaving critical bugs to slip through. Latinum solves this with a formal verification toolchain that compiles Lean 4 to Solana SBF, proving contract properties at build time before code can ship. Their demo shows a verified vault contract deployed onchain, with the compiler refusing to build when a balance leak is introduced. In short: they’re making it possible for @solana developers to write contracts that can mathematically prove they work before they go onchain.
Ireland takes home TWO winners and one honourable mention from @colosseum! 🏆 Grand University Award: @iochaindev - a decentralized AI inference marketplace (@Ericxin123) 🏆 @MentionedMarket - a social prediction market to trade words that get said across any form of media (@taylorferran & @Murraymiint) 🏅 Honourable mention: @LatinumAI - using LEAN programming language to write smart contracts on @solana 🏅 Shoutout to Superteam IE member @YellowFishZ on @craftsdev's W also. Small country, big at heart 💚 @solana @superteam
1/ Announcing the winners of the Solana Frontier Hackathon!🏔️ Read about the winners & honorable mentions: blog.colosseum.com/announcing-the… The subset of winning teams accepted into our VC fund's next accelerator cohort will be shared in the coming days. Congrats to all! 🏆
@JasonRute @leanprover Just the compiler. I added cross-target support to the LLVM backend and wrote a small runtime to replace the host lean.h/libc. The interpreter is untouched, so eval and tactics still run on the host. An external compiler bench would be great, agreed.
Why are formal languages not used as programming languages? Most were built only for mathematics. Lean lets you write real code, but its compiler assumes a garbage collector, threads, and an operating system underneath. So I rewrote it.
In Lean, you only write the theorems. The AI writes the code and the proofs. Full autonomy, no risk. Code becomes like assembly. No human review needed.
Why this matters for AI: Today, people prompt Claude Code. It needs supervision, fakes tests to pass, bugs slip through.
Full episode: 🎧 Spotify: open.spotify.com/episode/6sI79r… 📺 YouTube: youtube.com/watch?v=Czir_2… 🌐 latinum.ai
And the closing line that’s making me dust off my old maths books :) "We're all going to be math engineers. The math is correct, but what is the math saying? That's going to be the crux of the problem."
Excited to share a new podcast, this time with Fabrizio Montesi, Professor of Computer Science at SDU and lead maintainer of CSLib (Lean library for CS) We kept landing on a question most AI code talk skips: we can prove software correct, but correct against what? Thread👇
@dharmatrade Thanks @dharmatrade. Updated all videos now
Just released a podcast with @AlexKontorovich, Distinguished Professor of Maths at Rutgers. He has also been a forward looking thinker on how mathematics will evolve alongside AI. He has shared his forklift analogy for AI & learning here before, but it’s too good to not reshare!
And on what's coming: "There's plenty I can say AI can't do well now. But something they'll never be able to do, I always come up short. I'm not able to articulate what I do that these systems won't ever be able to do."
On the maths community and AI startups: "We're very non-confrontational as a culture. If someone is claiming things and you don't agree with them, you just don't invite them to your next conference. What we as mathematicians need to do is not just play defence."
Sadira Flannagan @FlannaganS3168
1 Followers 25 Following NFTs aren't just collectibles; they're memories, art, and history stored on the blockchain. ️ #NFTCollectibles #DigitalArt
Ace Zhang @acezhang71
7 Followers 32 Following I build TG bots & on-chain tooling for crypto teams. Built @WolfGuardAI_bot — reads your wallet, tells you who you really are. Time will prove everything.
0xBear @FrankBloch90
230 Followers 2K Following SOL Degen All on One Team of @nft_godz | @BuffBunnyNFT | @ufl_sol Prev @alldomains dev Creator @rootydotfun
Kyan @kyan_novoyd
643 Followers 3K Following Solana audits @Slot_Zero_Sec @rektoff_xyz @solanaturbine
PauluneMoon ✨ @PauluneMoon
1K Followers 2K Following UX/UI designer on @solana · Onchain UX & design systems @shefiorg S17 💫 · building @wesplit_io & @coplex_dev
Shiven Moodley @ShivenMoodley
542 Followers 508 Following Building the Behavioural Intelligence OS @Veyawealth for Wealth Managers Across TradFi & DeFi. - Backed by a Decade of Macro, Treasury, and Quant Strategy
F @kurosaki_sol
41 Followers 296 Following Where is dev ? Currently on @blueshift and at @mtndao (v9 🗻) Old - @Noctis0x
calicarreno @DanielC74743423
6 Followers 775 Following
Dicephalous 90 @Dicephalou50805
25 Followers 308 Following
GEMS HUNTER @misae2605
7 Followers 205 Following
luis @GanniIhab
124 Followers 1K Following
mj.unit @mjsani1
206 Followers 1K Following
Lucifer Nox @0xLuciferNox
131 Followers 1K Following Grid Bots • Liquidity Farming • AFX & Perp Alpha Real P&L & Setups | NFA Ref: AFX https://t.co/JSVJnffDly
nicola 🏟️ @iamnotnicola
8K Followers 3K Following Now: Multi-Agent Security @ARIA_Research Prev: leading research @ProtocolLabs (7y+) research at MIT with @timberners_lee Blog: https://t.co/AVhvcF4C78 
Hammad Butt @buttHammadButtw
3 Followers 71 Following
Mintoo Yadav @MintooY66
131 Followers 1K Following
iarla @iarlacrewe
685 Followers 361 Following Shipping at @sanctumso. Member of @SuperteamIE & @SuperteamUK. Also regularly get beat in jiu-jitsu and play guitar.
daldal @agapitodaldal
79 Followers 3K Following
Peppi Littera @peppilittera
1K Followers 3K Following 🎭Azpt5umoSR6jqvKSDfH6YCYf/XIWHZbe2dznRNkiIicq1🎭 now @informalinc // co-founder of @sardexnet // still trying to make things happen
neo @ax_x2x
555 Followers 227 Following
Pileks @pileks
700 Followers 610 Following Founding engineer @MetaDAOProject Occasional snarky commenter.
©flows / Chainflow @cfl0ws
4K Followers 4K Following Building decentralised crypto infrastructure to liberate human potential @chainflowpos & @chainflowsol 🌞
Tim Carstens Ⓥ✨ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Eng @ 🤫🥸
Andrew Miller @socrates1024
23K Followers 6K Following interim manager @ teleport computer 🛡️ dstack integrations 🏫 https://t.co/LZtbefGx8o
InspirationGx 🦀 @inspiration_gx
1K Followers 404 Following 4x Grad @solanaturbine. Rust | Aya eBPF🐝 | Fullstack Dev on @solana @Superteamng | Pod @the_anchor_fndr | fnd @gildore_arena | CTO @importapay_ng
ddadybayo @ddadybayo
2K Followers 2K Following research & strategy - @unstoppablebyhs | freedom maximalist | 🇰🇬
Devan Non @devanoneth
4K Followers 497 Following Germinating @bloom_directory | @safe Guardian 🔰 prev MEV, large custodian, big corporate, acquired startup
Perelyn Sama @OkohEbina
1K Followers 940 Following An artist in an engineer's world. DeathGround Enjoyoooor
samai @SamaiSpeaks
253 Followers 774 Following 10Xing my net worth responsibly • crypto x AI • ex-IITB, BCG • building cool stuff • contributor @superteamIN nfa
ziffee @hanufudgie
1K Followers 4K Following
zmanian @zmanian
49K Followers 20K Following @iqlusioninc. @sommfinance. interoperable blockchains with @cosmos. smart contract for all with @agoric he/him. shape rotato
Choo @tradeoftruth
506 Followers 2K Following Builder, bitcoiner. Shitcoin slinger. Class of '17 🐂. Dead inside.
Nate ⓩ🛡 @nate_zec
7K Followers 3K Following 🛡 Shield all the things! Focused on tech for increasing agency, consent, and connection. #Zcash @ShieldedLabs, formerly @electriccoinco.
Aleph @4nplus3
33 Followers 3K Following Data-free extrapolater, Dataset saturator, Uwubuntu user, Duke of bots, Deadly sin minimalist
Thybault 🦾 @Soulthym
427 Followers 2K Following Software Engineer @massachain, doing R&D on ZK and PQ cryptography. @UseGossip
Lean @leanprover
11K Followers 49 Following Lean is a dependently-typed programming language and theorem prover.
Jason Rute @JasonRute
737 Followers 235 Following AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Nico @nico_mnbl
2K Followers 721 Following 'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
Leonardo de Moura @Leonard41111588
7K Followers 30 Following
Demis Hassabis @demishassabis
1.5M Followers 176 Following Nobel Laureate. Co-Founder & CEO @GoogleDeepMind - working on AGI. Solving disease @IsomorphicLabs. Trying to understand the fundamental nature of reality.
Chris Olah @ch402
152K Followers 183 Following Reverse engineering neural networks at @AnthropicAI. Previously @distillpub, OpenAI Clarity Team, Google Brain. Personal account.
SAIR @SAIRfoundation
4K Followers 36 Following Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Alex Kontorovich @AlexKontorovich
34K Followers 840 Following Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.
Alex J Best @AlexJBest
592 Followers 3K Following Researcher in maths+formal methods+ml. Working on using formal verification to train models for reliable mathematics, software, and reasoning @harmonicmath
Nick Ducoff @nickducoff
18K Followers 1K Following Head of Institutional Growth @Solana Foundation. Anyone can cook.
Anh Tran @SaigonButcher
5K Followers 3K Following Helping Superteam founders succeed & growing the Solana ecosystem | @SuperteamBlack | https://t.co/BPBDsHZNXN 2 Corgis. Married to Nuu 💍
Superteam @superteam
96K Followers 2K Following a community of founders, devs & grantees working in the @solana ecosystem. || no token, just an online community.
Ewan Kirk @ewankirk
1K Followers 606 Following Technology entrepreneur, early-stage investor, founder of Cantab Capital Partners, Chairman of the Management Committee at the @NewtonInstitute
Scot Wingo, CEO ReFiB... @scotwingo
9K Followers 3K Following CEO and co-founder of https://t.co/VPMg0L3vGg, GP at TweenerFund, Podcast host on https://t.co/MEwt1YUDvg, Just launched https://t.co/iHlrRPkekn substack and pod
Kyle Harrison @kwharrison13
27K Followers 5K Following Investor. // Building @contrary, @Contrary_Res // Former Index, Coatue, TCV // Husband, Father, Christian @ch_jesuschrist
Pratyush @pratyushbuddiga
15K Followers 2K Following Christian. venture capitalist @SusaVentures. partner to @AntaresNuclear (first investor) @ShinkeiSystems @hanoverpark @RivetTax + more in stealth
Claude @claudeai
1.6M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
NDRC @NDRC_hq
13K Followers 3K Following Ireland's national startup accelerator programme, powered by @dogpatchlabs in partnership with @portershed, @RDIhubIreland and @republicofwork.
Ray Dalio @RayDalio
2.3M Followers 93 Following Official account of Ray Dalio, founder of Bridgewater Associates, author of #1 New York Times bestseller 'Principles,' professional mistake maker
Google DeepMind @GoogleDeepMind
1.5M Followers 277 Following The engine room of @Google. Building AI safely and responsibly to solve the world’s most complex problems. Join us: https://t.co/jUHQA27iBL
Simon Taylor @sytaylor
71K Followers 5K Following #Fintech Geek. Ranting @ https://t.co/u3KhcpA0w9 - Views 100% my own
Brendanregan @Brendanregan7
69 Followers 606 Following
OpenAI @OpenAI
5.0M Followers 4 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6LgzPA
Anthropic @AnthropicAI
1.5M Followers 2 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
Hugging Face @huggingface
726K Followers 223 Following The AI community building the future. https://t.co/TpiXQMQ9rZ
EleutherAI @AiEleuther
28K Followers 103 Following A non-profit research lab focused on interpretability, alignment, and ethics of AI. Creators of Pythia, VQGAN-CLIP, and using SAEs for interp
Kieran Hill @Kieranleehill
6K Followers 447 Following Seed 🌱 GP at @20VCFund with @HarryStebbings 👀 For Startups raising 1st & 2nd rounds 💷 #20Angel Podcast: https://t.co/J7In763uLd
Dogpatch Labs @dogpatchlabs
14K Followers 3K Following Dogpatch Labs is a startup hub providing a platform for entrepreneurship and innovation.
TechIreland @techireland
7K Followers 2K Following Tracking innovation and funding in Ireland. Building a strong community of people and orgs. Making Ireland's innovation ecosystem visible to all.
GREG ISENBERG @gregisenberg
686K Followers 990 Following I drop startup ideas daily. Host @startupideaspod. CEO: @latecheckoutplz we build companies like @ideabrowser, @meetLCA, @boringmarketer etc
fewsats @fewsats
2K Followers 71 Following Payments for AI 🤖💸 Making every product and service instantly purchasable by AI agents. Find us in Discord https://t.co/UhhwksOwQO
Arthur Dietrich @Arthurisfrench
2K Followers 118 Following European lead @superteam 🇪🇺. Entrepreneur : 3 exits + real estate (275+ flats, hotels). Web3 : former MD Solanart, advisors Octo, Tokamai etc.
Superteam Ireland @superteamIE
2K Followers 370 Following Grow your Startup with us. Powered by @Solana. Building @cstldao
mtndao 🗻 @mtndao
19K Followers 25 Following The world-class, action packed startup experience. mtndao X: Aug 1-31, 2026. Salt Lake City, UT, USA 📍🇺🇸. Apply through the link:
MVP Hackathon @MVPHackathon
540 Followers 29 Following Go from idea to MVP in 10 days | By @alliancedao
Catena @catena_labs
14K Followers 2 Following Catena is a banking and governance platform for AI agents.
Ethereum @ethereum
4.4M Followers 0 Following The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
ledger&pay @ledgerandpay
7 Followers 39 Following A decentralized, automated way to split and settle group expenses with USDC.
Y Combinator @ycombinator
1.6M Followers 365 Following We help founders make something people want. Subscribe to our newsletter: https://t.co/sjqjxxBeLcTrends for United States
You might like
