Binghui Peng(@binghuip):[1/n] Recent OpenAI research has demonstrated the ability of LLMs to solve frontier problems in mathematics. We design a simple pipeline (using GPT 5.5 Pro and Claude Opus 4.8) that resolves 9 challenging open problems, including open problems from prominent theoretical computer science venues—4 from COLT open problem list and 1 from FOCS —as well as 4 problems from the commutative algebra. Project link: https://t.co/YCBzYjfz3N, joint work with @runzhou_tao, Steven Wang & @HantaoYu

Binghui Peng

@binghuip

Assistant Professor at UMD CS | prev. Google, Stanford, Berkeley, Columbia University, Tsinghua

가입 July 2023

258 팔로잉 중 1.5K 팬

Binghui Peng@binghuip

2026.06.27 06:28

[1/n] Recent OpenAI research has demonstrated the ability of LLMs to solve frontier problems in mathematics. We design a simple pipeline (using GPT 5.5 Pro and Claude Opus 4.8) that resolves 9 challenging open problems, including open problems from prominent theoretical computer science venues—4 from COLT open problem list and 1 from FOCS —as well as 4 problems from the commutative algebra. Project link: joint work with @runzhou_tao, Steven Wang & @HantaoYu_Theory