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

Joined August 2023

708 Following 3.7K Followers

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.