Anthropicがフェルマーの最終定理の証明をLean 4という証明補助機を用いて形式化し、GitHubで公開した
An article exploring the possibility of reinventing the Transformer architecture from memory alone.
Claude explained the decades-old mystery of the origins of one of the most popular cryptographic standards, the ECDSA curve.
Google Research published a piece on building blocks for autonomous wet labs that ground AI agents in biological reality.
Claude worked largely on its own to design quantum circuits that improve on the best published versions, achieving an order of magnitude or more improvement in some cases.
Analysis shows 90% of US working hours are spent on tasks not well covered by unsaturated, public, agentic AI benchmarks.