Own website · bicmr.pku.edu.cn ↗

Bin Dong

Researcher

Now Professor, Beijing International Center for Mathematical Research and Center for Machine Learning Research, Peking University

Latest on AI4S.fyiTimeline · Oct 6A Peking University team and coding agents formalize the Poincaré conjecture in Lean: about 2.8 million lines, a little over two weeks for the main phase, about $25,000

Affiliations

Current

Professor, Beijing International Center for Mathematical Research and Center for Machine Learning Research · Peking Universityas of 2026-10-07bicmr.pku.edu.cn ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

On the timeline

2026-10-06A Peking University team and coding agents formalize the Poincaré conjecture in Lean: about 2.8 million lines, a little over two weeks for the main phase, about $25,000

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →