Using AI and formal reasoning to break hard math problems
Dublin
- Tweets 57
- Following 55
- Followers 708
- Likes 30
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👇
2
4
886
Pumped to be awarded 1st prize in the AI category in the Solana Breakout Hackathon
🤖 First prize in the AI Track and $25,000 USDC goes to @LatinumAI, a payment middleware that enables MCP builders to get paid.
arena.colosseum.org/projects…
11
1
22
2,477
🚀 Startup Idea I don’t have time to build!
An AI Interviewer that listens to livestream audience comments & emoji reactions then turns them into real-time questions and mirrors audience emotion via sentiment analysis with the voice.
#AI #StartupIdeas #LiveEvents #BuildInPublic
3
1
12
1,383