陶哲轩用大模型辅助解决数学问题：生成代码、编辑 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月27日消息，国家知识产权局信息显示，常州翰润智能科技有限公司取得一项名为“一种可调式气动执行器”的专利，授权公告号CN222209186U，申请日期为2024年3月。

金融界 2024-12-27

中核核电运行管理有限公司取得一种电磁阀阀芯专利，使活塞稳定封堵通道

金融界2024年12月27日消息，国家知识产权局信息显示，中核核电运行管理有限公司取得一项名为“一种电磁阀阀芯”的专利，授权公告号CN222209175U，申请日期为2024年1月。

金融界 2024-12-27

方太取得能冷却散热的电磁阀结构专利，散热效果好

金融界2024年12月27日消息，国家知识产权局信息显示，宁波方太厨具有限公司取得一项名为“一种能冷却散热的电磁阀结构”的专利，授权公告号CN222209176U，申请日期为2024年1月。

金融界 2024-12-27

日照港油品码头有限公司取得可进行控制方式调控的阀门组件专利，能够实现两种远程控制模式的切换

金融界2024年12月27日消息，国家知识产权局信息显示，日照港油品码头有限公司取得一项名为“一种可进行控制方式调控的阀门组件”的专利，授权公告号CN222209173U，申请日期为2024年3月。

金融界 2024-12-27

常州华立取得一种阀门电动执行器的安装支架专利，能够将电动执行器快速安装在安装座上

金融界2024年12月27日消息，国家知识产权局信息显示，常州华立阀门控制设备有限公司取得一项名为“一种阀门电动执行器的安装支架”的专利，授权公告号CN222209171U，申请日期为2024年4月。

金融界 2024-12-27

五笔输入法学习指南：掌握技巧与提高打字效率的方法

五笔输入法是很多中文用户常用的输入工具，它的输入方式相对其他输入法来说，速度更快、准确率高。尤其是在需要大量打字的工作中，五笔输入法能帮助你事半功倍。不过，很多刚接触五笔的人常常会觉得它复杂，不知道从何下手。今天就来聊聊如何掌握五笔输入法，特别是“引”这个字的输入方法。

新报观察 2024-12-27

个性化手机字体设置指南：提升使用体验与视觉享受

想象一下，如果你的手机字体能够独具一格，那会多么酷炫呢！今天，我们就来聊聊怎么在手机上修改字体，让你的手机变得更有个性。首先，你可以在“设置”中找到“显示与亮度”选项，接着点击“文本大小”来调整文字的大小，虽然这不是字体的变化，但能让你的文字看起来更清晰、舒适。

新报观察 2024-12-27

进联国玉取得一种高压开关电磁阀专利，保证各个腔室与进油口压力相同减小压力波动影响

金融界2024年12月27日消息，国家知识产权局信息显示，北京市进联国玉制动泵有限责任公司取得一项名为“一种高压开关电磁阀”的专利，授权公告号CN222209181U，申请日期为2024年3月。

金融界 2024-12-27

浙江盾安取得电磁阀专利，解决现有技术中电磁阀的相关问题

金融界2024年12月27日消息，国家知识产权局信息显示，浙江盾安人工环境股份有限公司取得一项名为“电磁阀”的专利，授权公告号CN222209178U，申请日期为2024年3月。

金融界 2024-12-27

宁波飞狼自动化取得先导阀专利，加快装置反应速度

金融界2024年12月27日消息，国家知识产权局信息显示，宁波飞狼自动化有限公司取得一项名为“先导阀”的专利，授权公告号CN222209179U，申请日期为2024年3月。

金融界 2024-12-27

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

常州翰润智能科技取得一种可调式气动执行器专利，可灵活控制阀门的开启程度

中核核电运行管理有限公司取得一种电磁阀阀芯专利，使活塞稳定封堵通道

方太取得能冷却散热的电磁阀结构专利，散热效果好

日照港油品码头有限公司取得可进行控制方式调控的阀门组件专利，能够实现两种远程控制模式的切换

常州华立取得一种阀门电动执行器的安装支架专利，能够将电动执行器快速安装在安装座上

五笔输入法学习指南：掌握技巧与提高打字效率的方法

个性化手机字体设置指南：提升使用体验与视觉享受

进联国玉取得一种高压开关电磁阀专利，保证各个腔室与进油口压力相同减小压力波动影响

浙江盾安取得电磁阀专利，解决现有技术中电磁阀的相关问题

宁波飞狼自动化取得先导阀专利，加快装置反应速度

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响