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: proof-assistants

2 articles

Latest

OpenAI's Astra model cracks 10 decade-old math problems for just $2,000

GamePad turns Coq proofs into AI training data

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