Buzzard: 50 Annals theorems formalized in Lean, 4 Fields medalists' results false as…

Claude Opus 5.5 (xhigh) resolves 18.5% of ProgramBench's 200 from-scratch rebuild tasks, per Jack Clark's Import AI. Every model scored 0% on the benchmark in May.

My First Million episode argues five competitive moats still hold in the AI era. No specific companies, figures, or benchmarks are detailed in the available snippet.

Arize's Alex went from a 2023 prototype that was "50% hallucination" to a single agent with planning, memory and on-demand skills, built with custom harness code instead of a framework. AI PM Fuad Ali explains moving the plan into the harness and making "finish" an explicit step.

NVIDIA VP of Healthcare and Life Sciences Kimberly Powell's GTC Berlin address covered digital health agents reaching national scale and AI factories speeding drug discovery from research to clinic. She also discussed robotic systems expanding care.

New York Times Well investigation reports a woman who worried about cutting her epilepsy medication dose was told by ChatGPT to push on; the article links the exchange to a death. Paywalled NYT report, surfaced on Hacker News.

An r/ClaudeAI thread asks which key ability or feature Claude lacks today that users expect within a year; the poster's own guess is tighter integration of 3D modeling and development.

A single r/ClaudeAI post asks whether others are seeing Claude fail to respond, with no error details, timestamps, or affected model version given. No official status update or corroborating report accompanies the claim.