Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Academy of Mathematics and Systems Science, School of Mathematics, State Key Laboratory of Mathematical Sciences, Chinese Academy of Sciences, University of Chinese Academy of Sciences
1
0
1
A groundbreaking collaboration between human mathematicians and AI has successfully tackled the complex positive \( n=9 \) Vasc cyclic inequality, producing a finite certificate that could redefine automated theorem proving.