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

近期资讯

服务有钱的客户

在数字化浪潮中，SaaS（软件即服务）模式以其灵活性和可扩展性成为企业软件服务的新宠。然而，中国的SaaS企业在盈利之路上似乎面临着重重挑战。文章在其个人公众号“SaaS白夜行”中，深入探讨了中国软件企业盈利难的根源，并提出了服务高盈利客户的重要性。

吴昊@SaaS 2024-12-25

营销回归人本位：Babycare最懂年轻父母的母婴品牌

连续6年霸榜天猫618母婴行业销量第一，全渠道用户数超5000万，Babycare的营销方式，都有哪些特别的？这篇文章，我们看看作者是如何分析的。

加薪在这 2024-12-25

德州奥恒工贸取得电气配电箱高速数控冲孔机专利，实现配电箱表面高速打孔处理

金融界2024年12月25日消息，国家知识产权局信息显示，德州奥恒工贸有限公司取得一项名为“电气配电箱高速数控冲孔机”的专利，授权公告号CN222198562U，申请日期为2023年10月。

金融界 2024-12-25

宁波恒浩广取得一种储能柜铜排的冲压件模具专利，防止冲压件在冲压过程中发生偏移

金融界2024年12月25日消息，国家知识产权局信息显示，宁波恒浩广新型电子材料有限公司取得一项名为“一种储能柜铜排的冲压件模具”的专利，授权公告号CN222198558U，申请日期为2024年5月。

金融界 2024-12-25

厦门华碳科技申请固液进料制备单壁碳纳米管专利，提升单壁碳纳米管的催化剂转化率

金融界2024年12月25日消息，国家知识产权局信息显示，厦门华碳科技有限公司申请一项名为“一种固液进料制备单壁碳纳米管的方法及其装置”的专利，公开号CN119176548A，申请日期为2024年9月。

金融界 2024-12-25

浙江烯界热管理技术申请石墨烯热界面材料及其制备方法专利，实现高压缩回弹率和低界面热阻

金融界2024年12月25日消息，国家知识产权局信息显示，浙江烯界热管理技术有限公司申请一项名为“一种具有多级孔结构的石墨烯热界面材料及其制备方法”的专利，公开号CN119176550A，申请日期为2024年11月。

金融界 2024-12-25

互联网大厂技术主管在管什么

“大厂技术主管职责揭秘，团队管理有章可循。” 在互联网大厂中，技术主管肩负着怎样的重任？其管理的关键要点又是什么？

隐墨星辰 2024-12-25

天奈科技申请一种高堆积密度单壁碳纳米管粉体及制备方法专利，提高了干燥状态下的碳纳米管的堆积密度和收率

金融界2024年12月25日消息，国家知识产权局信息显示，江苏天奈科技股份有限公司申请一项名为“一种高堆积密度单壁碳纳米管粉体及制备方法”的专利，公开号CN119176547A，申请日期为2023年6月。专利摘要显示，本申请涉及单壁碳纳米管技术领域，具体公开了一种高堆积密度单壁碳纳米管粉体及制备方法。

金融界 2024-12-25

青田永禾阀门制造取得一种阀门铸件冲孔装置专利，提高冲孔精度

金融界2024年12月25日消息，国家知识产权局信息显示，青田永禾阀门制造有限公司取得一项名为“一种阀门铸件冲孔装置”的专利，授权公告号CN222198560U，申请日期为2024年5月。

金融界 2024-12-25

成都科华锦城取得圆锥滚子轴承加工用冲孔装置专利，提高效率

金融界2024年12月25日消息，国家知识产权局信息显示，成都科华锦城精密机械制造有限公司取得一项名为“一种圆锥滚子轴承加工用冲孔装置”的专利，授权公告号CN222198561U，申请日期为2024年6月。

金融界 2024-12-25

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

服务有钱的客户

营销回归人本位：Babycare最懂年轻父母的母婴品牌

德州奥恒工贸取得电气配电箱高速数控冲孔机专利，实现配电箱表面高速打孔处理

宁波恒浩广取得一种储能柜铜排的冲压件模具专利，防止冲压件在冲压过程中发生偏移

厦门华碳科技申请固液进料制备单壁碳纳米管专利，提升单壁碳纳米管的催化剂转化率

浙江烯界热管理技术申请石墨烯热界面材料及其制备方法专利，实现高压缩回弹率和低界面热阻

互联网大厂技术主管在管什么

天奈科技申请一种高堆积密度单壁碳纳米管粉体及制备方法专利，提高了干燥状态下的碳纳米管的堆积密度和收率

青田永禾阀门制造取得一种阀门铸件冲孔装置专利，提高冲孔精度

成都科华锦城取得圆锥滚子轴承加工用冲孔装置专利，提高效率

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响