AI与数学

这篇文章介绍了数学家陶哲轩如何使用 AI 工具 ChatGPT 进行数学研究。陶哲轩通过将同事的问题逐字逐句地抛给 ChatGPT，并检查了一段时间后发现 ChatGPT 的数学能力并不理想。然而，这并没有阻止他继续使用 ChatGPT，反而启发了他寻找更多的用途。通过将 ChatGPT 用于生成提示，陶哲轩能够更轻松地找到答案。此外，他还指出 AI 工具具有更灵活性和更强的“思维方式”，可以在一定程度上取代传统软件工具。然而，同时也存在一定的风险和挑战，例如同行评审的难度可能会增加。总的来说，陶哲轩的观点引起了学术界的讨论和关注。

谷歌针对其新上线的Bard AI进行了实测，结果显示其具有惊人的表现，特别是在理解和逻辑能力方面甚至优于GPT-4。Bard采用总分总结构，能够进行多轮对话，并且其背后的轻量优化版LaMDA大语言模型能够根据用户反馈不断优化。然而，谷歌也承认LLM存在缺陷，可能会导致Bard在回答某些问题时出现不准确、误导性或虚假信息。总的来说，Bard是一个有潜力的沟通和创造力工具，值得关注和使用。

文章主要报道了比尔·盖茨与微软首席技术官凯文·斯科特的一次对话。盖茨对ChatGPT的评价很高，认为其功能强大，能以名人的方式写作，但同时也指出其无法像人类理解上下文，且在数学问题的处理上存在一定的局限性。盖茨还强调，人工智能将提高人类 productivity，而非完全取代人类工作。

近日，北京大学数学科学学院研究员韦东奕出一道国际数学奥林匹克竞赛题目，引发众多数学爱好者关注。 hundred 百人提交解题答案，其中包括两份优秀的大学生答案，王羿骁以其出色的表现受到关注。他的答案在竞赛教练转发后得到了网友纷纷称赞，而北京国际数学研究中心的数据显示，他的答案 correct 了题目中的错误提示。然而，这也引发了关于人类与 AI 竞争的问题，年轻一代将如何承担起探寻答案重任。