C言語の拡張であるC*について解説し、コードの記述と形式検証をシームレスに統合することで、信頼性の高いシステム開発を可能にする手法を提案する研究論文
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.