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

近期资讯

网安公司也中招！多家公司Chrome扩展被攻击对用户投毒

快科技12月29日消息，据媒体报道，近日，多家公司的Chrome浏览器扩展功能遭到黑客攻击，导致用户敏感数据面临泄露风险。其中，美国加州的数据安全初创公司Cyberhaven成为受害者之一，该公司已对外证实遭受恶意网络攻击。

快科技 2024-12-29

高德地图新增三大功能！直连北斗卫星无网求救

快科技12月29日消息，今年8月28日，高德地图卫星求救功能上线，在2025年到来前，高德地图宣布卫星求救新增三大功能，分别为北斗卫星短报文求救、位置同显和救援小结。此外，在进入救援聊天室时，对于求救者来说，地图页面上会直观的显示你当前的位置、与救援队的距离以及位置的最后更新时间。

驱动之家 2024-12-29

PS5可能延续PS4生命周期：将在2027年推出

西野指出，与技术的进步和能够实施这些技术的时间表密切相关，该公司希望在现有硬件继续提供娱乐的同时，也能推出新技术，并逐步扩展整个生态系统。他还表示，在考虑何时推出产品以满足市场需求时，会权衡技术、价格和时机等因素。此外，他认为家庭游戏主机仍将是索尼业务的核心，尽管PC等不同类型的平台正在增多。

中关村在线 2024-12-29

AI教父辛顿发声：30年内AI致人类灭亡几率达10%-20%

快科技12月29日消息，2024年诺贝尔物理学奖得主、素有“AI教父”之称的辛顿（GeoffreyHinton）表示，AI有10%-20%可能性在未来30年内导致人类灭亡。他认为，建立AGI（通用人工智能）或比人类更聪明的系统，可能导致该技术躲过人类控制而构成人类生存威胁。

快科技 2024-12-29

第四代自升自航式风电安装船“铁建风电2000”在烟台交付

2024年12月28日，第四代自升自航式风电安装船“铁建风电2000”在中集来福士山东烟台建造基地交付。该船装备了起吊能力达2000吨的全回转起重机，可在水深80米的海域进行20兆瓦以上各型海上风机的安装施工，满足了海上风电行业深远海、大兆瓦的趋势，实现了该领域“国船国造国用”的目标。

金台资讯 2024-12-29

实地探访“数字普陀”，海纳小镇Citywalk展示智慧城市新成果

12月26日至27日，“数字寻踪·普陀印象”海纳小镇城市数字化转型体验Citywalk活动举办。一支由各界人士组成的考察团沿着“海纳新城”与“普陀新篇”两条线路，实地探访了普陀区内多个具有代表性的智慧城市建设优秀案例。

东方网 2024-12-29

提升摄影作品质量的技巧：模糊背景处理方法与注意事项总结

要达到这种效果，有几种方法可以尝试，不管是使用相机还是后期处理软件，都能实现模糊背景的效果。如果你有一支大光圈的镜头，比如f/1.8或f/2.8的镜头，效果会更明显。

新报观察 2024-12-29

工业母机，“甬”闯“无人区”

几日后，《浙江省工业母机产业高质量发展实施方案》发布，我省将进一步提升工业母机产业链竞争力，增强工业基础制造能力，力争到2025年，工业母机产业产值突破1200亿元，成为全国中高端工业母机产业高地。随着高速旋转的刀头稳定推进，一个个锃亮的零件从金属坯料中被制造出来，再逐个被组装成一台崭新的机器。

央广网 2024-12-29

美团：将逐步取消骑手超时扣款

12月27日，据红星资本局消息，美团表示，推进算法公开常态化。美团还表示，将在2025年底前逐步取消骑手超时扣款，推动从负向处罚向正向激励的转变。值得一提的是，此前，12月17日，有网传通知显示，美团骑手过度跑单，将被平台强制下线。通知称，为保障安全，外卖平台对于跑单时长累计过长的骑手将采取强制下线。

光明网 2024-12-29

HMD Ridge 5G 手机曝光：展锐 T760 + 6G + 128G

IT之家12月29日消息，拥有良好爆料记录的消息源HMDMeme（smashx_60）目前曝光了HMDRidge5G手机，该机号称是HMD首款可负担的5G手机，虽然曝光图看起来像是折叠手机，不过实际上该机并非折叠手机，据称定价低于180欧元（IT之家备注：当前约1370元人民币）。

IT之家 2024-12-29

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

推荐体验

相关资讯

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

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

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

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

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

近期资讯

网安公司也中招！多家公司Chrome扩展被攻击对用户投毒

高德地图新增三大功能！直连北斗卫星无网求救

PS5可能延续PS4生命周期：将在2027年推出

AI教父辛顿发声：30年内AI致人类灭亡几率达10%-20%

第四代自升自航式风电安装船“铁建风电2000”在烟台交付

实地探访“数字普陀”，海纳小镇Citywalk展示智慧城市新成果

提升摄影作品质量的技巧：模糊背景处理方法与注意事项总结

工业母机，“甬”闯“无人区”

美团：将逐步取消骑手超时扣款

HMD Ridge 5G 手机曝光：展锐 T760 + 6G + 128G

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响