谷歌CEO: 获得诺贝尔奖的AlphaFold完成了数亿小时博士级别的工作
谷歌在几个月之内解码了3亿个蛋白质结构
并向全世界免费开放
https://twitter.com/ReynoldDai/status/1993220039747813586
宝玉:
最近数学圈发生了一件很有意思的事。
世界顶级数学家陶哲轩在解决一个 Erdős（埃尔德什）的经典问题时，全流程都在用 AI 做助手——从证明草案，到简化证明，再到形式化验证。
Erdős
https://twitter.com/dotey/status/1993188310286520394
