大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。