Podbit · Dwarkesh Podcast
The fear is that AI will produce proofs no human can understand. The evidence suggests the opposite: the LLM disproof of the Erdős unit-distance conjecture produced human-interpretable ideas that mathematicians then used to prove brand-new theorems. Superhuman explaining, not just superhuman proving.
Where this was said
At 1:31:30 · chapter starts 1:29:33
Dwarkesh asks whether humans will be able to keep up with AI civilisation's scientific discoveries. Brown is cautiously optimistic, using Terry Tao's 'indigestion' framing — the fear of billion-line inscrutable Lean proofs — as a foil. The empirical counterevidence: the LLM disproof of the Erdős unit-distance conjecture was not a Lean certificate but a human-readable argument using new graph-theoretic ideas, which mathematicians immediately seized on to prove new theorems. Brown also notes that AI models have 'extreme patience' — they will cheerfully spend resources trying to disprove a conjecture everyone believes is true, which is exactly the kind of cognitive stubbornness that could unlock progress. The episode ends with Dwarkesh thanking Brown and Brown noting that explaining 100-year-old physics is, in fact, a genuinely fun way to spend an afternoon.
With AI coding tools like Cursor, Bhanu replicates an existing free tool for a new keyword in under 5 minutes. What used to be a multi-day build is now a lunch-break task.
Ahrefs, SiteGPT, Cal.com, PostHog, Datafast, Sibyl AI, Bento, Feather, Featurepace, Mintlify, Cloud Code, ChartMogul — Bhanu runs his entire business solo with these 12 tools.
PropGPT runs on React Native with TypeScript and Python for ML, Neon for the database, RevenueCat and Superwall for monetization. LLM costs are $20/month, data APIs $100/month, and after $10K in monthly marketing spend, margins sit at roughly 50%.
Game apps keep users engaged long enough for ads to pay off. Tool apps don't — so if you're building a utility, ads are almost always the wrong call and subscriptions are your only real lever.
Inside SEO Bot, a single button labelled 'Boost My Domain Rating' routes users directly to Listing Bot. That one interaction converts a user of one tool into a user of two — without any marketing cost.
Directory listings are a powerful but underrated growth channel — but only if your product is genuinely interesting enough to earn the click. AI products have a natural advantage here because they're easy to package in a compelling, clickable way.
The fastest path to Twitter growth isn't volume — it's forming sharp opinions about how the platform works and sharing them immediately. People cluster around those who understand the rules and say so out loud.
Sam had no coding knowledge, so he used ChatGPT voice mode to generate his entire codebase and copy-pasted it into Notepad. A friend later introduced him to Cursor, and he never looked back.
Copy days of Discord chat history, paste it into ChatGPT, and ask it to list recurring pain points. The ones that come up most often are your best product bets.
We use essential and analytics cookies to run Vuci. To understand how the site is used: Privacy Policy.
Install Vuci on your phone
Add it to your home screen for a faster, app-like experience.
Install Vuci on your phone
Tap the Share button, then “Add to Home Screen”.
A new version is available
Reload to get the latest Vuci.