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

瑞纳智能获得外观设计专利授权：“控制网关”

证券之星消息，根据天眼查APP数据显示瑞纳智能（301129）新获得一项外观设计专利授权，专利名为“控制网关”，专利申请号为CN202430362219.0，授权日为2024年12月31日。2.本外观设计产品的用途：与云平台形成云边架构，内置AI调度算法，用于小区、换热站设备集控，实现智慧供热。

证券之星 2024-12-31

如何高效管理邮箱：使用技巧与安全建议的全面指南

在这个数字化时代，邮箱已经成为我们生活中不可或缺的一部分。无论是工作、学习还是日常交流，邮箱都发挥着重要的作用。今天，我们就来聊聊怎么正确地使用邮箱，帮助你更好地管理和利用这个工具。首先，选择一个合适的邮箱服务提供商很重要。市面上有很多邮箱服务，比如Gmail、Outlook、Yahoo等，每个都有自己的特点和功能。

新报观察 2024-12-31

佰维存储获得发明专利授权：“封装结构散热优化方法、装置、可读存储介质及电子设备”

证券之星消息，根据天眼查APP数据显示佰维存储（688525）新获得一项发明专利授权，专利名为“封装结构散热优化方法、装置、可读存储介质及电子设备”，专利申请号为CN202110337921.7，授权日为2024年12月31日。

证券之星 2024-12-31

如何高效创建和管理微信群聊的实用指南与技巧分享

录”、“发现”和“我”。我们要点击“聊天”图标，进入聊天列表。在聊天列表的右上角，有一个“+”号，点击它后，会弹出一个菜单。在这个菜单里，你会看到“发起群聊”的选项，点一下这个选项。接下来，微信会显示你的好友列表。你可以在这里选择你想要邀请进群的人。可以通过滑动屏幕来查看更多的好友，或者直接在搜索框中输入好友的名字，快速找到他们。

新报观察 2024-12-31

华帝股份获得实用新型专利授权：“一种电热水器的挂架”

证券之星消息，根据天眼查APP数据显示华帝股份（002035）新获得一项实用新型专利授权，专利名为“一种电热水器的挂架”，专利申请号为CN202323498257.8，授权日为2024年12月31日。

证券之星 2024-12-31

如何顺利安装和配置CAD软件，提升设计效率与技能

在现代设计和工程领域，CAD（计算机辅助设计）软件是不可或缺的工具。这里列出几个，供你参考：安装失败：如果安装过程中出现错误，检查一下系统要求是否满足，或者尝试以管理员身份运行安装程序。

新报观察 2024-12-31

文件压缩技巧：轻松管理和传输大文件的实用指南

在日常生活中，我们经常会遇到需要发送或存储大量文件的情况。无论是工作上的报告、照片、视频，还是个人的学习资料，文件的体积有时候真的让人头疼。尤其是当你需要通过电子邮件发送文件时，附件的大小往往成为一个难题。此时，压缩文件就显得尤为重要。那么，文件到底怎么压缩呢？接下来，我就来和你聊聊这个话题。

新报观察 2024-12-31

南卫股份获得实用新型专利授权：“一种高效真空包装机”

证券之星消息，根据天眼查APP数据显示南卫股份（603880）新获得一项实用新型专利授权，专利名为“一种高效真空包装机”，专利申请号为CN202421145048.7，授权日为2024年12月31日。

证券之星 2024-12-31

佰维存储获得发明专利授权：“DRAM测试方法、装置、可读存储介质及电子设备”

证券之星消息，根据天眼查APP数据显示佰维存储（688525）新获得一项发明专利授权，专利名为“DRAM测试方法、装置、可读存储介质及电子设备”，专利申请号为CN202011136998.X，授权日为2024年12月31日。

证券之星 2024-12-31

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

掌握照片修饰技巧，提升摄影作品质量与视觉效果的艺术之旅

瑞纳智能获得外观设计专利授权：“控制网关”

如何高效管理邮箱：使用技巧与安全建议的全面指南

佰维存储获得发明专利授权：“封装结构散热优化方法、装置、可读存储介质及电子设备”

如何高效创建和管理微信群聊的实用指南与技巧分享

华帝股份获得实用新型专利授权：“一种电热水器的挂架”

如何顺利安装和配置CAD软件，提升设计效率与技能

文件压缩技巧：轻松管理和传输大文件的实用指南

南卫股份获得实用新型专利授权：“一种高效真空包装机”

佰维存储获得发明专利授权：“DRAM测试方法、装置、可读存储介质及电子设备”

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响