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

近期资讯

售价3.38万！《黑神话》天命人1/1雕像截单全球限量780体

快科技12月31日消息，Queen Studios与游戏科学联合打造的《黑神话：悟空》天命人1/1半身像正式截单，全球限量780体。据悉，该雕像全款为33800元，定金12000元，预计将于2025年第4季度发货。

2024-12-31

瑞航迫降客机一机组成员送医一周后去世：机舱曾布满浓烟

快科技12月31日消息，据报道，瑞士国际航空公司表示，瑞航一架客机因发动机故障、机舱和驾驶舱内出现烟雾而紧急迫降一周后，这趟航班的一名机组成员去世。航空运营商在声明中宣布，一名年轻同

2024-12-31

抖音电商：2024全年销售154亿单 830个产业带销售额过亿

快科技12月31日消息，据媒体报道，今天，抖音电商发布《直播间里的中国制造——2024抖音电商产业带发展报告》，全面盘点2024年全国产业带地区实体经济和中小商家在该平台的发展情况。

2024-12-31

CPU之王！高通最激进的Soc现身：4.47GHz频率史无前例

快科技12月31日消息，三星Galaxy S25 Ultra国行版现身Geekbench 6跑分网站，型号是SM-S9380，单核成绩是3049，多核成绩是9793，这是三星最强悍的高端旗舰。据悉，该机搭载高通骁龙8 Elite处理

2024-12-31

你今年给小米贡献多少！雷军：我谢谢大家祝我年入百万

快科技12月31日消息，赶在2024年过去的时候，雷军也是感谢了网友。今天雷军发视频称，回顾过去一年实现了很多愿望，也刷到了很多朋友在他视频下的许愿，有说祝他步步高升，明年继续年入百万的

2024-12-31

老外评选2024年优化最差的PC游戏：《黑神话》竟上榜

随着年末，各种盘点榜单也纷至沓来，除了最佳评选自然也有最差评选。近日“DSOGaming”就推出了2024年优化最差的PC游戏的榜单，而《黑神话：悟空》也进入了榜单中。根据“

2024-12-31

男子驾车冲进鱼塘好心钓友用鱼竿把车拉回岸边成功救援

快科技12月31日消息，网友分享的视频显示，12月27日，山东烟台，一辆新能源SUV行驶中不慎冲进鱼塘，结果被一位好心钓友用鱼竿把车拉到了岸边，成功救援。视频中，这辆新能源SUV冲进鱼塘后，离

2024-12-31

极越07高速上被奔驰追尾网友：还有配件吗

快科技12月31日消息，距离极越汽车闪崩已经过去了一段时间，热度渐渐消退，而当前最关心这件事的莫过于车主群体了。屋漏偏逢连夜雨，近日，有极越07车主就遭遇了追尾事故，而这也再次引发网友

2024-12-31

中国汽车强势崛起：日本车企全球产量连续7个月下滑

快科技12月31日消息，根据外媒报道，包括丰田汽车在内的八家日本乘用车制造商公布的11月产销数据显示，这些车企的全球产量为212.2万辆，同比下降11%，连续七个月出现同比下降。除了铃木汽车外

2024-12-31

你赚钱没！中国版英伟达夺今年股王称号四大行均涨超40%

快科技12月31日消息，2024年马上就要结束了，而截止收盘今年A股涨幅最好的票就是中国版英伟达--寒武纪。据悉，寒武纪以387%涨幅夺得今年股王称号，总市值近2800亿，正丹股份（375%）、汇金科技

2024-12-31

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

售价3.38万！《黑神话》天命人1/1雕像截单全球限量780体

瑞航迫降客机一机组成员送医一周后去世：机舱曾布满浓烟

抖音电商：2024全年销售154亿单 830个产业带销售额过亿

CPU之王！高通最激进的Soc现身：4.47GHz频率史无前例

你今年给小米贡献多少！雷军：我谢谢大家祝我年入百万

老外评选2024年优化最差的PC游戏：《黑神话》竟上榜

男子驾车冲进鱼塘好心钓友用鱼竿把车拉回岸边成功救援

极越07高速上被奔驰追尾网友：还有配件吗

中国汽车强势崛起：日本车企全球产量连续7个月下滑

你赚钱没！中国版英伟达夺今年股王称号四大行均涨超40%

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响