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

近期资讯

这所幼儿园元旦活动，年味十足！

12月25，铜仁市第十二幼儿园开展了“金蛇迎春.童心贺岁”庆元旦活动，共同迎接新一年的到来。活动当天，孩子们穿着整齐漂亮的衣服，带着灿烂的笑容，早早地来到幼儿园。“今天，我吃到了自己亲手搓的汤圆，很开心，也祝大家元旦节快乐。”据了解，铜仁市第十二幼儿园是今年9月新成立的一所公办幼儿园，计划招生240人，开设8个班级，本学期开设了两个班级。

金台资讯 2024-12-27

国内首套张家港制造打破国外垄断

近日，由张家港江锅智能装备公司生产的国内首套纯国产材料急冷器发运，这标致着目前乙烯装置最后一块高合金材料装备成功实现国产化。作为急冷器行业的专业制造商，江锅股份研发团队坚持开拓创新，前后历经数百次试验数据比对，最终克服了新材料运用、焊接技术、无损检测等“卡脖子”难题，设备焊缝拍片一次合格率达到100%。

央广网 2024-12-27

蓝天公模+顶级配置人类科技发布巨型游戏本

中关村在线 2024-12-27

11月国内卖得最好的20款智能手机：华为四款旗舰在列

【CNMO科技消息】年底的手机圈竞争相当激烈，毕竟一款机型的销量好坏，很可能会影响手机厂商四季度甚至整个年度的市场排名。

手机中国 2024-12-27

海尔482升小红花套系冰箱：补贴1000元，高端家电的性价比之选

#年货节好物集市#海尔冰箱在高端市场中以其创新技术、卓越性能和时尚设计而闻名。特别是在小红花套系中，海尔冰箱BCD-482WGHFDB9SYU1凭借其专业超薄零嵌入式设计、法式多门结构以及一级能效标准，成为现代家庭的理想选择。海尔冰箱不仅在保鲜技术上领先，还在智能控制和节能环保方面展现出色的表现。

小米地瓜 2024-12-27

消息称高通已要求三星电子开发 2nm 制程骁龙 8 Elite 3 原型 AP

12月27日消息，韩媒TheBell当地时间昨日表示，虽然三星电子连续数代未能向高通供应“骁龙8”级别旗舰移动AP（IT之家注：应用处理器），但高通还是已经要求三星电子开发2nm制程的骁龙8Elite3（SM8950，预计2026年末发布）处理器原型。

砍柴网 2024-12-27

学习提效、职场赋能，华为智慧 PC 助力大家从容应对新挑战

年末的悄然而至，在职场打拼的大家，或许正面临着年终复盘与规划这一紧迫而重要的任务。在这个关键节点上，一款真正的智慧PC将是你提升职场效率不可或缺的利器。这种“智慧”并非空洞概念，而是体现在多设备协同、智慧交互、生态融合以及操作流畅等多个方面，为用户带来前所未有的丰富使用场景和高效体验。

IT之家 2024-12-27

性能起飞！AMD锐龙9 9950X3D细节曝光：5.65GHz、128MB L3缓存

快科技12月27日消息，AMD即将发布的最新旗舰处理器锐龙99950X3D的CPU-Z截图曝光，我们也得以一见这款处理器的参数。截图显示，这款处理器拥有16核32线程，CPU的版本号为GNR-B0，其中GNR代表GraniteRidge。

驱动之家 2024-12-27

四川辰龙创佳取得拼接式盲道专利，便于将盲道表面积水排走

金融界2024年12月27日消息，国家知识产权局信息显示，四川辰龙创佳建设工程有限公司取得一项名为“一种拼接式盲道”的专利，授权公告号CN222205917U，申请日期为2024年5月。

金融界 2024-12-27

卢伟冰：有信心完成13万台汽车年交付目标

钛媒体App12月27日消息，在今日的2024小米“人车家全生态”合作伙伴大会上，小米集团合伙人、总裁卢伟冰透露，小米汽车方面，发布230天完成了10万台的交付，全年的冲刺目标是13万台，离年底的目标还有4天的时间，小米非常有信心确保13万台交付目标的达成。

钛媒体快报 2024-12-27

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

这所幼儿园元旦活动，年味十足！

国内首套张家港制造打破国外垄断

蓝天公模+顶级配置人类科技发布巨型游戏本

11月国内卖得最好的20款智能手机：华为四款旗舰在列

海尔482升小红花套系冰箱：补贴1000元，高端家电的性价比之选

消息称高通已要求三星电子开发 2nm 制程骁龙 8 Elite 3 原型 AP

学习提效、职场赋能，华为智慧 PC 助力大家从容应对新挑战

性能起飞！AMD锐龙9 9950X3D细节曝光：5.65GHz、128MB L3缓存

四川辰龙创佳取得拼接式盲道专利，便于将盲道表面积水排走

卢伟冰：有信心完成13万台汽车年交付目标

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响