陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

作者：机器之心发布时间：2023-10-23

尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质...【查看原文】

相关资讯

陶哲轩疯狂安利Copilot：它帮我完成了一页纸证明，甚至能猜出我后面的过程

继给GPT-4“代言”之后，Copilot也被陶哲轩疯狂安利。他直言，在编程时，Copilot能直接预测出他下一步要做什么。有了Copilot之后，研究做起来也更方便了，陶哲轩也用它辅助自己完成了最新的研究成果。陶哲轩说，这次的论文中，有关这一部分的内容其实只有一页。

Copilot GPT-4 编程

量子位 2023-10-22

陶哲轩：我用GPT-4辅助证明不等式定理，论文还会上传arXiv

近几个月来，著名数学家陶哲轩热衷于用ChatGPT、GPT-4等AI工具辅助解决数学问题。不禁好奇，是什么样的数学定理呢？根据陶哲轩的介绍，他最近在包含有限多个实变量的不等式理论中有一个完成的示例结果，并很快会发表在arXiv上。陶哲轩发现，自然数游戏似乎拥有比文档实际披露的更多的lean库。

GPT-4 ChatGPT

机器之心Pro 2023-10-10

Lightroom AI 噪点消除的不可思议

Lightroom 使用 AI 消除噪点应该是几个小版本前的事情了，因为每次运算需要较长的时间，很少使用。今天在 Lightroom 订阅到期切换到一个汇率更优的国家后顺便试了下，超乎想象。先看下前后对比图降噪后/降噪前早些年的认知一直是降噪一定会牺牲细节，怀着“等这么久，我看你能搞出什么厉害的降噪”的想法，对比了前后的图。直到我看到这里肉眼无法辨别的内容细节‍无中生有！不可思议的是，字体、颜色都是对的！问了下 ChatGPT 他这样说的：Adobe 使用 AI 技术消除照片噪点的原理可以简要概括为以下几

ChatGPT

1KYoung 2023-06-10

AI绘画之不可思议的幻想交织

首先，让我们聚焦于这幅作品，它将火焰与冰淇淋融合在一起，创造出了一幅令人叹为观止的冷热交融之作。火焰在冰淇淋的冷艳中闪烁，冰淇淋在火焰的温暖中融化，创造出一种前所未有的视觉冲击。在这个场景中，一艘未来的太空飞…

AI绘画

星创AI 2023-09-26

陶哲轩：ChatGPT已加入我的数学工作流

ChatGPT，已经成为天才数学家陶哲轩的研究助手了！最近这些日子，陶哲轩对AI可是青眼有加，甚至在网上只谈论一个话题：AI，特别是大语言模型在数学研究中的应用。

ChatGPT

量子位 2023-03-11

近期资讯

苹果推送多项操作系统更新解决潜在安全漏洞提升防护

【CNMO科技消息】11月20日，苹果公司正式推送了iOS18.1.1、iPadOS18.1.1、visionOS2.1.1以及macOSSequoia15.1.1操作系统更新。这些更新均是对今年9月所发布的对应系统版本的小幅迭代与优化。

手机中国 2024-11-20

何同学被指盗用开源项目本人致歉称文案不够严谨

DoNews11月20日消息，拥有超1200万粉丝的B站知名UP主“老师好我叫何同学”，近日发布的新视频《我用36万行备忘录做了个动画…》。在介绍核心功能（字符画转制程序）时，何同学在视频中声称“我们专门写了一个软件”，引发了大量网友的质疑。

DoNews 2024-11-20

美国政府委员会推动人工智能曼哈顿计划

鞭牛士报道，11月20日消息，据路透社报道，在美国与中国在先进技术领域的竞争日益激烈的背景下，美国国会委员会周二提出了一项类似曼哈顿计划的倡议，以资助开发与人类一样聪明甚至比人类更聪明的人工智能系统。

鞭牛士 2024-11-20

光大证券：11月新品持续发布 AI智能眼镜销量有望持续突破

光大证券研报称，目前AI智能眼镜发展仍处于探索期，多家公司布局探索AI智能眼镜方案，包括传统手机厂商、互联网大厂、以及初创公司等，2024年下半年AI智能眼镜新品持续亮相发布，推动AI智能眼镜的发展趋向成熟，无显示AI持续增长。

金融界 2024-11-20

时代的眼泪！苹果要彻底封杀3.5mm接口：相关转接设备已停售

快科技11月20日消息，苹果已经开始全面放弃3.5mm接口了，所以还有人在坚持有线耳机等设备吗？有记者走访一家上海Apple零售店工作人员，对方表示，目前上海门店暂时都已售完，她还表示，“闪电的这个接口算是比较早期了，基本上后期可能不会再做了。”

快科技 2024-11-20

寻找灵感、创造好运：一位黑人父亲独立开发者的故事

目前，indienova已取得GDCYoutube频道的视频转文稿译制授权，未来将持续进行GDC历年精华演讲的编译整理工作，以图文形式分享。应版权方要求，我们将在每篇文章的文首嵌入原Youtube视频。我是亚当·卡里姆，《机器原型德尔塔》（ProtodroidDelta）的创意总监兼首席开发，我稍后会详细介绍这款游戏。

indienova 2024-11-20

华强北顶配Pro2蓝牙耳机：29元的旗舰级体验，真无线长续航

首先，这款耳机采用了最新的蓝牙5.2技术，确保了稳定且低延迟的连接体验，无论是听音乐、看电影还是玩游戏，都能提供流畅无阻的体验。

小米地瓜 2024-11-20

筑未来产业之基走科技自强之路

站在新起点上，集成电路产业链如何跨越技术、供需、周期的重峦，实现“芯”技术、“芯”模式、“芯”路径的突破，笔者认为宜从三方面发力。其一，借新一代信息技术之风，以创新驱动未来?。

中国经济网 2024-11-20

水电站里的“智慧大脑”是啥样？一起探访

工业和信息化部副部长张云明：“5G+工业互联网”项目超过1.5万个，实现41个工业大类全覆盖。张云明指出，5G商用五年来，5G模组价格比2019年商用时下降90%，为工业互联网落地提供了关键使能技术。

封面新闻 2024-11-20

196项成果获北京市科学技术奖

基础研究获奖成果数量明显提升，获奖者中45岁以下青年占比超60%，企业创新主体地位不断增强……昨天（11月19日），北京市科技大会暨科学技术奖励大会召开，19位科学家、196项成果折桂，展现一份亮眼的北京科技创新成绩单。

央广网 2024-11-20

陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

推荐体验

相关资讯

陶哲轩疯狂安利Copilot：它帮我完成了一页纸证明，甚至能猜出我后面的过程

陶哲轩：我用GPT-4辅助证明不等式定理，论文还会上传arXiv

Lightroom AI 噪点消除的不可思议

AI绘画之不可思议的幻想交织

陶哲轩：ChatGPT已加入我的数学工作流

近期资讯

苹果推送多项操作系统更新解决潜在安全漏洞提升防护

何同学被指盗用开源项目本人致歉称文案不够严谨

美国政府委员会推动人工智能曼哈顿计划

光大证券：11月新品持续发布 AI智能眼镜销量有望持续突破

时代的眼泪！苹果要彻底封杀3.5mm接口：相关转接设备已停售

寻找灵感、创造好运：一位黑人父亲独立开发者的故事

华强北顶配Pro2蓝牙耳机：29元的旗舰级体验，真无线长续航

筑未来产业之基走科技自强之路

水电站里的“智慧大脑”是啥样？一起探访

196项成果获北京市科学技术奖

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响