Daily Newsletter Digest

AI solves 372 math problems humans couldn't crack in 20 years

October 10th 2026

Today's News

Anthropic's Claude Mythos discovers mathematical flaws in cryptographic algorithms, halves HAWK key strength

Liberty's Highlights

Anthropic published research showing Claude Mythos Preview autonomously discovered improved attacks against HAWK, a post-quantum digital signature scheme under NIST review, and found a new attack on round-reduced AES. The HAWK attack reduces effective key strength by half—requiring key sizes to double to maintain security—despite the scheme surviving two years of expert human review. The AES attack improves previous best-known attack speed by 200–800×, though neither finding affects production systems (HAWK is not yet deployed; the AES attack targets a weakened variant). Each result cost approximately $100,000 in API compute to develop. Anthropic followed responsible disclosure procedures, sharing findings with NIST, government partners, and industry before publication. The research demonstrates frontier AI models' potential to stress-test cryptographic algorithms before and after deployment, and Anthropic partnered with academics at ETH Zurich, Tel Aviv University, and TU Berlin to build CryptanalysisBench, a benchmark for evaluating LLM cryptanalytic capabilities.

Nathan Lambert: RL data quality bottleneck and Jevons paradox reshape AI stack competition

Interconnects by Nathan Lambert

Nathan Lambert argues two structural shifts are reshaping competitive dynamics across the AI stack. First, despite leading labs seeing clear ROI from reinforcement learning data purchases, average output quality from RL data vendors remains "remarkably low"—representing significant low-hanging fruit for improvement as the field scales agentic systems. Second, as cost-per-inference declines dramatically, competitive advantage will shift from raw model performance toward understanding how to build and orient agents for specific use cases (citing Meta's Muse as an early example), rather than pushing frontier model capabilities. This signals a meaningful reorientation of where value creation happens across the stack, from model labs toward application and agent infrastructure layers.

Decision model category consolidates around TypeSafe's Jev; LangChain reports 64% cost reduction through model routing

AINews

TypeSafe's Jev decision model API reached >$100M ARR and $7.5B valuation within 3 weeks of launch, with the decision model category rapidly consolidating as the reference point. Competitors including OpenAI (Decisions API on GPT-6 Luna), Microsoft, Perplexity, Cloudflare, and others shipped similar products simultaneously, signaling explosive demand for typed outputs over free-text generation and potential winner-take-most dynamics in a newly crystallized product category. Concrete infrastructure gains are already measurable: LangChain reports that routing coding tasks to cheaper decision models cut median cost per task by 64% compared to always using frontier models, with no measurable quality regression (29.2% merged PR rate routed vs. 27.3% control). Additional signals include vLLM's locality-aware MoE achieving 1.2× faster decode on GB200 and SGLang achieving 5.9% end-to-end gains through MoE tail fusion—demonstrating that the decision model pattern is reshaping both application economics and inference system design.

Worth Reading

Twenty Years of AI Prophecy, Now Fulfilled

Scott Aaronson's Blog

Scott Aaronson in Scott Aaronson's Blog published an essay titled "Twenty Years of AI Prophecy, Now Fulfilled". Main takeaways:

  • OpenAI's latest internal model solved ~5% of 8,000 longstanding open math problems (372 breakthroughs) using ~3 hours of compute per problem, including proofs of the Unique Games Conjecture, L=BPL, sub-O(n log n) Fourier Transform, and near-optimal matrix multiplication exponents
  • The proofs are mathematically valid (Lean-certified) but largely incomprehensible to humans; the UGC proof uses 'alien craziness' recursive constructions that require AI assistance to parse and verify
  • Two models for AI math breakthroughs emerged: OpenAI's 'dump undigested solutions' approach vs. Anthropic's 'compensate human mathematicians to digest and explain' model, each with distinct tradeoffs for knowledge dissemination and credit attribution
  • The model was not a bespoke 10,000-agent system but a standard internal OpenAI model potentially releasing to ChatGPT Pro within months, raising safety board questions about releasing a system that solves decades-old problems at scale
Read more

Beijing Will Not Pace the Frontier: China's AI Safety Governance vs. Frontier Development Reality

SemiAnalysis

SemiAnalysis published a comprehensive report analyzing China's stated AI safety positions versus actual frontier lab behavior. Main takeaways:

  • Of 857 model releases by China's 9 leading AI developers (2021-Sept 2026), only 31 (3.6%) included published safety evaluations; just 9 (1.1%) had results available at launch
  • Chinese government prioritizes rapid deployment (70% agent penetration by 2027, 90% by 2030) over frontier-risk duties; comprehensive AI Law was shelved in 2025
  • China's safety regime is strict on content/applications but has no compute-threshold or capability-based frontier risk duties, unlike EU (10²⁵ FLOP) or California (10²⁶ operations)
  • No Chinese frontier text model has shipped with dangerous-capability evaluation across cyber, bio, or other IDAIS-named domains; GLM-5.3's cyber note is closest
  • Release cadence shows 30-fold increase (3 Q1 2023 to 101 Q3 2025) with zero policy correlation; open-weight releases comprise >50% of quarterly output since mid-2023
Read more

Articles Read