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

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

AI is now helping produce research-level mathematics, but experts say verifying proofs not generating them is becoming the ...

San Francisco, CA, June 26th, 2026, ChainwireFirst public release of a complete FPGA implementation for zero‑knowledge ...

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 ...

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

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 ...

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

Microsoft has cut off access to dozens of its open source projects hosted on GitHub as it investigates how hackers apparently breached the projects and injected password-stealing malware into the code ...

Engineering teams building agentic coding pipelines now have a concrete open-source alternative to managed models like Claude Fable 5 — one that runs on a single H100. The tradeoff: Cohere's North ...

Attackers can inject indirect prompts in normal-looking repositories to trick Claude Code into spawning a reverse shell.

OpenAI announced it will acquire Ona, a startup that provides cloud environments for AI agents. Ona's technology will allow OpenAI's coding assistant, Codex, to take on longer-running tasks, OpenAI ...