AI products & services

10 proofs

Link

https://github.com/openai/ten-proofs

Mentioned in

1 video

Kind

Other tool — not classified as AI

What people use it for

• A collection that turns ten reported advances in mathematics and theoretical computer science into machine-checkable Lean certificates compiled against Lean and Mathlib.
  Github Awesome