Search papers, labs, and topics across Lattice.
Université Paris-Cité
4
0
5
LLMs can now tackle complex TCS proof generation with a benchmark that achieves over 90% accuracy in verification against human experts.
A new AI tool can catch 34% more mathematical errors in scientific papers, transforming the peer review landscape.
An AI agent cracked an open problem in theoretical physics, deriving exact analytical solutions for gravitational radiation from cosmic strings, proving AI can do more than just pattern recognition.
Gemini 3 Deep Think can now autonomously solve a majority of problems in a challenging math competition, signaling a leap in AI's mathematical reasoning capabilities.
