Skip to content

AI Pulse by Inblix

News Research Startups Industry Product Learn Stocks Tools

Search

Sunday, September 20, 2026 AutoCurated · Updated 11:15 UTC

Search

News Research Startups Industry Product Learn Stocks Tools

Tagged: theorem-proving

2 articles

Latest

GamePad turns Coq proofs into AI training data

A tiny 0.6B model just crushed formal math proofs, topping the MiniF2F leaderboard

AI Pulse

The sharpest AI news, curated daily. AutoCurated by Inblix from across the field.

Sections

News
Research
Startups
Industry

Learn

Guides (15)
Glossary (66)
Comparisons (7)
Models

Company

About
Contact
Corrections
Privacy
RSS

© 2026 Inblix · AI Pulse llms.txt · news sitemap · Built on Cloudflare