陶哲轩上手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

AI还有这些能力，不可思议

文章阐述AI从效率工具转变为智慧伙伴，其独特能力有上下文理解、智能体协同及高级执行能力，能存储数据、打破壁垒、主动思考判断，引领技术革命。它不仅能够详细记录你在该医生处的历次就诊信息，还能了解你在不同医院的病…

人人都是产品经理 2024-11-12

近期资讯

磁力在日常生活中的多种实用应用与便利性探索

磁力的使用其实是一个很有趣的话题，很多人听到“磁力”可能会想到一些高科技的东西，但实际上，磁力与我们的生活息息相关。

新报观察 2024-12-28

古井贡酒获得实用新型专利授权：“一种方形玻璃瓶罐抓瓶机构”

证券之星消息，根据天眼查APP数据显示古井贡酒（000596）新获得一项实用新型专利授权，专利名为“一种方形玻璃瓶罐抓瓶机构”，专利申请号为CN202421165189.5，授权日为2024年12月27日。

证券之星 2024-12-28

格力电器获得发明专利授权：“控制方法、装置、电子设备、磁悬浮压缩机及存储介质”

证券之星消息，根据天眼查APP数据显示格力电器（000651）新获得一项发明专利授权，专利名为“控制方法、装置、电子设备、磁悬浮压缩机及存储介质”，专利申请号为CN202310025376.7，授权日为2024年12月27日。

证券之星 2024-12-28

温度的科学与生活：如何理解、运用及珍惜变化带来的感动

无论是在天气预报中，还是在家里烹饪时，温度都扮演着重要的角色。说到温度，很多人可能会想到温度计。水银温度计里装的是水银，水银是一种金属，在温度变化时会膨胀或者收缩，指针指向的刻度就表示了当前的温度。温度的变化不仅仅影响着我们个人的感受，它更是自然界中的一种重要现象。

新报观察 2024-12-28

盟固利获得发明专利授权：“一种固态锂离子电池用复合隔膜及其制备方法和固态锂离子电池”

证券之星消息，根据天眼查APP数据显示盟固利（301487）新获得一项发明专利授权，专利名为“一种固态锂离子电池用复合隔膜及其制备方法和固态锂离子电池”，专利申请号为CN202411162721.2，授权日为2024年12月27日。

证券之星 2024-12-28

充分利用微信：提升生活质量的多功能指南与社交技巧分享

无论是与朋友聊天，还是分享生活点滴，亦或是获取各种信息，微信都为我们提供了一个便利的平台。但是，你有没有想过，怎么才能充分利用好这个工具呢？

新报观察 2024-12-28

星湖科技获得发明专利授权：“一种L-组氨酸提纯及结晶的方法”

证券之星消息，根据天眼查APP数据显示星湖科技（600866）新获得一项发明专利授权，专利名为“一种L-组氨酸提纯及结晶的方法”，专利申请号为CN202211482752.7，授权日为2024年12月27日。专利摘要：本发明属于生物工程发酵技术领域，具体为一种L‑组氨酸提纯及结晶的方法。

证券之星 2024-12-28

天汽模获得发明专利授权：“一种模具上、下模气路连通装置”

证券之星消息，根据天眼查APP数据显示天汽模（002510）新获得一项发明专利授权，专利名为“一种模具上、下模气路连通装置”，专利申请号为CN202011607492.2，授权日为2024年12月27日。

证券之星 2024-12-28

轻松掌握Photoshop笔刷安装与使用技巧，提升设计效果！

很多刚接触Photoshop的朋友可能会觉得这方面比较复杂，其实安装笔刷并没有那么难，只要掌握几个步骤，你就能轻松搞定。有些朋友可能会问，那如果我下载的笔刷是一个压缩包呢？

新报观察 2024-12-28

电脑联网详解：有线与无线连接方式及常见问题处理指南

那么，电脑究竟是怎么联网的呢？无论选择哪种方式，都需要确保你的网络设备正常工作。首先，检查一下你的网络设备是否正常工作，比如路由器是否开机，指示灯是否正常闪烁。

新报观察 2024-12-28

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

AI还有这些能力，不可思议

近期资讯

磁力在日常生活中的多种实用应用与便利性探索

古井贡酒获得实用新型专利授权：“一种方形玻璃瓶罐抓瓶机构”

格力电器获得发明专利授权：“控制方法、装置、电子设备、磁悬浮压缩机及存储介质”

温度的科学与生活：如何理解、运用及珍惜变化带来的感动

盟固利获得发明专利授权：“一种固态锂离子电池用复合隔膜及其制备方法和固态锂离子电池”

充分利用微信：提升生活质量的多功能指南与社交技巧分享

星湖科技获得发明专利授权：“一种L-组氨酸提纯及结晶的方法”

天汽模获得发明专利授权：“一种模具上、下模气路连通装置”

轻松掌握Photoshop笔刷安装与使用技巧，提升设计效果！

电脑联网详解：有线与无线连接方式及常见问题处理指南

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响