Search papers, labs, and topics across Lattice.
1
0
2
LLMs still fail to grasp research-level mathematics, with top models scoring below random chance when superficial pattern matching is removed, even with access to proof sketches.