[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
人物
阿图尔·阿维拉
Avila
菲尔兹奖得主,数学家,研究领域涉及动力系统,曾与许地生合作研究三维Ghys猜想。
来源文章
书生-S2助力三维Ghys猜想证明并通过形式化验证
10月15日