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

近期资讯

消息称某厂骁龙 8 至尊版小折叠明年上半年“可以看到”

IT之家12月26日消息，博主@数码闲聊站今日爆料称，明年上半年可以看到骁龙8Elite（骁龙8至尊版）小折叠，大迭代直接提档登场。评论区网友推测为小米MIXFlip2。

IT之家 2024-12-26

王腾：K80取消超声波、IP68、2K屏能省几个亿没考虑

快科技12月26日消息，今天下午友商新品发布，王腾发文提到了产品配置取舍的问题。王腾透露，K80定义之初就算过账，如果不用超声波指纹改用短焦指纹，不支持IP68仅支持IP65，可以节省超过2.5亿

建嘉 2024-12-26

日航遭网络攻击致航班一度延误

参考消息网12月26日报道据《日本经济新闻》网站12月26日报道，日本航空公司26日宣布，系统因遭到网络攻击而出现故障。报告飞行计划的系统等受到影响，国内国际航班均出现延误。据日航介绍，连接公司内部与外部的网络设备受到网络攻击，系统从当天上午7点24分起发生故障。

参考消息 2024-12-26

大差价手慢无：真维斯秋冬新款保暖棉服外套65元到手

真维斯秋冬新款保暖棉服外套原价300元，下单可领取235元大额券，实付到手价是65元。购买链接：天猫(券后65元)户外环境复杂多变，出行需要更周全的防护，这款加厚棉服兼备保暖、防风、御寒

小朱 2024-12-26

比亚迪首批电动皮卡已从中国发运：明年1月于澳大利亚交付

快科技12月26日消息，比亚迪电动皮卡SHARK 6将于明年1月在澳大利亚交付，第一批车型已从中国发运。据悉，SHARK 6搭载1.5T发动机与电机组成的插电混合动力系统。这款电动皮卡如今正

王略 2024-12-26

科学考察及文物考古船“探索三号”在广州交付启航

中国青年报客户端广州12月26日电（中青报·中青网记者林洁）今天，深远海多功能科学考察及文物考古船“探索三号”在广州南沙交付启航。该船是我国首艘具有覆盖全球深远海（含极区）探测并具备冰区载人深潜支持能力的综合科考船。

中国青年网 2024-12-26

一图读懂一加Ace 5 Pro：定价最激进的骁龙8至尊版手机

快科技12月26日消息，今天下午，一加Ace 5 Pro正式发布，起售价是3399元，是迄今为止价格最低的骁龙8至尊版手机。该机首发自研的风驰游戏内核，可以做到长时间游戏持久流畅不卡顿、不发烫，并

振亭 2024-12-26

两轮四轮随心切：广汽集团第三代智能人形机器人GoMate发布

快科技12月26日消息，今日下午，广汽集团第三代具身智能人形机器人GoMate发布。据介绍，GoMate是一款全尺寸的轮足人形机器人，全身拥有38个自由度，创新性地采用了可变轮足移动结构，巧妙地融

落木 2024-12-26

2024十大艰难行业出炉：游戏行业位列第八全年裁员人数2万

快科技12月26日消息，近日，有媒体通过测算评选出了年度十大艰难行业。在这份排名表中，民营房地产行业以艰难度难以描述位列第一，焦炭行业以艰难度85.7%排名第二，普通钢铁行业以艰难度82.6%

秋白 2024-12-26

酷凛推出雪界DF系列厚排一体式水冷：配备VRM散热风扇

快科技12月26日消息，酷凛上线了雪界DF一体式CPU水冷。该系列散热器配备冷头VRM散热风扇，提供240和360两种尺寸规格，均可选黑白双色。雪界DF系列水冷散热器搭载了酷凛自研的V7水泵，该水泵以

鹿角 2024-12-26

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

消息称某厂骁龙 8 至尊版小折叠明年上半年“可以看到”

王腾：K80取消超声波、IP68、2K屏能省几个亿没考虑

日航遭网络攻击致航班一度延误

大差价手慢无：真维斯秋冬新款保暖棉服外套65元到手

比亚迪首批电动皮卡已从中国发运：明年1月于澳大利亚交付

科学考察及文物考古船“探索三号”在广州交付启航

一图读懂一加Ace 5 Pro：定价最激进的骁龙8至尊版手机

两轮四轮随心切：广汽集团第三代智能人形机器人GoMate发布

2024十大艰难行业出炉：游戏行业位列第八全年裁员人数2万

酷凛推出雪界DF系列厚排一体式水冷：配备VRM散热风扇

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响