Shouqiao Wang
@Qiaoqiao2001
PhD candidate @Columbia_Biz; prev @PKU1898 School of Mathematical Sciences
708 Following 3.7K Followers
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.
Show more
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.
I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.
Here’s exactly how I approached it, including my prompts 🧵
Show more
