Search papers, labs, and topics across Lattice.
MiniMax
1
0
2
3
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.