lesliemomoe 在 OpenAI通用模型证明了80年历史的单位距离问题 中发帖
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
Fields奖得主Tim Gowers在配套论文中称其为AI数学的里程碑 并说完全可以推荐发表到四大数学期刊
视频中也有华人大神的影子