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

Billing Watchlist

Topic // Entity

AI-driven mathematical problem solving

Topic mentions across the corpus

Search corpus

Overview

Publications

1

Articles

1

Mentions

1

First seen

Aug 3, 2026

Most recent

Aug 3, 2026

Activity

  • 1 → 0 mentions (last 30 days vs prior 30)

Recent articles

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

Don't Worry About the Vase

40K subs · 1 linked

Related entities

Topics

Computational complexity · 1 Lattice problems · 1 Scientific reasoning · 1 automated theorem proving · 1 Large language model capabilities · 1 Group theory · 1 quantum computing · 1

People

Alexander Gerko · 1 Levent Alpoge · 1 Sichu Lu · 1 Elliot Glazer · 1 Kevin Roose · 1 Ananjan Nandi · 1 Yu Bai · 1 Noam Brown · 1 Gary Marcus · 1 Ryan Fedasiuk · 1 Dean W. Ball · 1 Daniel Litt · 1 Nate Silver · 1

Companies

OpenAI · 1

Other

Sol · 1 Lean · 1 Fable · 1
SEARCH // ESC

Type to search