Claude Opus 4.6 solved a directed graph decomposition conjecture Knuth had worked on for weeks in 31 guided explorations over roughly an hour. Knuth wrote the formal proof himself and titled the paper 'Claude's Cycles.'
Max Schwarzer, VP of Research and Head of Post-Training at OpenAI, leaves after a year leading the team that shipped GPT-5, 5.1, 5.2, and 5.3-Codex to return to RL research at Anthropic.
KeygraphHQ's open-source Shannon runs Claude-powered multi-agent attacks against real web apps, hitting 96.15% on the XBOW benchmark and finding 30+ flaws in OWASP Juice Shop.
The Trump administration is considering limiting Chinese companies to 75,000 Nvidia H200 GPUs each - less than half what Alibaba and ByteDance want - while zero chips have shipped despite months of export approvals.
Apple has asked Google to host next-gen Siri on its cloud servers after Private Cloud Compute hit just 10 percent utilization, with some servers still sitting in warehouses.
Gemini 3.1 Pro leads ARC-AGI-2, LiveCodeBench, and 11 other benchmarks with 750 million users and 21.5% market share - but developers report stalled responses, leaked thinking tokens, and API outages that make it unusable for production coding and agent workflows.
