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

近期资讯

英伟达推出 GB200 NVL4 平台：144 核 CPU+4 GPU

IT之家12月26日消息，英伟达为满足现代数据中心对高性能和可扩展性的需求，最新推出了GB200NVL4平台，采用Arm架构，具备强大的计算能力并重点优化功耗，为AI、高性能计算和其他计算密集型任务提供理想的解决方案。

IT之家 2024-12-26

旭丰智慧能源申请基于大数据分析的电解水制氢优化方法及系统专利，确保电解过程稳定性避免因气泡堆积导致的性能下降问题

金融界2024年12月26日消息，国家知识产权局信息显示，旭丰智慧能源科技有限公司申请一项名为“一种基于大数据分析的电解水制氢优化方法及系统”的专利，公开号CN119177473A，申请日期为2024年9月。

金融界 2024-12-26

小米官宣与理想汽车达成充电合作 6000+理想充电桩入驻小米充电地图

此外，小米还与蔚来和小鹏正式开始充电补能网络合作，超过14000根蔚来充电桩和超过9000根小鹏充电桩已经入驻小米充电地图。根据理想汽车在今年2月公布的规划，其充电网络将在2024年底建成700座以上5C超级充电站、1300+座城市超级充电站，并计划在2025年覆盖90%国家级高速主线。

中关村在线 2024-12-26

常熟市永强电气机械有限公司取得自动码料的货架焊接机下料装置专利，提升装置实用性

金融界2024年12月26日消息，国家知识产权局信息显示，常熟市永强电气机械有限公司取得一项名为“一种自动码料的货架焊接机下料装置”的专利，授权公告号CN222199124U，申请日期为2024年6月。

金融界 2024-12-26

IT之家 2024-12-26

西门子iQ300滚筒洗衣机：性价比之选，开启智能洗涤新纪元

西门子洗衣机以其先进的BLDC变频电机技术、智能除渍系统、强效除螨功能以及羊毛洗程序等，为用户提供了高效、便捷、环保的洗涤体验。15分钟快速洗涤模式，在短时间内处理轻度污染的衣物，极大地方便了用户的日常生活。

小米地瓜 2024-12-26

如何安全进入iPhone DFU模式并解决系统问题的完整指南

在使用iPhone的过程中，我们难免会遇到各种问题，比如设备变得无响应、系统更新失败，甚至是无法开机。DFU模式，全称DeviceFirmwareUpgrade（设备固件升级），是一种可以让你在不加载iOS操作系统的情况下，直接与iTunes进行通信的状态。那么，如何进入DFU模式呢？

新报观察 2024-12-26

如何有效扩大手机内存？实用技巧与方法全解析

在现代社会，手机已经成为我们生活中不可或缺的一部分。可随着使用频率的增加，很多人发现手机内存越来越不够用，照片、视频、应用程序等占据了大量的存储空间。

新报观察 2024-12-26

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

英伟达推出 GB200 NVL4 平台：144 核 CPU+4 GPU

旭丰智慧能源申请基于大数据分析的电解水制氢优化方法及系统专利，确保电解过程稳定性避免因气泡堆积导致的性能下降问题

小米官宣与理想汽车达成充电合作 6000+理想充电桩入驻小米充电地图

常熟市永强电气机械有限公司取得自动码料的货架焊接机下料装置专利，提升装置实用性

荣耀明年推多款新机：Magic Ultra要来了？

荣耀Magic7，不仅是性能怪兽，还是年度性价比之王！

任天堂 Switch 2 游戏掌机真容曝光

西门子iQ300滚筒洗衣机：性价比之选，开启智能洗涤新纪元

如何安全进入iPhone DFU模式并解决系统问题的完整指南

如何有效扩大手机内存？实用技巧与方法全解析

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响