【新智元导读】陶哲轩早就预言，2026年GPT能帮数学家合著论文。今天，GPT-4就帮他写出一段代码，直接节省了半小时的工作量。刚刚，陶哲轩大赞:用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量!作为实验，他要求ChatGPT写一段Python代码，为每个
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
对标GPT-4代码解释器，港中大最新研究放了个“大招”:他们开发了一个叫做MathCoder的大模型，数学能力直接在竞赛级“题库”Math上超过GPT-4。做到这一点靠的就是无缝集成代码的能力——在遇到数学问题时，它不仅能用自然语言推理能自动编写和执行代码来建模、推导公式与方程。通讯作者为李鸿升，为港中大电子工程系副教授，同时也就职于上海人工智能研究室。
陶哲轩可太喜欢GPT系列大语言模型了!近几个月来，著名数学家陶哲轩热衷于用ChatGPT、GPT-4等AI工具辅助解决数学问题。我们也一直在持续地关注，这不今天又看到了他使用GPT-4来帮助自己证明数学定理。还有人问陶哲轩，「如果让你猜的话，LLM需要多少年才能拥有超越全人类的写证明能力呢?」看来，要想回答这个问题，陶哲轩的大模型试验之旅还将继续下去。
Python作为一种易于学习和应用的编程语言，因其丰富的库和广泛的用途，在数据科学和机器学习领域变得非常流行。它也因其相对较慢的运行速度备受诟病。通过使用Scalene，Python程序员可以更好地利用这个强大的编程语言，不再为性能问题烦恼。
智谱AI发布MathGLM数学模型，旨在增强大模型在数学推理方面的性能。它能够精确计算算术运算，包括基础算术运算和复杂混合运算，并提升模型的中文数学解决能力。MathGLM还在解决不同年级数学问题和数学应用题上进行了实验，取得了较好的结果。
作为自然语言生成中的一项任务，主要用来将一大段长文本压缩为简短的摘要，例如新闻文章、源代码和跨语言文本等多种内容都能用到。随着大模型的出现，传统的在特定数据集上进行微调的方法已经不在适用。本文还发现微调模型生成的摘要往往具有固定且严格的长度LLM能够根据输入信息调整输出长度。
OpenAI宣布，其聊天机器人ChatGPT现在可以「看、听、说」，或者至少能够理解口语，用合成的声音回应并处理图像。这次更新是自引入GPT-4以来OpenAI最大的一次改进。但该公司还指出，在此过程中转录被视为输入，并可能用于改进大型语言模型。
布朗大学的计算机科学研究人员发现了OpenAI的GPT-4存在的安全性问题。通过使用不常见的语言，如祖鲁语和盖尔语，他们成功绕过了GPT-4的限制性设置。尽管他们意识到这一研究可能会给网络犯罪分子提供想法，但他们仍然认为将这一漏洞公之于众是必要的，因为利用现有的翻译API轻松实施这些攻击，因此那些试图绕过安全防护的恶意行为者最终会发现这一漏洞。
根据来自哈佛商学院的一项新研究，GPT-4语言模型可以显著提高员工的工作质量，提高超过40%。研究也发现，不熟练地使用人工智能可能会导致工作绩效下降高达19个百分点。专业技能需要通过正规教育、在职培训和员工提升来培养。
微软搜索主管MikhailParakhin在Twitter上正式宣布，BingChat在创意和精确模式下100%采用GPT-4。这一消息为微软在人工智能领域的发展迈出了重要的一步。市场竞争激烈，微软需要继续努力以实现其市场份额的增长目标。
GitHubCopilot，又一次被数学大神陶哲轩“点名”了:并且陶哲轩还给出了一个具体的案例做阐述。例如在上面这个例子中，陶哲轩先是将一个积分分成了三块。这篇文章对于理解非负量的和或积分的估计方法以及它们在各个领域中的应用具有重要意义。
