根据陶哲轩的建议，作者着重列出了上述数据以保证透明度。这也是为了更完整地呈现 AI 辅助数学研究的真实成本：除了少数正例之外，大量时间会消耗在核验、纠错、排查细微错误，以及检索文献以排除「无意重复」上。

在AI技术快速发展的背景下，苹果公司在AI领域的迟缓进展引发投资者担忧。尽管传出其可能与谷歌Gemini合作增强Siri的消息被市场视为积极信号，但分析师警告称，这可能削弱苹果品牌的隐私优势，甚至加速其在AI竞赛中的落后。 在大型科技公司竞相提供最先进 ...