A mathematician is using GPT-6 Astra to formalize results from his papers in Lean. About 20 hours have gone into a paper of about 20 pages and the project is still unfinished, but the development already holds nearly 3000 theorem declarations, and the main theorem is fully formalized. Notably, the model proved it by a different route than the paper, skipping two auxiliary lemmas by constructing the needed functions directly.
This only partly worked. Worth knowing before you try it.
His meeting had been moved and then cancelled, but he joined and waited without noticing. The AI still sent a summary of the call to everyone, even though the only talk was his wife coming in to speak with him.
This one went wrong. See what happened before you try it.
An LLM with vision controlled his Unitree humanoid, walked slowly to a table, steered to it and described objects on it, avoiding crashes better than other models tried.
This only partly worked. Worth knowing before you try it.
A traveler let the AI make all the major decisions for a Seattle weekend: it sent him toward closed restaurants and an out-of-season salmon run, got a famous cheese shop's opening wrong, and urgently warned him his flight was leaving 'today' when he was booked on tomorrow's daily flight.
This one went wrong. See what happened before you try it.
Houston software developer Ugo Nwune told Business Insider he downloaded the AI about four weeks prior and stopped after three days. He had granted only Facebook, Threads, and Instagram access.
This one went wrong. See what happened before you try it.
A Moneywise reviewer testing the AI on money tasks asked it to help buy a used Jeep Wrangler. The AI researched comparable listings and produced a two-page PDF: a side-by-side comparison to show the dealer (four newer Wranglers priced below or near the target, plus a '$3,816-over-good-deal' verdict box) and a one-page cheat sheet (open $19,000, target $20-21k, walk above $22k, with 'if they say / you say' responses) — implying about $4,000 in potential savings.
$3,816
This only partly worked. Worth knowing before you try it.
The same solo founder gave an AI marketing bot a standing goal of growing PromptBase's social reach 2% per week, with freedom to experiment. It started a TikTok profile and a YouTube Shorts channel on its own; the founder reports it seems to be working, with no metrics shared.
This only partly worked. Worth knowing before you try it.
His Ubiquiti access points are full of firmware bugs. Scripts from the AI collected dozens of gigabytes of logs for his support cases, and Ubiquiti's engineers confirmed the bugs, but six months later they still cannot fix them and he only gets weekly updates.
This only partly worked. Worth knowing before you try it.
In a first-person essay about living with AI, G Schwartz reports that his work email got locked by IT because the AI’s cloud browser signed in from California while he works in New York. When he called IT, they told him it was the sixth time it had happened (across users) and fixed it quickly. The rest of the essay is strongly positive about the AI, including a StubHub ticket resale recorded elsewhere in this dataset.
This one went wrong. See what happened before you try it.
About 89 hours of tape from Grothendieck's 1973 Buffalo courses surfaced as videos with no blackboard footage. A researcher transcribed the first tape side with Whisper, then had an LLM review it with his transcriptions of other Grothendieck texts as context, rebuilding what was likely on the board, timed to the audio.
This only partly worked. Worth knowing before you try it.