Weeks of work produced a human-guided AI proof with a 100,000-line formalisation
Worked weeks on an AI-generated, human-guided proof of Hilbert-Smith with a complete 100k LOC Lean4 formalization, rushed out after OpenAI's release.
Real things everyday people got it to do, and how to try them yourself.
A random mix from the whole library. Shuffle for a new set.
Worked weeks on an AI-generated, human-guided proof of Hilbert-Smith with a complete 100k LOC Lean4 formalization, rushed out after OpenAI's release.
A creator had the AI plan his real Christmas party for 16 guests from a single prompt: it filled a Shop cart with Retro Candy Christmas decorations under a $75 budget, designed the invitation in Canva, planned the menu and filled an Instacart cart at Aldi within $250, built a Spotify playlist, and produced an 11-page printable host guide. He reviewed and paid for the carts himself; the AI never checked out.
Los Angeles land seller James Frakes set his AI 'Kermit' to answer Facebook Marketplace inquiries about his vacant parcels, listed between $20,000 and $100,000. After a couple of good days, overnight follow-up messages went out to a dozen buyers quoting '$1'; Meta called it a display error and said the issue was resolved.
The AI patched fan thresholds and power management on his 2015 MacBook Pro running EndeavourOS, making it fast and usable.
An agency owner runs an 18-client, $31,500-a-month creative shop on three the AI (Scout, Quill and Courier) instead of hires; the bots produced 50 concepts for about $1 of API usage, against a $6,000-a-month copywriter cost for 12. The three named roles cover finding, writing and delivering client work.
Fable built him a tiny, fast text editor in about 2 days that he uses as his primary editor, plus a key-bound note-taking interface in his Notes folder.
His AI runs four standing jobs: each evening it checks new job posts in his niche and emails him only the ones worth his time; his messy end of day notes come back as tasks with due dates in his to do app; receipts he forwards get logged into a spreadsheet by amount, date and category; and on Sundays it tells him what slipped and what he keeps avoiding.
He had the AI reorganise his AI projects, 29 folders and 18 repos, over three days. Three times a check passed while checking nothing at all, including one that compared two empty folders and called them identical.
Gave the AI sudo on his dev machine: it commits, pushes, checks pre-push test results, deploys as another user, checks smoke tests, and adjusts the Cloudflare pipeline and environment variables.
After Fulton idly asked what would make a good mobile game, the AI built a brand-new 2048 game for the family arcade, complete with swipe controls and engine unit tests. It joined the site's existing chess offering as a shipped feature.
Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.