Research & KnowledgeEvent: September 5, 2026
Johns Hopkins Applied Physics Laboratory produced a machine-checkable artifact that was replayed through an independent kernel after Claude formalized the existing Wiles–Taylor proof in Lean.
Published
Signal category
Research & Knowledge
Quote
“Claude formalized the existing Wiles–Taylor proof in Lean, producing a machine-checkable artifact that was also replayed through an independent kernel.”
— James P. Howard, II, PhD|Johns Hopkins Applied Physics Laboratory team
Company
- Industry
- Defense and Space Manufacturing
- Location
- Laurel, US
- Company size
- 7,911 employees
The Johns Hopkins Applied Physics Laboratory (APL) is a not-for-profit university-affiliated research center (UARC) that provides solutions to complex national security and scientific challenges with technical expertise and prototyping, research and development, and analysis.