Search papers, labs, and topics across Lattice.
MiniMax
2
0
5
0
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.
MiniMax-M2 proves that massive parameter counts don't always translate to better agentic performance; strategic activation of a smaller subset can unlock frontier-level intelligence.
