270| 0
|
[分享] 陶哲轩最新采访:AI 将颠覆数学界!用 Lean 规模化,成百上千条定理一次秒杀 |
| ||
毋因群疑而阻独见 毋任己意而废人言
毋私小惠而伤大体 毋借公论以快私情 |
||
小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )
GMT+8, 2024-9-8 08:21 , Processed in 0.028998 second(s), 17 queries .
Powered by Discuz! X3.5
© 2001-2024 Discuz! Team.