Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Mentions in press and media 8
| Date | Title | Description |
| 11.09.2026 | Что математики говорят про влияние ИИ на математику? | Теренс Тао в видеоинтервью Дваркешу Пателю Новости с заголовком «ИИ решил задачу тысячелетия» стали появляться всё чаще. Со стороны бывает сложно оценить: где исторический прецедент, а где надуманный хайп? А главное: что всё это значит для ... |
| 09.09.2026 | OpenAI solves longstanding math problem with 10,000-agent swarm — but can't rule out benefitting from a researcher's private Codex data | OpenAI today announced an internal AI system solved the Navier–Stokes existence and smoothness problem, one of the seven notoriously challenging Millennium Prize Problems in mathematics that has remained unsolved since its introduction 26 y... |
| 03.08.2026 | SA experts split on whether the singularity has begun | Sam Altman has declared that the moment the AI industry has spent a decade anticipating has arrived. “We’re now, like, in the singularity,” the OpenAI CEO said on the Relentless podcast, published on 25 July 2026. “This is the moment.” He e... |
| 19.06.2026 | Pramaana Labs Secures $27M for Verifiable AI | AI startup Pramaana Labs raised $27 million in seed funding. The company champions formal verification for AI systems. This technology ensures AI outputs are mathematically accurate. It targets highly regulated sectors. These include tax, h... |
| 17.06.2026 | AI Formal Verification Startup Pramaana Raises $27M: Proof Replaces Probability | By Jerry Owens Published: Jun 17 2026, 22:16 PM EDT Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 17.06.2026 | Pramaana Labs raises $27M to make AI prove its answers | Formal verification startup Pramaana Labs Inc. today said it has raised $27 million in seed funding for a system it describes as a compiler for high-stakes artificial intelligence. The product checks an AI model’s answer against the rules o... |
| 31.05.2026 | Yann LeCun’s World Model Earns a Formal Proof: Benchmark Finds Current Models Brittle | By Richard L. Wells Published: May 31 2026, 12:13 PM EDT Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 18.03.2026 | Mistral AI launches Forge to help companies build proprietary AI models, challenging cloud giants | Mistral AI on Monday launched Forge, an enterprise model training platform that allows organizations to build, customize, and continuously improve AI models using their own proprietary data — a move that positions the French AI lab squarely... |