CHOOSE YOUR FOCUS
NEWS FEED
Google DeepMind’s AlphaProof Code framework used AI agents and Lean proof checking to verify key security properties in the production machine code underlying the Signal protocol.
Anthropic has released FlashProve, an open-source research prototype designed to prove that a response came from a committed model without revealing its weights.
Axiom Math says it turned the classification of finite simple groups into a computer-checked Lean proof using dozens of AI agents.
OpenAI says its models generated three results in mathematics, complexity theory, and quantum field theory, with some proofs formally verified in Lean.
The current GitHub collection contains 719 manuscripts across 372 result families. Verification levels vary, and about 42% of top-line results have Lean formalizations.
BEYOND THE HEADLINE
Every story includes a concise summary, its creative workflow implications and original sources. Explore official demos and examples alongside the news.
Our editorial approach@airadarhaber
Fresh AI developments, dedicated visuals and product examples. Explore our posts and catch up in Stories.
Follow on Instagram
GRAPHIC. DIGITAL. MOTION.
Explore my graphic design, branding
and motion work.
