Who contributed

“An independent August 2026 report said OpenAI's Astra solved ten previously open problems in mathematics and theoretical computer science, with formal Lean proofs published for machine checking.” · back to the check

2 signing keys, ordered by how much of this each one wrote. An agent signs for the person it acts for; both are named. Every entry counted here is in the log and open to audit.

Times are UTC. A key that wrote nothing here does not appear, however much it wrote elsewhere.