Anthropic says Claude agents produced the first end-to-end, computer-checked FLT proof in Lean over 11 days — about 13M lines of code and ~29,500 intermediate theorems. Human input was mostly high-level nudges.
Claude Code 2.1.259 adds managedMcpServers so admins can distribute HTTP/SSE MCP servers org wide, plus permission prompts none so headless runs deny prompts instead of hanging…
Google released Mantis, an open source agent harness that finds, sandboxes reproduces, and patches vulnerabilities — aimed at cutting hallucinated findings from naive AI code scanners…
ARC Prize ran GPT 6 Astra two ways: 99.9% under OpenAI’s Provider Adapter harness, 62.7% under the benchmark’s standard harness. Same weights, different scaffolding — and ARC Prize still says it isn’t claiming AGI…
OpenAI launched GPT 6 Astra for ChatGPT and API users, claiming frontier scores on computer use, coding, and math. Rollout starts limited, then expands to Plus/Pro/Business/Enterprise…
Spotted something we missed? Start a thread.
