Yao and Zhilin Co-Author TCSExam Benchmark

Turing Award winner Andrew Chi-Chih Yao and Moonshot AI founder Yang Zhilin co-authored TCSExam, a benchmark for theoretical computer science research. Posted to arXiv on November 5, the paper lists five authors and contains 100 expert-reviewed tasks across four tracks, including 20 theorem proving tasks.