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

近期资讯

协鑫集成发布基于BC技术的GPC2.0高效组件

光伏要突破内卷，科技创新是唯一路径。12月26日，协鑫集成发布了基于BC技术的GPC2.0高效组件，将2382*1134mm组件的功率提高到660W，为分布式市场带来更优场景解决方案。

证券时报 2024-12-26

极目新闻 2024-12-26

上海米光科技申请高光效LED灯模组照明系统专利，显著降低能耗

金融界2024年12月26日消息，国家知识产权局信息显示，上海米光科技有限公司申请一项名为“高光效LED灯模组照明系统”的专利，公开号CN119183226A，申请日期为2024年9月。

金融界 2024-12-26

科创引领·新质大庆|大庆市举行2024科技+产业对接大会

央广网大庆12月26日消息（记者陈显春）12月26日，科创引领·新质大庆—2024科技+产业对接大会在大庆市举行。大会聚集了国内、省内部分高校院所专家学者、科技创新企业代表，通过常态化搭建科学家与企业家对接平台，推动更多科技成果走出实验室、走上生产线、走向国内外市场，共享时代新机遇，共赢合作新未来。

央广网 2024-12-26

纳秒级写入、超万亿次擦写！中国公司实现SOT-MRAM存储关键突破

快科技12月26日消息，据媒体报道，在国际微电子领域顶级学术会议IEDM第70届年度会议上，来自中国的浙江驰拓科技发布了一项突破性的SOT-MRAM（自旋轨道矩磁性随机存取存储器）技术进展，解决了该技术在大规模生产中面临的主要挑战。

驱动之家 2024-12-26

AI硬件方向爆发！阶段主线会是它吗？——道达投资手记

每日经济新闻 2024-12-26

提升MATLAB代码阅读能力的实用建议与技巧总结

可是，对于很多初学者来说，MATLAB的学习曲线可能会有些陡峭，特别是在阅读和理解MATLAB代码时，往往会感到困惑。在学习的过程中，不妨多去看看论坛、博客和视频教程，获取其他人的见解和经验。

新报观察 2024-12-26

家居新宠，海尔BCD-465WGHTDE9S9：465升十字冰箱，国补550元

海尔BCD-465WGHTDE9S9冰箱不仅在外观设计上时尚大气，更在技术应用上展现出色的表现。其超薄嵌入式设计节省空间，流畅的线条与现代色彩搭配，使其成为家居中的一道亮丽风景线。此外，海尔冰箱在性能上同样表现出色，采用风冷无霜技术，彻底解决了传统冰箱易结霜的问题，冷风循环吹拂，降温迅速且温度均匀，有效延长食材的保鲜期。

小米地瓜 2024-12-26

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

协鑫集成发布基于BC技术的GPC2.0高效组件

惠州市低空经济产业联盟揭牌！千人齐聚惠州电子信息产业峰会

高校大模型产业发展与技术交流活动在成都高新区举行

三思照明LED光饼杀菌灯：包袋中的“消毒秘密”

上海米光科技申请高光效LED灯模组照明系统专利，显著降低能耗

科创引领·新质大庆|大庆市举行2024科技+产业对接大会

纳秒级写入、超万亿次擦写！中国公司实现SOT-MRAM存储关键突破

AI硬件方向爆发！阶段主线会是它吗？——道达投资手记

提升MATLAB代码阅读能力的实用建议与技巧总结

家居新宠，海尔BCD-465WGHTDE9S9：465升十字冰箱，国补550元

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响