当时冯康在干什么 ，陆家羲呢？
【 在 oneyuan 的大作中提到: 】
: 吴的几何定理机器证明，还有陈景润王元潘承洞他们解析数论的工作应该都是那个时候。
--
FROM 112.66.24.*