AI助手助力数学家陶哲轩：从ChatGPT到半自动证明
本文介绍了数学家陶哲轩如何使用 AI 工具进行数学研究。他利用 ChatGPT 等人工智能技术帮助自己更快地解决问题，并挖掘出了一些 CCHATGPT 的"隐藏功能"。陶哲轩认为 AI 在数学研究中具有优势，如更灵活的处理能力和更强的"思维方式"，但他同时也指出 AI 工具仍存在一定的缺陷。
《Bard：谷歌全新人工智能助手，挑战GPT-4，你敢与吗？》
谷歌发布新AI模型Bard，能在数理能力上与ChatGPT相媲美，甚至在某些方面更胜一筹。Bard的背后是由大语言模型（LLM）支持，谷歌研究发现，使用人数越多，LLM的预测效果越好。然而，Bard还存在信息偏见和错误的问题，因此回答问题时可能会出现不准确、误导性或虚假信息。Bard旨在补充而非替代搜索引擎。欲申请候补名单，可访问：https://bard.google.com/。
数学奥赛研究员出的难题：AI能否解决？青年才俊挑战极限
近日，北京大学数学科学学院研究员出一道数学题，获得了数学爱好者的广泛关注， hundred 多人提交了解题答案。其中，韦东奕挑选出了三份优秀的解答，其中两份来自大学生，而最引人注目的是王羿骁的解答，他是一个对数学充满兴趣的优秀学生。然而， even with AI 的升级更新，人类在解决“解答有挑战的数学问题”这个任务上的优势还能保持多久呢？这将是年轻一代需要探索的问题。
《GPT-4：微软评估人工智能未来impact》
美国微软公司因人工智能对话模型ChatGPT的风靡全球而开始评估其对人类的影响。GPT-4研究报告显示，GPT-4的人工智能系统展示了人工通用智能（AGI），在推理、创造力、演绎等核心思维能力方面表现良好，并在多个领域获得专业知识。微软团队还测试了语言理解方面的反馈，GPT-4表现超过ChatGPT水平。这份报告预计人工智能将对劳动力市场产生重大影响，AI的潜力和进步将为社会带来繁荣。