Shouqiao Wang(@Qiaoqiao2001):I have published the materials here: https://t.co/6CuKTKgVw4 The repository includes the proof PDFs, LaTeX source files, and prompts used for each problem. Some problems also include Python files for computational experiments. Two already have Lean formalizations, and formalization of the others is ongoing.

Shouqiao Wang

@Qiaoqiao2001

PhD candidate @Columbia_Biz; prev @PKU1898 School of Mathematical Sciences

加入 August 2023

708 正在關注 3.7K 粉絲

Shouqiao Wang@Qiaoqiao2001

2026.07.22 18:54

I have published the materials here: The repository includes the proof PDFs, LaTeX source files, and prompts used for each problem. Some problems also include Python files for computational experiments. Two already have Lean formalizations, and formalization of the others is ongoing.