陶哲轩用大模型辅助解决数学问题：生成代码、编辑 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月25日消息，国家知识产权局信息显示，北检润和（北京）技术服务有限公司取得一项名为“称重搅拌系统”的专利，授权公告号CN222196723U，申请日期为2024年4月。

金融界 2024-12-25

安徽实特医药取得恒温磁力搅拌器结构专利，避免搅拌功率过高致液体溢出

金融界2024年12月25日消息，国家知识产权局信息显示，安徽实特医药科技有限公司取得一项名为“一种恒温磁力搅拌器结构”的专利，授权公告号CN222196724U，申请日期为2024年5月。

金融界 2024-12-25

进鑫机械申请机械设备用高效热交换装置专利，提高热交换器工作效率

金融界2024年12月25日消息，国家知识产权局信息显示，六安市进鑫机械制造有限公司申请一项名为“一种机械设备用的高效热交换装置”的专利，公开号CN119172984A，申请日期为2024年8月。

金融界 2024-12-25

光合泰道智能科技申请基于安全深度强化学习的数据中心的冷却控制专利，不超过预设的温度安全阈值前提下最小化数据中心总能耗

金融界2024年12月25日消息，国家知识产权局信息显示，光合泰道智能科技（杭州）有限公司申请一项名为“基于安全深度强化学习的数据中心的冷却控制方法及装置”的专利，公开号CN119172985A，申请日期为2024年9月。

金融界 2024-12-25

如何在微信中保护隐私与安全，避免实名认证带来的困扰

微信作为一款广受欢迎的社交软件，已经成为我们生活中不可或缺的一部分。在日常使用中，实名认证是个很重要的步骤，它可以帮助用户提升账户安全性，避免一些不必要的麻烦。但是，有些用户可能会因为各种原因，想要取消实名认证。不过，微信目前并没有提供直接取消实名认证的功能。那么，具体该如何处理呢？接下来，我们就来聊聊这个话题。

新报观察 2024-12-25

如何在手机摄影中轻松关闭拍照声音，避免尴尬场合的干扰

在我们的日常生活中，手机摄影已经成为了一种常见的记录方式，随时随地都可以用手机捕捉到美好的瞬间。不过，有些朋友可能会发现，手机拍照时发出的“咔嚓”声实在是有点烦人，特别是在安静的环境中，比如图书馆、会议室或者是某些特别的场合。

新报观察 2024-12-25

深圳市万顺纸业取得一种造纸业增白剂消泡沫式搅拌器专利，极大程度避免泡沫带来的不利影响

金融界2024年12月25日消息，国家知识产权局信息显示，深圳市万顺纸业有限公司取得一项名为“一种造纸业增白剂消泡沫式搅拌器”的专利，授权公告号CN222196730U，申请日期为2024年5月。

金融界 2024-12-25

江西德思恩申请折叠电子设备用散热材料专利，能在 40 万次折叠实验中性能更稳定

金融界2024年12月25日消息，国家知识产权局信息显示，江西德思恩科技有限公司申请一项名为“一种折叠电子设备用散热材料”的专利，公开号CN119172987A，申请日期为2024年9月。

金融界 2024-12-25

删除的短信怎么找回

生活中，我们常常会因为一时的冲动，或者是误操作，导致一些重要的短信被删除了。那么，删除的短信究竟能不能找回呢？很多安卓手机都自带有备份与恢复的选项，进入设置后，找到相关的功能，看看是否可以从备份中恢复已删除的短信。

新报观察 2024-12-25

全面解析音响使用技巧，提升音乐体验的实用指南

音响怎么用？这个问题听起来好像很简单，但实际上，音响的使用涉及到很多细节和技巧。今天我们就来聊聊如何充分发挥音响的潜力，让你的音乐体验更加出色。先说说音响的基本组成部分。一般来说，一个音响系统主要由音箱、功放、音源和连接线组成。音箱负责发声，功放则是增强声音的力量，让音质更加饱满。

新报观察 2024-12-25

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

北检润和取得称重搅拌系统专利，解决实验室溶液制备问题

安徽实特医药取得恒温磁力搅拌器结构专利，避免搅拌功率过高致液体溢出

进鑫机械申请机械设备用高效热交换装置专利，提高热交换器工作效率

光合泰道智能科技申请基于安全深度强化学习的数据中心的冷却控制专利，不超过预设的温度安全阈值前提下最小化数据中心总能耗

如何在微信中保护隐私与安全，避免实名认证带来的困扰

如何在手机摄影中轻松关闭拍照声音，避免尴尬场合的干扰

深圳市万顺纸业取得一种造纸业增白剂消泡沫式搅拌器专利，极大程度避免泡沫带来的不利影响

江西德思恩申请折叠电子设备用散热材料专利，能在 40 万次折叠实验中性能更稳定

删除的短信怎么找回

全面解析音响使用技巧，提升音乐体验的实用指南

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响