资讯
快讯
活动
专栏
专题
网址导航
证明
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
· 2025-06-22 22:27:21
240
证明
Grok 3证明黎曼猜想？数学家称不夸张，两年内AI将解出千禧年难题
苏州博智慧达
· 2024-11-18 19:35:31
291
证明
苏州博智慧达 · 2024-11-18 19:35:31 291 
苏州博智慧达 · 2024-11-18 19:35:31 291