EN

← 人物

个人网站 · bicmr.pku.edu.cn ↗

Bin Dong

董彬

研究者

现任 北京大学北京国际数学研究中心、机器学习研究中心教授

最新记录时间线 · 10月6日北京大学团队与编码智能体在 Lean 中形式化庞加莱猜想：约 280 万行代码，主体阶段两周多，花费约 2.5 万美元

任职

现任

现任职务来自下面这些带日期的记录，不取自简介。每条都链到读过的页面。

时间线上提到

这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →