A compilation of excerpts from discourses by Xi Jinping, general secretary of the Communist Party of China Central Committee, ...
2024年秋天，马杰到清华访问授课，申武杰把这个想法带给了他，马杰的学生谢晟捷也加入进来。三个人花了一年时间，写了40页密集的计算，才完成了证明。 353 个Erdős开放问题里啃下 9 个。 44 个OEIS猜想一并证明。全部Lean形式化验证通过 ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果