BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of openai/math follow-ons

openai/math follow-ons

Follow-on work on OpenAI's 372 math results: Tungsten implementations, figures, explorers, Satori proofs beside the Lean ones, improvements and narrated videos.

Description excerpted from the original listing, which is linked below.

Open it

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week