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

近期资讯

Fred_W 2024-12-25

【教程】第十二章会议室预约管理

NocoBase 系列教程通过循序渐进的功能升级，你将打造一个强大的管理系统，让团队协作更高效、流程更智能。

NocoBase 2024-12-25

HarmonyOS NEXT 实战之元服务：静态案例效果---音乐排行榜

背景：前几篇学习了元服务，后面几期就让我们开发简单的元服务吧，里面丰富的内容大家自己加，本期案例仅供参考先上本期效果图，里面图片自行替换效果图1完整代码案例如下： Index ListWar

JasonYin 2024-12-25

从零到一：如何快速生成和优化Prompt

本文介绍了如何高效编写和优化Prompt，帮助读者快速从0到1生成有效的Prompt。文章提供了“万能模板”，通过角色设定、问题描述、目标明确和要求补充四个步骤，简化了Prompt的编写流程。

Kan先生 2024-12-25

入门 | 什么是Promise？快速上手Promise调度方式

什么是Promise？ Promise 对象表示异步操作最终的完成（或失败）以及其结果值。 Promise的特点对象的状态不受外界影响。一个Promise必然处于以下几种状态之一：待定（pendi

XMX303 2024-12-25

普通人能否彻底告别代码学习？

小明：“嘿，AI，你说我还需要学编程吗？” 机器人：“理论上，当我达到‘终极智能’时，你可能就不需要了。但现在嘛，还是得学一点。” 小程：“那程序员呢？他们会被你取代吗？” 机器人：“哈哈，别担心！虽

栈江湖 2024-12-25

CIFAR10彩色图片识别

本文记录了基于深度学习框架 PyTorch 对 CIFAR-10 数据集进行分类的实验过程，包括数据加载与预处理、构建简单卷积神经网络（CNN）、训练与测试模型及结果可视化。

水大鱼大 2024-12-25

Visual Studio - API调试与测试工具之HTTP文件

VisualStudio2022支持类似RESTClient功能，可通过.http文件便捷调试Api接口，包括创建方式、语法、注释变量、环境文件及身份验证等，功能待完善，测试代码已上传至代码库。

IT规划师 2024-12-25

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

【langchain实战笔记】4、自定义处理链基础(基于天气信息的旅行助手)

kiftd：Star1.1k，打造个人的专属网盘，平替百度网盘、阿里网盘的“空间和速度”的限制，速度快的飞起来，让您的数据存储更自由、更高效。

Java-正则表达式：爬虫

【教程】第十二章会议室预约管理

HarmonyOS NEXT 实战之元服务：静态案例效果---音乐排行榜

从零到一：如何快速生成和优化Prompt

入门 | 什么是Promise？快速上手Promise调度方式

普通人能否彻底告别代码学习？

CIFAR10彩色图片识别

Visual Studio - API调试与测试工具之HTTP文件

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响