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

近期资讯

Redis 分布式锁实现全攻略：从配置到代码详解

使用 Redis 实现分布式锁的完整步骤在微服务架构中，分布式锁常用于解决多个服务实例之间的资源竞争问题。本文将详细介绍如何通过 Redis 来实现分布式锁，确保只有一个客户端能够访问某个资源，防止

齐朋 2024-12-25

JMeter 线程组全家桶教程

宝子们，今天咱就来唠唠 JMeter 里那些超重要的线程相关的玩意儿，学会了它们，你就能在性能测试的世界里 “横冲直撞” 啦！一、线程组 —— 性能测试的主力军想象一下，你开了一家超级火爆的奶茶店

云栖 2024-12-25

大巨头 2024-12-25

ForkJoinTask的简单使用

ForkJoinTask非常适合并行运算的场景。例如在合并两个来源的数据时，我们往往需要通过两个方法来分别获取数据。当数据量或等待时间过长时，我们可以将这两个方法并行执行来缩短执行时间，最后合并运算

Verlif 2024-12-25

Selenium 隐式等待 java 代码

在 Selenium 中，隐式等待（Implicit Wait）是一种等待方式，它在查找元素时，如果元素没有立刻找到，Selenium 会等待指定的时间。如果在等待时间内元素出现，Selenium

马艳泽 2024-12-25

JMeter JDBC 请求实战宝典

宝子们，今天咱就来唠唠 JMeter 里超厉害的 JDBC 请求，这玩意儿就像是数据库世界的神奇魔杖，能帮咱把数据库里的各种秘密（数据）都挖出来，还能对这些数据进行各种操作

云栖 2024-12-25

Go语言基础数据类型详解：整型、浮点型、复数与字符串

Go语言基础数据类型详解：整型、浮点型、复数与字符串 Go语言作为一门静态强类型的语言，其数据类型设计简洁而高效。掌握Go的基本数据类型是每个开发者深入理解Go语言的基础。本篇文章将详细介绍Go语言中

寻月隐君 2024-12-25

具身智能公司「魔法原子」完成1.5亿元天使轮融资，预计2025年交付数百台人形机器人 | 36氪首发

魔法原子目前已打通核心软硬件自研、供应链管理与生产制造、场景落地应用等人形机器人全产业链链路。

王方玉 2024-12-25

核心大应用发布效率提升70%，宿主机容器先缩后扩模型分享

1.背景 2023年疫情过后旅游行业复苏，业务量迎来爆发式增长。然而业务同学遇到了一个发布效率的难题：激增的业务需求导致核心大应用的发布时长大幅度增加，对用户的工作效率产生了严重影响。为了解决这个用户

去哪儿技术沙龙 2024-12-25

套壳AI公司，骗了800名员工和200只猫丨深氪lite

我们“解剖”了2024年最具迷惑性的商业骗局，将其制作成一份“职场防诈指南”，送给可能要在2025年求职的你。

邱晓芬 2024-12-25

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

Redis 分布式锁实现全攻略：从配置到代码详解

JMeter 线程组全家桶教程

sql2008r 索引相关知识

ForkJoinTask的简单使用

Selenium 隐式等待 java 代码

JMeter JDBC 请求实战宝典

Go语言基础数据类型详解：整型、浮点型、复数与字符串

具身智能公司「魔法原子」完成1.5亿元天使轮融资，预计2025年交付数百台人形机器人 | 36氪首发

核心大应用发布效率提升70%，宿主机容器先缩后扩模型分享

套壳AI公司，骗了800名员工和200只猫丨深氪lite

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响