What does this repo signal mean?

Anthropic published anthropics/formal-math (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo anthropics/formal-math · language Lean. onlylabs links this event to 1 captured evidence page and 6 related repo signals.

Anthropic Repo: anthropics/formal-math

Captured source

source ↗

GitHub/github.com/anthropics/formal-math

anthropics/formal-math repository metadata

Source ↗

published Aug 6, 2026seen 2wcaptured 7hhttp 200method plain

anthropics/formal-math

Language: Lean

License: Apache-2.0

Stars: 193

Forks: 30

Open issues: 10

Created: 2026-08-06T23:56:11Z

Pushed: 2026-08-28T06:30:29Z

Default branch: main

Fork: no

Archived: no

README:

formal-math

Machine-checked Lean 4 formalizations published by Anthropic. Each subdirectory is a self-contained Lake project with its own toolchain pin, README and build instructions; build from inside the subdirectory.

| Project | Statement | Lean / Mathlib | |---|---|---| | [zeta23/](zeta23/) | More than two thirds of the zeros of the Riemann zeta function are simple and on the critical line (Alpöge–Furman, arXiv:2608.13637) | leanprover/lean4:v4.33.0-rc2 / Mathlib v4.33.0-rc2 |

License

Apache-2.0 — see [LICENSE](LICENSE). Individual projects may carry additional NOTICE files.