An agent researched available tools, built an eval set, and tested tools against each other to pick the set used for his singing app, cutting build time from months or a year to about 10 days.
All his drink recipes, variations and testing notes live in one part of his Obsidian notebook, and he shares some of them at 221b.bar. His AI skills index and cross link every recipe, archive all the 221b.bar recipes, and check the site and the notebook for updates.
Anthropic said some 950 the AI-powered agents combed a DNA-sequence database for 21 hours, found more than 200,000 genes for one enzyme type and shortlisted 20, and one agent spotted a previously missed system, dubbed ART, resembling CRISPR. Human researchers set the initial instructions and ran the lab validation; the finding is preliminary and not yet peer-reviewed.
Used the AI to reverse-engineer a neural network accelerator in a Chinese WiFi camera SoC and implement an ONNX compiler and runtime, resulting in a working 20 dollar AI smart camera.
For a year he plugged in a USB WiFi dongle because his built in WiFi was not working and he could not fix it himself. The AI fixed the built in WiFi in 10 minutes.
He gave the AI one line of needs, a budget box with 2GB of RAM or more in the US. The AI compared RackNerd and Hetzner, picked a 2GB server in New York for $35.99 a year, filled in the checkout, and he approved the payment.
He ran AI for three days on a headless ThinkCentre Tiny in the corner, driving it from a browser. Out came a learning page that walks through one job of an AI agent from order to approval to publishing, and a playable online photo darkroom where visitors expose their own photo and the file never leaves their browser.
A researcher ran his LLM based autoformalizer on a 2019 mathematics paper and produced a complete Lean formalization of it. The finished formalization is linked from his university page. The note is short, but the artifact is public and complete.