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

两万焦 2024-12-30

欧盟新规正式生效：强制统一USB-C！iPhone 14等已停售

快科技12月30日消息，当地时间12月28日，欧盟委员会2022年通过的关于统一充电接口的新规正式生效。其中规定，电子设备制造商有义务向欧盟27国销售的产品配备USB-C（即USB Type-C）接口，无法适

2024-12-30

前11月特斯拉城市销量榜：杭州人买的最多苏州排第二

快科技12月30日消息，易车榜根据整理的终端量数据，发布了今年前11月特斯拉的城市销量榜。榜单显示，购买特斯拉的人群主要在一线和新一线城市，前三名分别为杭州、苏州、上海。具体来看

2024-12-30

2024 年第 53 周草梅周报：2024 年度项目总结与展望

欢迎来到草梅周报！这是一个由草梅友仁基于 AI 整理的周报，旨在为您提供最新的博客更新、GitHub 动态、个人动态和其他周刊文章推荐等内容。草梅友仁的 2024 年度项目总结

草梅友仁 2024-12-29

“认识这三个人，你就能在沙特上桌”

谁在沙特挣到钱了？

36氪的朋友们 2024-12-30

我给validation-api增加了按条件参数校验的功能并开源了

本文针对validation-api无法完成在不同参数条件下对不同的参数进行校验的场景，扩展了validation-api让它能更方便、快捷的适用于更多、更广泛的参数校验场景

赵侠客 2024-12-30

2024年终总结：5000 Star，10w 下载量，这是我交出的开源答卷

你好，我是 Kagol，个人公众号：前端开源星球。我的2024年关键字是：`开源运营`、`创作分享`、`健康生活`。

前端开源星球 2024-12-30

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

尝试比成功更重要

网页疯狂自动刷新，发生了什么？业务：我传了一张两亿像素的图片而已

【OpenHarmony】鸿蒙 UI开发之WheelPicker

独立开发沉思录周刊：vol26.太努力的人跑不远

欧盟新规正式生效：强制统一USB-C！iPhone 14等已停售

前11月特斯拉城市销量榜：杭州人买的最多苏州排第二

2024 年第 53 周草梅周报：2024 年度项目总结与展望

“认识这三个人，你就能在沙特上桌”

我给validation-api增加了按条件参数校验的功能并开源了

2024年终总结：5000 Star，10w 下载量，这是我交出的开源答卷

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响