4 ms·

Saw on X that it's about automating mathematical proofs, but I don't know if that's true. I was not able to find a blog-post or GitHub repository yet.

• dvrp 1y ago
  Or maybe a reasoning model?