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

近期资讯

宇瞳光学获得外观设计专利授权：“多工位固化机（UV）”

证券之星消息，根据天眼查APP数据显示宇瞳光学（300790）新获得一项外观设计专利授权，专利名为“多工位固化机（UV）”，专利申请号为CN202430077799.9，授权日为2024年12月31日。专利摘要：1.本外观设计产品的名称：多工位固化机（UV）。今年以来宇瞳光学新获得专利授权118个，较去年同期减少了13.87%。

证券之星 2024-12-31

新美星获得实用新型专利授权：“一种底模快换机构”

证券之星消息，根据天眼查APP数据显示新美星（300509）新获得一项实用新型专利授权，专利名为“一种底模快换机构”，专利申请号为CN202420812851.5，授权日为2024年12月31日。

证券之星 2024-12-31

文件压缩技巧：轻松管理和传输大文件的实用指南

在日常生活中，我们经常会遇到需要发送或存储大量文件的情况。无论是工作上的报告、照片、视频，还是个人的学习资料，文件的体积有时候真的让人头疼。尤其是当你需要通过电子邮件发送文件时，附件的大小往往成为一个难题。此时，压缩文件就显得尤为重要。那么，文件到底怎么压缩呢？接下来，我就来和你聊聊这个话题。

新报观察 2024-12-31

佰维存储获得发明专利授权：“DRAM测试方法、装置、可读存储介质及电子设备”

证券之星消息，根据天眼查APP数据显示佰维存储（688525）新获得一项发明专利授权，专利名为“DRAM测试方法、装置、可读存储介质及电子设备”，专利申请号为CN202011136998.X，授权日为2024年12月31日。

证券之星 2024-12-31

南卫股份获得实用新型专利授权：“一种高效真空包装机”

证券之星消息，根据天眼查APP数据显示南卫股份（603880）新获得一项实用新型专利授权，专利名为“一种高效真空包装机”，专利申请号为CN202421145048.7，授权日为2024年12月31日。

证券之星 2024-12-31

机器人制造的复杂过程与未来智能化发展的展望

无论是家里的扫地机器人，还是工厂里的工业机器人，它们都在以不同的方式改变着我们的生活和工作。接下来，就让我带你走进这个神秘的世界，看看机器人是如何“诞生”的。

新报观察 2024-12-31

机械键盘的优势与选择指南：提升工作与游戏体验的理想输入设备

在这个数字化的时代，越来越多的人开始关注自己的输入设备，尤其是那些喜欢打字、玩游戏或者需要长时间使用电脑的人。一般来说，机械键盘的每个按键都能承受5000万次以上的按压，而薄膜键盘可能在几百万次就会出现问题。

新报观察 2024-12-31

简单易懂的打印机添加指南：快速设置与故障排查技巧

在现代生活中，打印机已经成为了我们日常工作和学习中不可或缺的工具。然而，对于很多人来说，添加打印机的过程可能会有些复杂，尤其是当你第一次接触这项技术的时候。

新报观察 2024-12-31

铁建重工获得实用新型专利授权：“传动系统、青贮割台及青贮收获机”

证券之星消息，根据天眼查APP数据显示铁建重工（688425）新获得一项实用新型专利授权，专利名为“传动系统、青贮割台及青贮收获机”，专利申请号为CN202323501961.4，授权日为2024年12月31日。

证券之星 2024-12-31

有效推广微信的策略与方法：结合内容、互动与数据分析提升用户体验

通过提升用户的使用体验，增加用户的粘性，从而达到推广的目的。在推广过程中，数据分析也是不可或缺的一部分。通过对用户行为的分析，可以了解哪些推广方式是有效的，哪些内容受到用户的欢迎。

新报观察 2024-12-31

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

宇瞳光学获得外观设计专利授权：“多工位固化机（UV）”

新美星获得实用新型专利授权：“一种底模快换机构”

文件压缩技巧：轻松管理和传输大文件的实用指南

佰维存储获得发明专利授权：“DRAM测试方法、装置、可读存储介质及电子设备”

南卫股份获得实用新型专利授权：“一种高效真空包装机”

机器人制造的复杂过程与未来智能化发展的展望

机械键盘的优势与选择指南：提升工作与游戏体验的理想输入设备

简单易懂的打印机添加指南：快速设置与故障排查技巧

铁建重工获得实用新型专利授权：“传动系统、青贮割台及青贮收获机”

有效推广微信的策略与方法：结合内容、互动与数据分析提升用户体验

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响