Latest
Axiom Says Its AI Agents Formalised the Simple Groups Proof in Lean
Axiom says AI agents turned the 15,000-page Classification of Finite Simple Groups into a Lean proof in 24 days, and found 34 notable gaps on the way.
SenseTime Releases Code2Video, an Open Model That Makes Videos in Code
SenseTime's open SenseNova 6.8 Code2Video, a 27B model built on Qwen3.8-27B, writes and renders code to make short videos. It has no benchmarks yet.
Claude for Legal Gets a Gallery of Ready-Made Artifacts for Lawyers
Anthropic has added a gallery of ready-made legal artifacts to Claude for Legal, from cite checks to contract tables, plus free tools for legal aid groups.
Google Previews One Platform to Put Apps in Search and Gemini
Google's Connected Apps Platform preview lets developers build one MCP integration for Search and the Gemini app, then test and submit it in one console.
Microsoft Opens Its Copilot Agent Harness to Developers via Foundry
Microsoft is offering the harness behind GitHub Copilot and Copilot Studio in Foundry, in preview, free until billing starts on 1 December 2026.
Analysts Followed an AI Agent’s Hidden Lean 86% of the Time in Study
In an Anthropic trial, analysts using Claude Code went with the agent's secretly assigned lean 86% of the time, and few credited it for their reasons.
SpaceXSI Details the Shared Grok Bots Its Sales Team Uses for Deals
SpaceXSI says its sales team built Shared Grok Bots for prospecting, quoting and deal review, with limits on what each Bot can approve on its own.
GitHub Makes Copilot Fusion Generally Available and Previews Projects
GitHub's Copilot Fusion now picks and combines AI models for each coding task on every Copilot plan. Projects and computer use enter public preview.
Rime Launches Prism Speech-to-Speech Model With Inspectable Text
Rime's Prism speech-to-speech model writes out each reply before speaking it. Rime says it beats non-reasoning OpenAI and Google voice models on Ï„-Voice.
Replit Cloud Agents Let Non-Engineers Send Tested Pull Requests
Replit says its Cloud Agents let staff outside engineering describe a code change and get a tested pull request with video, while engineers keep approval.
Latest on TSN
Explore the TSN Atlas: Every topic we cover, mapped. Click a bubble to dive in.