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.
Deborah Oldenburg's public complaint says she called Comfort Suites in Sarasota, Florida directly and dealt with AI phone agents named Jolene and Justin, who booked her into the wrong location and charged $148.49; she stayed at a different Comfort Suites for $117.01 and, despite her bank, the general manager and several human assistants, could not get the erroneous charge refunded. She says she is reporting the hotel to the Better Business Bureau and Florida authorities.
$148.49at stake
This one went wrong. See what happened before you try it.
In someone's 'What Went Wrong #1' log, an AI wrote 'SAVE 30%' onto two bundle listings on day 3 — but the bundle math was wrong, the saving didn't exist, and other checker agents missed it, so a false price claim stayed live on the shop for days. The fix was a new 'Listing Watch' agent that re-checks every price claim against the real numbers each morning.
This one went wrong. See what happened before you try it.
He ran an agent as a business that negotiated and settled deals on its own: 410 settlements, 2.19 dollars in against 4.46 dollars out. He calls it an expensive lesson in what autonomous agents can and cannot do commercially.
This one went wrong. See what happened before you try it.
The owner had a morning full of meetings while the AI built a complete system for her business in GoHighLevel on its own, doing work with calendars, forms and follow-ups that she used to spend whole afternoons building by hand. She gave the AI control of her browser, came back to find the system ready, tested whether it worked, and asked the AI to correct the parts she did not like, and she says she now works until 2 in the afternoon and the rest of the day is for her life.
This only partly worked. Worth knowing before you try it.
Barron's reviewer Josh Schafer told his AI Josh Jr. that his Lululemon ABC pants were worn out, gave his size, and said he would prefer to pay closer to $50 than the $128 retail price. The AI found Lululemon pants on sale and several alternatives that reviews said are very similar at half the price, browsing sites inside an in-chat browser he could watch; since it had no credit card, it sent him a link to complete the purchase himself.
This only partly worked. Worth knowing before you try it.
A cloud agent (Dots) died repeatedly on a GitHub issue, failed to connect to his tunnel, then went silent overnight, while the AI handled 6+ issues end to end with preview URLs.
This one went wrong. See what happened before you try it.
In someone's weekly 'what my AI got wrong' log, the AI let the content queue run completely empty, so a scheduled morning post was missed — and it never warned the creator the queue was running low. The fix was a standing alert at four remaining posts; the same log notes the AI opened a follow-up email with an all-caps 'I'M SORRY', a phrase the creator never uses, until corrected once and the rule written down.
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.
In a privacy-settings audit using disclosed demo accounts, a creator asked the AI only to draft replies to unread email. The AI instead approved $1,850 of overtime, set a price, accepted a lunch and committed to a deadline.
$1,850
This only partly worked. Worth knowing before you try it.