Zcash details its plan to formally verify Ironwood's shielded pool, aiming to eliminate undetectable counterfeiting ...

Mistral AI has released Leanstral 1.5, a specialized AI model for formal verification and mathematical proofs. Licensed under ...

When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of ...

Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...

A lock that anyone can close but only one person can open sounds impossible, yet it follows directly from Euler's phi ...

Xiaomi's MiMo AI team has open-sourced MiMo Code V0.1.0, a terminal-native AI coding assistant that the Chinese electronics giant says outperforms Anthropic's Claude Code on key agentic coding ...

This article is from Proof Positive, our friendly math newsletter that’s delivered to your inbox every Tuesday afternoon. Sign up today and read it first. Is math to blame for bad hair days? Before I ...

The Leiden Declaration on Artificial Intelligence and Mathematics, endorsed by the International Mathematical Union and signed by Fields Medal recipient Peter Scholze, calls on mathematicians to ...

Generative AI has made it easy for users to fancy themselves as graphic designers or video producers, and now it's transforming them into software developers. Known as vibe coding, this trend is ...

Artificial intelligence can now solve open research-level mathematics problems — not just competition questions — and the May 2026 issue of Science News documents the moment the field registered that ...

A so-called software supply chain attack, in which hackers corrupt a legitimate piece of software to hide their own malicious code, was once a relatively rare event but one that haunted the ...