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

近期资讯

🔥《手把手教你》系列基础篇之2-python+ selenium自动化测试-打开和关闭浏览器（详细）

首先宏哥要拉一下票，希望喜欢宏哥的支持一下，投下你宝贵的6票，投票完成记得抽奖哈，灰常感谢！！！掘金2024年度人气创作者打榜中，快来帮我打榜吧～ activity.juejin.cn/rank

北京_宏哥 2024-12-27

基于Java异步处理的 USB 设备监控系统设计与实现：技术架构与业务场景分析

随着智能设备和物联网技术的快速发展，USB 设备在各行各业中的应用越来越广泛。从工业设备到个人电子产品，USB 设备已经成为数据传输和设备连接的主流方式。然而，设备的动态插拔和状态变化的检

不惑_ 2024-12-27

大卫talk 2024-12-27

面试官：不会“不定高”虚拟列表，你在简历上面提他干嘛？

很多同学将虚拟列表当做亮点写在简历上面，但是却不知道如何手写，那么这个就不是加分项而是减分项了。在上一篇文章欧阳教会你如何实现一个定高虚拟列表，但是实际项目中更多的是不定高虚拟列表，这篇文章欧阳来

前端欧阳 2024-12-27

Logstash 安装与部署（无坑版）

下载版本对照关系：ElasticSearch 7.9.2 和 Logstash 7.9.2 ；官方下载地址选择ElasticSearch版本一致的Logstash版本 https://www.e

不惑_ 2024-12-27

css滤镜

css 常用滤镜有不少例如：毛玻璃效果、灰色滤镜、阴影滤镜、自定义svg滤镜等，尤其比较常见的就是毛玻璃和滤镜效果了，毛玻璃一般用在背景(z方向底部)模糊，灰色滤镜一般用于清明节主题

剪刀石头布啊 2024-12-27

flex常见内容介绍

flex布局 flex被称为万能布局，叫flex布局，也叫盒子布局，其不单是一个flex属性，它包含了一套新的属性集,属性集包括用于设置容器，和用于设置项目两部分

剪刀石头布啊 2024-12-27

《HelloGitHub》第 105 期

简介 HelloGitHub 分享 GitHub 上有趣、入门级的开源项目。这里有实战项目、入门教程、黑科技、开源书籍、大厂开源项目等，涵盖多种编程语言 Python、Java、Go、C/C++、S

HelloGitHub 2024-12-27

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

🔥《手把手教你》系列基础篇之2-python+ selenium自动化测试-打开和关闭浏览器（详细）

基于Java异步处理的 USB 设备监控系统设计与实现：技术架构与业务场景分析

javascript中的==、===

鸿蒙开发：适配系统深浅色模式

玩转前端正则表达式

面试官：不会“不定高”虚拟列表，你在简历上面提他干嘛？

Logstash 安装与部署（无坑版）

css滤镜

flex常见内容介绍

《HelloGitHub》第 105 期

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响