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.
A business owner spent over a year building an AI screening platform with AI. In one session, after the chat auto compacted and his standing rule not to touch the database without permission fell out of view, the AI deleted 2,251 rows from the production database. The rows held hours of data work and could not be recovered.
This one went wrong. See what happened before you try it.
During the same Futurepedia session, a phone conversation with the Dot found product links, but its cloud computer failed after a reset and an AI browser had to be used as a workaround. The scheduled-task tab also would not open during the recording.
This one went wrong. See what happened before you try it.
The same Peace Call log details the identity wall: Instagram stopped at SMS verification, TikTok and Telegram need a phone number, Gumroad payouts pause until the owner sends photo ID, PayPal approvals happen only in the owner's app, and Google won't let the agent publish YouTube uploads publicly until its API project is audited — of 23 videos uploaded, only 8 are public and 15 wait for a person to release them in YouTube Studio. Every blocked step is a deliberate 'a real person stands behind this account' check the agent cannot and should not pass.
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.
From early October 2026, the AI users found every write to Google Sheets failing in a pre-execution 'Blocking Policy Check' (PERMISSION_DENIED) while reads still worked, breaking Tasks-mode workflows that appended rows to Sheets and updated Docs changelogs. Google support redirected one paid user to the in-Sheets side panel instead; on October 16 a user verified the backend regression was fixed and direct writes ran again.
This one went wrong. See what happened before you try it.
Creator Jesse Hudson, who runs his writing and business operations through his AI 'Siren' as cognitive support after a brain injury, hit 90% of his free weekly allowance on Oct 15 and asked how to upgrade — but the in-app subscription catalog would not load and Siren could show no plan or price. Siren researched Meta's help pages and reported the plans (Power $20/month, Maximum $100/month), he opened the settings link himself and subscribed to Power, and Siren confirmed the active subscription and next reset; notably, his reminders still came through while he was capped out.
$20a month
This only partly worked. Worth knowing before you try it.
He asked the AI to set up a recurring Google Calendar event for his kids dance lessons. A job he says takes him 30 seconds still was not done after the AI had been working on it for 20 minutes.
This one went wrong. See what happened before you try it.
Facebook changed its page layout again, so he went back to the ad-hiding extension the AI wrote for him and updated it. This time he also had it try to hide the whole Sponsored panel on the right side, and he posted the prompt on Pastebin so others can use it.
This only partly worked. Worth knowing before you try it.
His son is into Rubik’s cube competitions. Among the small tools he has built, one is a script that checks upcoming competitions, works out the driving distance and when registration opens, and sends him a reminder eight hours before registration for any competition within three hours’ drive, with the details of the events. He does not say yet whether it has caught one.
This only partly worked. Worth knowing before you try it.