陶哲轩用大模型辅助解决数学问题：生成代码、编辑 LaTeX 公式都很好用

作者：机器之心发布时间：2023-09-07

编程 ChatGPT

几个月来，数学家陶哲轩多次尝试使用 ChatGPT 辅助解决数学问题，并与大家分享他的试验结果。网友在围观的同时还会和陶哲轩进行一些交流，或者给出 ChatGPT 的使用技巧建议。今天，陶哲轩又尝试...【查看原文】

相关资讯

陶哲轩用大模型解决数学问题：生成代码、编辑LaTeX公式都很好用

今天，陶哲轩又尝试用ChatGPT生成可采用LaTeX表达式的程序代码，并最终得到了一段可用的VSCode代码。陶哲轩表示ChatGPT能够生成涉及正则表达式的复杂代码片段，并且很有效。

编程 ChatGPT

机器之心Pro 2023-09-06

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

编辑：桃子【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制粘贴一键完成！当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。近日，他在

GPT-4 ChatGPT

王树松 2023-04-19

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但对工作有帮助

新智元报道编辑：桃子【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制、粘贴、一键完成！当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工

GPT-4 ChatGPT

新智元 2023-04-09

陶哲轩：计算机辅助数学证明的历史

导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能

机器学习生成式AI

返朴科普 2023-08-31

vue - 解决 ai输出 latex格式公式问题

思考最近用chatGPT API的时候，涉及到输出数学函数公式这一part。然后在进行测试的时候，发现输出数学公式的格式是以下这样子：然后，我测试了一下可以免费使用的星火大模型，它上面输出的数

ChatGPT

爱追剧的小mo 2024-04-02

近期资讯

办公园区运营管理系统：全面赋能园区智慧化管理

在数字化和智能化浪潮的推动下，办公园区运营管理正逐步迈向高效、便捷与智能化。一个完善的办公园区运营管理系统不仅需要解决日常管理中的繁琐事务，还需通过集成化的平台，实现园区资产、招商、租赁、物业、财务、能耗、安全及服务等全方位的高效运作。本文将从资产管理、招商推广、资产租赁、物业服务、财务收费、服务门户、能耗计费、巡更巡检、工单报修等多个维度，深入探讨这一系统如何全面赋能园区智慧化管理。一、资产管理系统资产管理系统是办公园区运营管理的核心基础。通过该系统，园区管理者可以对园区内的各类资产进行全生命

万名云 2024-09-14

普通学生如何实现从量变到质变？高二必须要知道的学习任务安排

三百多分和四百多分的同学注意啦！如果你想最后拼搏一把，高考成功逆袭一本，现在是你最后的机会了！过去的时间已经是无可挽回的了，能够把握的时间只有现在和未来！第一轮的复习对你来说真的至关重要，今天就在这里和高二的同学们说一说该如何科学、高效地做好自己的复习规划。 1高二的时间相对来说，时间不会非常紧张，同学们可以利用高二以及高二暑假的空余时间做好能够靠死记硬背这部分的知识点背诵。包括教材中的文言文实词、虚词、古诗文名句、成语意思、诗歌表达思想、语言风格等。还有英语单词，文综的政治知识点、基本的历史事实、理综的

种颗糖葫芦吖 2024-09-14

在线预约小程序：打破时间限制，提升用户体验的利器

在如今繁忙的社会生活中，时间成为了我们最宝贵的资源之一。无论是预约看医生、办理业务还是订购外卖，都需要耗费大量时间等待排队，这无疑浪费了我们宝贵的时间和精力。针对这一问题，小凡优选公司推出的小程序“在线预约小程序”应运而生，它为我们提供了一种便捷高效的在线预约方式，极大地提高了用户的预约体验。电脑浏览器搜索【小凡优选】，在线体验一、实用场景医疗行业：无需在医院门诊大厅排队等待，只需要通过小程序选择预约时间和医生，即可在指定时间就诊，轻松解决了就诊难的问题。美容美发：通过小程序，用户可以轻松预约

右以云 2024-09-14

欣薇电子 2024-09-14

我们不太确定你是否准备好了。。。

我们不太确定你是否准备好了。。。 [图片] [图片]

bequiet德商德静界 2024-09-14

【新疆多旋翼无人机培训】保华润天航空：一个实现飞行梦想的最佳平台

"新疆多旋翼无人机执照培训，成就飞行梦想的起点！"在辽阔的新疆大地，有一片充满科技与创新气息的天空，这里就是保华润天航空无人机培训基地。我们致力于为每一位怀揣飞行梦想的你提供最专业的多旋翼无人机执照培训服务。在这里，你将领略到无人机技术的魅力，感受到飞行带来的自由与激情。我们的培训课程涵盖了多旋翼无人机的基础理论、操作技巧、飞行规划等多个方面，旨在全方位提升你的飞行技能。由业内资深教练亲自授课，确保你能够迅速掌握无人机的核心技术和飞行要领。此外，我们还提供丰富的实践机会，让你在真实的飞行环境中不断磨砺自己

18195806473 2024-09-14

现在报名PMP课程，11月份考试还来得及！

PMP是行业内影响力和知名度第一的认证，它传授项目管理底层逻辑，是其他项目管理认证的学习基础。(如:华为HCIP-PM、高软等)。学习并掌握PMP项目管理体系知识后，我们将会更懂得怎么去理解项目目标，怎么去做价值交付和逻辑思考。我们在生活、职场中的判断力、逻辑分析能力将会提升，就不会永远只依赖直觉，或是靠从众来随波逐流，我们就会建立起自己的思维和价值体系。 2024年讯方技术PMP最后一期项目管理课程即将开课！课程全程直播，时长不低于70小时，无混合，紧跟考点，拒绝光盘教学！讯方·智汇云校课程请咨询乐

讯方智汇云校 2024-09-14

3200W 15KHZ-20KHZ超声波焊接机换能器振子

3200W 15KHZ-20KHZ超声波焊接机换能器振子的核心技术与应用时，不得不提及其精密的制造工艺与高效的能量转换机制。这款换能器振子，作为超声波焊接机的核心部件，其设计巧妙地将电能转化为高频振动机械能，是实现材料间高效、环保连接的关键。振子内部采用高纯度压电陶瓷材料，经过精密的极化工序和严格的品质控制，确保了其在高频率、大功率工况下的稳定性能与长寿命。其独特的频率响应特性，能够精准匹配15KHZ至20KHZ的工作频段，满足不同材料、不同厚度以及复杂形状工件的焊接需求，极大地拓宽了超声波焊接技术的应用

普立森超声波 2024-09-14

陶哲轩用大模型辅助解决数学问题：生成代码、编辑 LaTeX 公式都很好用

推荐体验

相关资讯

陶哲轩用大模型解决数学问题：生成代码、编辑LaTeX公式都很好用

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但对工作有帮助

陶哲轩：计算机辅助数学证明的历史

vue - 解决 ai输出 latex格式公式问题

近期资讯

办公园区运营管理系统：全面赋能园区智慧化管理

普通学生如何实现从量变到质变？高二必须要知道的学习任务安排

在线预约小程序：打破时间限制，提升用户体验的利器

【工业除尘喷雾设备】-山东艾蓝系统-系统厂家

Light Loop-您的系统所需的视线捕捉器！

28-4-人体+震动报警器视频

我们不太确定你是否准备好了。。。

【新疆多旋翼无人机培训】保华润天航空：一个实现飞行梦想的最佳平台

现在报名PMP课程，11月份考试还来得及！

3200W 15KHZ-20KHZ超声波焊接机换能器振子

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

大公司发布的大模型产品都有哪些？

政府对AIGC的扶持政策

AIGC对就业的影响：我们会失业吗？

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响