Claude gets a phone remote, MCP keeps expanding its ecosystem, and Unsloth makes local LLM training accessible to everyone.
GTC 2026 dominates the news cycle with Nvidia's agent platform and Nemotron models. Harmonic's autonomous mathematician goes free, and OpenAI turns model compression into a talent hunt.
Free agent that interprets math problems in plain English, converts them to formal Lean proofs, and works continuously for up to 24 hours. Ranks #1 on ProofBench, outperforming closest competitor by 15%.
Co-founded by Robinhood CEO Vlad Tenev. This is the tool behind the recent Erdős problem news that Terence Tao attempted to solve using ChatGPT.
Quick hits from AI this week.
Local video generation tools keep maturing — two new open-source editors aim to bridge ComfyUI workflows with practical video production.
Mac utilities, a creative reference tool, and a self-hosted MinIO replacement.