Reddit user tests LoKR dataset sizes on KREA2

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.

Kevin Buzzard says formalizing 50 Annals of Mathematics theorems in the Lean proof assistant showed theorems by four Fields medallists were false as stated, due to small missing hypotheses experts silently fill in.

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.