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

近期资讯

影游汇流处，探望一片蓝海

伤痕累累的宇航员满脸的疲惫和绝望，然而反差的是，不远处的电子屏幕里正播放着她出发冒险前踌躇满志的话语。这段画面出自游戏《8020号指令》的预告片，好莱坞知名女演员的表演以及具有电影质感的画面，在此前的科隆游戏展上引发大量玩家兴趣。

正观新闻 2024-11-15

快科技 2024-11-15

河北深州打造首家开放式、智能化智享书屋

11月14日，河北省深州市首家开放式、智能化智享书屋在长城小学正式启用。据介绍，该书屋配有图书4000余册，根据学生年级进行分类，涵盖文学、艺术、人文社科、自然科学等领域。书屋配备自动化借阅机，搭配数据分析平台，可实现智慧借阅、实时反馈、科学分析，让学生更加便捷地享受阅读乐趣。

中国新闻网 2024-11-15

时空旅程×南天门计划跨界联合：玩转科幻IP数字化转型新思路

11月13日，在珠海举行的第十五届中国国际航空航天博览会上，中航环球文化传播（北京）有限公司与时空旅程（长春）科技发展有限公司及漫联灵动进行了《时空旅程%26amp;南天门计划》人工智能研学教育基地场馆合作签约仪式。

长春晚报 2024-11-15

OLED显示赛道再添新力量：维信诺宣布推出F1发光材料

【环球网科技报道记者林梦雪】在11月14日举行的“非凡中国屏”维信诺屏幕技术发布会上，维信诺公司宣布推出其全新发光材料体系F1（Foremost），标志着OLED显示技术的又一重大突破。据维信诺产品工程中心总经理申莹介绍，F1材料体系在发光效率、器件寿命、视角色偏和低蓝光改善等方面实现了跨越式突破。

环球网科技 2024-11-15

“16岁中学生获正高职称”，后续来了

该简历声称16岁中学生何某成为“中国科协青少年科技研究工作室正高级负责人”，并成为“中国宇航学会会员、中国生物工程学会会员、中国机械工程学会会员”。14日下午，记者查询发现，“科技工作者之家”网站发布何某简历的网页已经删除。

掌上春城 2024-11-15

电纸书销量暴涨128%！这一次轮到Kindle“肠悔青”了？

去年，亚马逊旗下的阅读器产品Kindle正式宣布退出中国市场，作为墨水屏产品领军品牌之一，它的黯然离场也让不少电纸书爱好者感到唏嘘。不过，研究机构洛图科技近期出具的一份市场报告可能要打了很多人的脸了。洛图科技最新电纸书市场报告透露，2024年前三季度电纸书产品销量同步增长达128%，新品数量远超去年，市场呈井喷趋势发展。

雷科技 2024-11-15

“凡人”生死阿里云

浅友们好~我是史中，我的日常生活是开撩五湖四海的科技大牛，我会尝试用各种姿势，把他们的无边脑洞和温情故事讲给你听。虽然，他们人均家徒四壁——这些代码和数据的价值不大，就像咱们出去旅游拍的照片，小偷偷走也卖不掉嘛。房东租给你房子，你把钥匙插在锁眼上，小偷把东西偷走了，房东有责任吗？

浅黑科技 2024-11-15

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

影游汇流处，探望一片蓝海

速腾聚创机器人灵巧手亮相高交会

与多所国外高校开展项目、课题研究！青岛实景三维技术还将在这两方面发力

马斯克政府效率部全网招人：高智商、0薪酬、每周工作超80小时

河北深州打造首家开放式、智能化智享书屋

时空旅程×南天门计划跨界联合：玩转科幻IP数字化转型新思路

OLED显示赛道再添新力量：维信诺宣布推出F1发光材料

“16岁中学生获正高职称”，后续来了

电纸书销量暴涨128%！这一次轮到Kindle“肠悔青”了？

“凡人”生死阿里云

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响