AIFuture
Back to news
AI ResearchThe Decoder·

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories. The article Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code appeared first on The Decoder.

This is a summary curated by AIFuture. Read the complete article at the original source:

Read the full story on The Decoder

More AI News

AI ResearchMarkTechPost

Datalab Marker v2 vs MinerU, Docling, and Liteparse: Benchmark Breakdown

Datalab rewrote Marker as a three-mode pipeline. Version 2 hits 76.0 on olmOCR-bench and sustains 2.9 pages per second on one B200 — over 5× MinerU's pipeline backend, while beating Docling on both accuracy and speed. Here's how it compares against MinerU, Docling and LiteParse, and which one fits your use case. The post Datalab Marker v2 vs MinerU, Docling, and Liteparse: Benchmark Breakdown…

Jul 25, 2026

IndustryTechCrunch

I tried out OpenAI’s new AI keypad — which will be fun for some coders and slightly mystifying to everyone else

OpenAI's fancy new AI keypad will be a lot of fun for some, while many others are probably not going to touch it.

Jul 25, 2026

IndustryTechCrunch

Prentis, new AI lab co-founded by Reid Hoffman, Mark Pincus in talks to raise $100M

The neolab is betting that automating routine computer tasks will soon outpace coding as AI's biggest use case.

Jul 24, 2026

Build the skills behind the headlines

Generative AICoursera

Generative AI for Everyone

Andrew Ng explains how generative AI works and how to apply it in your work and life — no coding required.

Beginner·Subscription
View Course
Data ScienceedX

CS50's Introduction to AI with Python

Harvard's deep dive into the algorithms behind modern AI — search, knowledge, optimization, and machine learning.

Intermediate·Free / Verified
View Course
Data ScienceCoursera

Deep Learning Specialization

Five-course series on neural networks, CNNs, sequence models, and transformers from DeepLearning.AI.

Intermediate·Subscription
View Course

Never miss what matters in AI

Get the most important AI news and course picks in your inbox.