陶哲轩用大模型辅助解决数学问题：生成代码、编辑 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月26日消息，国家知识产权局信息显示，国网山东省电力公司电力科学研究院申请一项名为“一种传像束与镜头耦合对准系统与方法”的专利，公开号CN119179192A，申请日期为2024年11月。

金融界 2024-12-26

沈阳鸿业玻璃容器取得伺服反转装置结构专利，能实现对产品进行反转调节的效果

金融界2024年12月26日消息，国家知识产权局信息显示，沈阳鸿业玻璃容器有限公司取得一项名为“一种伺服反转装置结构”的专利，授权公告号CN222200503U，申请日期为2024年6月。

金融界 2024-12-26

新媒体矩阵：车企数字化转型的必由之路

现在不少企业都有在做自己的新媒体矩阵，车企也是。但车企因为行业的原因还是与其他公司有所不同。本文梳理了车企做新媒体矩阵的方法和规范，完全可以当作操作指南指导工作使用。

Olivia 2024-12-26

探店经济，新风口还是泡沫？深度解析背后的商业逻辑

作为一种新兴的消费模式，探店经济通过探店达人的实地体验，为消费者提供消费建议，同时为商家带来客流。本文将深入探讨探店经济的定义、特点、发展历程以及它在生态中的各个参与者，分析这一模式如何打通线上线下壁垒，提供个性化服务，并推动消费升级。

瑾益 2024-12-26

UX流程全景（4）：初级调研之实践心得

产品设计最大的陷阱，是把自己的想象当作用户的需求。多少产品团队在没有深入调研的情况下，凭借主观臆测做出产品决策，最终导致产品上线后频繁改版。即便是最优秀的产品团队，如果不做好用户调研，也只是在自己的想象中摸索。

ux.ian 2024-12-26

微信不想被“捧杀”

前段时间微信推出了几项新功能，包括备受瞩目的“送礼物”功能，这些更新被一些人誉为“史诗级”的进步。然而，微信团队对此却保持着低调的态度，他们更倾向于专注于产品的稳步发展，而不是被外界的高调赞誉所左右。

数字力场 2024-12-26

智能座舱需求管理实践：从混沌到有序

就像B端和C端的方法论存在差异一样，智能座舱的需求，和手机上的需求处理也不一样。本文作者通过自己实践经验，和大家分享智能座舱的需求管理方法，供大家参考。

刘迪影 2024-12-26

青岛聚远网络科技取得智慧生产操作工作台专利，能够方便带动操作台平稳升降

金融界2024年12月26日消息，国家知识产权局信息显示，青岛聚远网络科技有限公司取得一项名为“一种智慧生产操作工作台”的专利，授权公告号CN222200501U，申请日期为2024年4月。

金融界 2024-12-26

供应链金融在物流平台领域创新发展案例（二）

小兵在上一篇文章中介绍了宁夏九鼎物流的基本情况与其在供应链金融业务中的产品，本篇文章，小兵继续分享一下九鼎物流在供应链金融业务取得的创新成果与具体应用案例。

物流小兵说 2024-12-26

东莞米思取得手动测角仪倾斜角度弧形滑台专利，能更快速调节活动滑台倾斜角度

金融界2024年12月26日消息，国家知识产权局信息显示，东莞米思机械设备有限公司取得一项名为“手动测角仪倾斜角度弧形滑台”的专利，授权公告号CN222200502U，申请日期为2024年5月。

金融界 2024-12-26

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

国网山东电力科院申请传像束与镜头耦合对准专利，实现光纤传像束与镜头快速耦合自动调节

沈阳鸿业玻璃容器取得伺服反转装置结构专利，能实现对产品进行反转调节的效果

新媒体矩阵：车企数字化转型的必由之路

探店经济，新风口还是泡沫？深度解析背后的商业逻辑

UX流程全景（4）：初级调研之实践心得

微信不想被“捧杀”

智能座舱需求管理实践：从混沌到有序

青岛聚远网络科技取得智慧生产操作工作台专利，能够方便带动操作台平稳升降

供应链金融在物流平台领域创新发展案例（二）

东莞米思取得手动测角仪倾斜角度弧形滑台专利，能更快速调节活动滑台倾斜角度

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响