跳至内容
mylogs.cn
首页
科技
体育
娱乐
经验与技巧
我的项目
标签:
形式化证明
AI 十题解出七道,陶哲轩给数学界划下年底期限
2026年8月8日
发布于
科技
数学家向来不着急。一个问题悬而未决几十年甚至几个世纪是常事,一位学者花上数年只钻研一道题也不稀奇。但被公认为当…