AI与数学

这篇文章主要讲述了微软首席技术官凯文·斯科特与比尔·盖茨的一次对话，其中盖茨分享了他对ChatGPT功能的看法。他认为ChatGPT的功能强大，可以用来写大学申请或重写独立宣言等。然而，他也指出ChatGPT的局限性，它不能像人类一样理解上下文，并且在处理抽象数学问题时也存在一些弱点。文章还强调了人工智能可能会带来的挑战和机遇，盖茨认为虽然有些工作可能被自动化，但许多工作将得到促进，并最终将更加人性化，以提高人类生产力。

文章概述了北京大学数学科学学院研究员韦东奕挑选出了国际数学奥林匹克竞赛中部分解题答案，并评价了其中两份来自大学生的答案。这些解答被认为可以作为标准答案，其中一份甚至得到了韦东奕的认可。文中还提到了中国科学院院士田刚对于“人类大脑在解决挑战性数学问题上的优势”的观点以及年轻一代将肩负起探寻这一问题答案的重任的观点。

BardvsChatGPT AI 热潮以来，「突发」就成了我们标题的常客。昨天，来自 Google 的大语言生成类 AI 模型 Bard 又迎来更新，新增了「Google it」按钮，增强了数学与逻辑能力，并发布了一个全新的功能更新公告板。发布以来就饱受争议的 Bard，如今能在数理逻辑领域，与 GPT 4 一较高下吗？ 三个更新点，做数学题是重点为了让用户更方便的了解 Bard 更新变化，Google 上线了 experiment updates（实验更新）界面，展示 Bard 的最新消息。网址如下：https://bard.google.com/updates 相比其他厂商「提高系统稳定性，优化系统流畅度」的更新对联，Bard 不仅告诉你更新了什么，还告诉你为什么更新。Google 表示，这是为了让用户更快的进行测试、提供反馈。顺着更新公告往下看，「Google it」是这次的第一个功能更新，当你问过 Bard 后，可以在答案下方看到「Google it」的按钮，点击后 Bard 会生成几个相关主题，以便你使用 Google 进行更多元的搜索。 这样一来，Google 搜索就变成了 Bard 的补充，如果在未来，Bard 完全替代前者我也不会感到意外。 不过，Google it 在提取复杂问题的主题时准确性还不够高，比如在我询问奥数题时，Google it 的主题几乎没有价值。 最后，也是最大的更新，Bard 的数学和逻辑能力得到了升级，以前一道 123456*654321...

近期，香港政府在创科发展中全面启动《蓝图》，包括资金投入、人才待遇提升、国际中心建设与智慧城市的推进，并持续加强与大湾区的合作。尽管对ChatGPT持开放态度，暂未计划内用，但会关注其发展。香港已拥有约4000家初创企业，政府正致力于打造国际创科中心以吸引更多本地创新。通过与内地的政策签署及跨境通办等措施，香港积极融入国家科技发展大局，目标成为全球领先科技集群。