Newsletter FIT
Dashboard Search Watchlist Alerts Billing
SEARCH // ⌘K
Sign in Get started

Billing Watchlist

Topic // Entity

automated theorem proving

Topic mentions across the corpus

Search corpus

Overview

Publications

2

Articles

2

Mentions

2

Last 30 days

1

First seen

Aug 3, 2026

Most recent

Sep 2, 2026

Activity

  • 1 mention in the last 30 days

Recent articles

Agentic AI Weekly | Berkeley RDI | September 2, 2026

Agentic AI Weekly · Sep 2, 2026 · tagged_topic

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Don't Worry About the Vase · Aug 3, 2026 · tagged_topic

Publications discussing this topic

Agentic AI Weekly

1 linked

Don't Worry About the Vase

40K subs · 1 linked

Related entities

Topics

Scientific reasoning · 1 AI evaluation · 1 Lattice problems · 1 AI coding agents · 1 repository-level benchmarks · 1

People

Levent Alpoge · 1 Alfred Lin · 1 Daniel Litt · 1 Gary Marcus · 1 Ryan Fedasiuk · 1 Ananjan Nandi · 1 Nate Silver · 1 Kevin Roose · 1

Guests

Alfred Lin · 1

Companies

Sequoia Capital · 1 DeepLearning.AI · 1 OpenAI · 1

Other

Coq · 1 Astra · 1 Dafny · 1 Sol · 1 GPT-5.5 · 1 Codex · 1 Verus · 1
SEARCH // ESC

Type to search