DeepSeek-Prover-V2(github.com)
359 points by meetpateltech | 74 comments
GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.
#minif2f on Hacker News
1 story tagged minif2f, newest first.