Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心报道编辑：Panda、佳琪对 AI 研究者来说，数学既是一类难题，也是一个标杆，能够成为衡量 AI 技术的发展重要尺度。近段时间，随着 AI 推理能力的提升，使用 AI 来证明数学问题已经成为一个重要的研究探索方向。著名数学家陶哲轩就是这一方向的推动者，他曾表示 ......
斯坦福大学研究：AI在与人类对话仅2小时后即可“再现”个性特征
IT之家 1 月 6 日消息，根据 Live Science 4 日的报道，一项新的研究发现，与 AI 模型进行两小时对话，就能准确复制一个人的个性。这项研究来自谷歌和斯坦福大学，他们通过与 1052 名参与者进行两小时访谈，创建了“模拟代理”AI 的个性化复制品。这些访谈被用来训练一 ......
