许地生

许地生团队依托书生科学多模态大模型S2（书生-S2），通过人机协同完成了三维Ghys猜想的证明。

许地生曾与其导师、菲尔兹奖得主阿图尔·阿维拉（Avila）合作研究三维情形Ghys猜想，但未形成有效证明思路；此后与张洁松合作在三维情形下取得部分弱相关结果，成果刊发于《欧洲数学会杂志》（JEMS）。

2026年3月，许地生成为上海AI实验室访问学者，双方组建联合团队，并搭建了面向数学研究场景的Harness系统。

攻关过程中，书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达上千页的严密推导，同时生成数十种全新论证思路。