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

近期资讯

“和合共生”彰显中华民族文化自信

在经济全球化深入发展的今天，文明的交融、思想的碰撞为人类社会发展提供动力。在全球文明交响乐中，拥有五千多年悠久历史的中华文明不可或缺。中国高扬中华民族的文化主体性，不仅是对传统的守护，也是为人类未来贡献智慧。中华文明犹如一条生生不息的大河，滋养了中华民族的精神世界，为世界文明注入独特的东方智慧。

北青网 2024-12-28

雷军：小米SU7交付量超过13万台，我们还将扩充产能，保障交付

雷军在微博上表示，今天是12月28日，去年的今天，小米汽车正式跟大家见面。

华尔街见闻 2024-12-28

Xbox或正计划更换未来手柄的电机提升触觉反馈

根据Tech4Gamers发现，微软最近提交的一项专利表明，公司可能会为Xbox手柄提供新的触觉反馈电机。微软目前正在开发代号为“Sebile”的手柄，这可能将是新手柄的部分功能，并且也是对索尼的DualSense手柄的回应。

3DM游戏 2024-12-28

超级奢华！RTX 5090公版16+6+7相供电和14层PCB

现在RTX5090显卡的PCB电路板、GPU核心先后曝光，现在又得到了更多细节，尤其是供电、功耗等。RTX5090公版将会配备16+6+7相供电电路，一共多达29相，PCB电路板也将有多达14层。

中关村在线 2024-12-28

安诊儿 2.0：服务升级，已服务 1700 余万人次

【12月28日，浙江省卫生健康委与支付宝联合打造的数字健康人升级为“安诊儿2.0”】“安诊儿2.0”基于蚂蚁百灵医疗大模型，拥有千亿级医疗文本语料，提供多种AI服务，并集成20余项医疗健康服务，用户可通过多渠道体验。自2023年11月上线以来，安诊儿已累计服务1700余万人次，平均节省就医时间约20分钟，还被评为2024年度新举措。

和讯网 2024-12-28

小米SU7交付超13万辆

12月28日，小米汽车宣布，截至目前，小米SU7交付超过13万辆。小米汽车方面表示，今年小米汽车顺利完成所有全年目标，也收获超预期的成绩和口碑。据统计，今年小米汽车门面已开业200家，覆盖全国58座城市。同时，目前研发投入超130亿元，专利授权超千项。此外，目前小米汽车累计智驾里程已突破1亿公里，端到端全场景智能驾驶即将开启先锋测试。

北京商报 2024-12-28

大屏幕、大智慧，华为MatePad Pro 13.2英寸柔光版让你“没得怕的”!

12月26日，华为官方发布创意视频“没得怕的”，引发万千网友情感共鸣。随着故事的推进，那些看似不可逾越的障碍，在坚持与努力下，竟然变得不再那么可怕。目前，华为平板全球累计出货量已超1亿台，2024年第三季度更以36.7%的份额稳居中国平板市场第一。

红星新闻 2024-12-28

新一代性能猛兽登场英特尔酷睿 Ultra 7 255HX 现身 Geekbench

【CNMO科技新闻】近日，CNMO注意到Geekbench数据库中出现了两款高端游戏本CPU型号的测试结果，包括搭载酷睿Ultra7255HX的测试工程机在AI跑分测试中的表现。

手机中国 2024-12-28

嫦娥五号月球样品向公众开放！看了这个展四舍五入也算去了趟月球

2020年12月，嫦娥五号成功从月球带回月壤样品，月球样品科研工作随之展开。今天（12月28日）下午，“问月——中国探月工程嫦娥五号月球样品展”将在北京天文馆B馆一层展厅拉开帷幕。

环球时报 2024-12-28

2024世界智能制造大会人本智造专题活动顺利举行

会议上，国内外89所高校、科研院所的代表，以智慧叠加，用理念互融，掀起了一场以人为本的智能制造技术和模式创新头脑风暴。他们的报告，如同一把把钥匙，打开了人本智造领域的一扇扇大门，让与会者们领略到了智能制造与人本理念的无限魅力。

央广网 2024-12-28

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

“和合共生”彰显中华民族文化自信

雷军：小米SU7交付量超过13万台，我们还将扩充产能，保障交付

Xbox或正计划更换未来手柄的电机提升触觉反馈

超级奢华！RTX 5090公版16+6+7相供电和14层PCB

安诊儿 2.0：服务升级，已服务 1700 余万人次

小米SU7交付超13万辆

大屏幕、大智慧，华为MatePad Pro 13.2英寸柔光版让你“没得怕的”!

新一代性能猛兽登场英特尔酷睿 Ultra 7 255HX 现身 Geekbench

嫦娥五号月球样品向公众开放！看了这个展四舍五入也算去了趟月球

2024世界智能制造大会人本智造专题活动顺利举行

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响