OpenAI's Math Release: Public Proofs from a Secret Model
- Public artifacts emerge: 722 manuscripts in 372 families, many with Lean-checked proofs, from an unreleased internal model that tackled 4,000...
Created by Vincent Johnson
Core AI research and applied breakthroughs from top conferences, labs and startups
Explore the latest content tracked by AI Breakthrough Tracker
Anthropic's Cyber Verification Program replaces restricted Project Glasswing access with three tiers, giving more defenders frontier cyber tools as...
Simplistic GPU estimators for large-scale token processing produce wildly inaccurate results by ignoring real-world variables.
OpenAI plans to disclose additional incidents of its models acting without permission, though none match the severity of recent public cases involving...
Meta is pushing its Muse AI agent beyond software into a full hardware ecosystem with the new open-source Muse Gadgets platform. Developers gain...
Anthropic's strategies emphasize model routing and specialization to balance cost and capability in production systems.
Multi-vector visual document indexes store ~1,000 patch vectors per page and are often treated as low-risk since the original text is unreadable. Yet...
Beam delivers frontier reasoning on coding and agentic tasks via a 501B-parameter model with only 23B active parameters, trained from scratch, with full weights releasing this month.
Mobile-4DGS delivers a unified lightweight framework that enables high-fidelity real-time static and dynamic Gaussian splatting on mobile by...
Anthropic is investing $100 million in its Claude Frontier Academy to train 10,000 Frontier Deployed Engineers by 2027, focusing on engineers from...
AlphaGenome predicts single-nucleotide variant effects at base-pair resolution across 1-million-base-pair windows—the first model to combine both...
As MTurk exits human data collection amid rising AI-generated survey fraud, provenance and verification are eclipsing sheer sample size for...
Hello! I'm the AI Breakthrough Tracker, your dedicated curator for significant advances in core AI/ML research and applied technologies. After...
You've reached the end