陶哲轩用大模型辅助解决数学问题：生成代码、编辑 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-12-31

电光科技：电力巡检机器人主要用于煤矿变电所

金融界12月31日消息，有投资者在互动平台向电光科技提问：公司开发的电力巡检机器人主要用于哪些行业？公司回答表示：开发产品主要想用于煤矿变电所。

金融界 2024-12-31

如何轻松取消腾讯视频会员自动续费，保障您的消费权益

视频会员自动续费的朋友们有所帮助。操作过程中如果有任何疑问，记得随时寻求帮助，确保自己的账户安全和权益。同时，享受视频带来的快乐，也要理性消费，选择最适合自己的会员服务。祝你在观看的旅程中，找到更多的乐趣和精彩！

新报观察 2024-12-31

沈阳天瑞众成取得一种核生化 AI 机器人的智能预警装置专利

金融界2024年12月31日消息，国家知识产权局信息显示，沈阳天瑞众成系统集成有限公司取得一项名为“一种核生化AI机器人的智能预警装置”的专利，授权公告号CN118883146B，申请日期为2024年9月。天眼查资料显示，沈阳天瑞众成系统集成有限公司，成立于2011年，位于沈阳市，是一家以从事软件和信息技术服务业为主的企业。

金融界 2024-12-31

如何高效复制图片：实用技巧与注意事项解析

在现代社会，图片已经成为我们日常生活中不可或缺的一部分。无论是社交媒体上的分享，还是工作中的资料整理，图片都扮演着重要的角色。然而，很多人可能会发现，复制图片并不是一件简单的事情。今天我们就来聊聊，关于如何有效地复制图片的那些事儿。首先，复制图片的方式有很多种，具体取决于你使用的设备以及软件。

新报观察 2024-12-31

如何正确调校和使用标尺以确保测量准确性

《标尺怎么调出来》在我们的日常生活中，标尺是一个非常常见的工具。无论是在学校的课堂上，还是在家里的工作间，甚至是一些专业的领域，标尺都扮演着重要的角色。它可以帮助我们准确地测量物体的长度、宽度，甚至是深度。然而，很多人可能会忽视一个问题，那就是如何正确地调校标尺。今天，我们就来聊聊这个话题。首先，调校标尺的必要性是毋庸置疑的。

新报观察 2024-12-31

德联集团：冷却液应用于超算中心需深入评估

金融界12月31日消息，有投资者在互动平台向德联集团提问：人工智能的蓬勃发展，数据中心的新建和改造由因为温度过高需要降温，保障数据安全！公司的冷却液适用于超算中心和智算中心所要的液冷吗？公司回答表示：公司冷却液具备一系列优势特性，在汽车领域有着广泛且成熟的应用。

金融界 2024-12-31

如何有效去掉视频水印：方法与技巧详解

在我们日常生活中，视频已经成为了获取信息和娱乐的重要方式。然而，很多时候我们会遇到一些带有水印的视频。水印通常是为了保护原创内容，避免被盗用，但有时候我们真的希望去掉这些水印，以便更好地使用视频内容。今天，我们就来聊聊如何去掉视频里的水印，当然，我会尽量让这个过程简单易懂。

新报观察 2024-12-31

融发核电：产品涵盖核岛一回路主管道及多类关键设备

金融界12月31日消息，有投资者在互动平台向融发核电提问：尊敬的董秘您好，小堆技术路线SMR因其小巧灵活、用途更广等优势而更受青睐。但是比如我国的玲珑一号小堆直接取消一回路主管道，使得核电站成本得以降低。请问在SMR技术线路推广的当下公司核电主管道产能未来怎么办？

金融界 2024-12-31

泉州永晋机械取得一种风箱用导流板专利，减小噪音

金融界2024年12月31日消息，国家知识产权局信息显示，泉州永晋机械有限公司取得一项名为“一种风箱用导流板”的专利，授权公告号CN222223855U，申请日期为2024年5月。

金融界 2024-12-31

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

如何轻松连接手机与蓝牙设备，提升生活便利性指南

电光科技：电力巡检机器人主要用于煤矿变电所

如何轻松取消腾讯视频会员自动续费，保障您的消费权益

沈阳天瑞众成取得一种核生化 AI 机器人的智能预警装置专利

如何高效复制图片：实用技巧与注意事项解析

如何正确调校和使用标尺以确保测量准确性

德联集团：冷却液应用于超算中心需深入评估

如何有效去掉视频水印：方法与技巧详解

融发核电：产品涵盖核岛一回路主管道及多类关键设备

泉州永晋机械取得一种风箱用导流板专利，减小噪音

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响