陶哲轩上手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日消息，国家知识产权局信息显示，河北平高电气设备有限公司取得一项名为“一种具有挡雨结构的配电柜”的专利，授权公告号CN222214857U，申请日期为2024年4月。

金融界 2024-12-28

合并多个TS文件的实用方法与注意事项详解

在日常的视频制作和处理过程中，有时我们会遇到需要合并多个TS（TransportStream）文件的情况。

新报观察 2024-12-29

保护隐私的关键：掌握电脑锁定技巧与安全措施

在现代生活中，电脑几乎成为了我们日常生活中不可或缺的一部分。然而，随着我们对电脑依赖程度的增加，电脑安全问题也日益突出。

新报观察 2024-12-29

如何在不同设备上轻松输入省略号的方法与技巧分享

这时，我们可以尝试先输入一个空格，然后再输入三个点，通常这样就能成功输入省略号。虽然这个方法稍显繁琐，但在某些情况下却是个不错的解决方案。

新报观察 2024-12-29

上海德力西取得一种大电流开关柜止逆防弧可抽出式风箱专利，确保避免断路器室出现燃弧故障时高速气流能够将转动板关闭

金融界2024年12月28日消息，国家知识产权局信息显示，上海德力西集团有限公司取得一项名为“一种大电流开关柜止逆防弧可抽出式风箱”的专利，授权公告号CN222214864U，申请日期为2024年4月。

金融界 2024-12-28

福清森达电气取得一种箱变的除尘装置专利，达到除尘方便快捷的效果

金融界2024年12月28日消息，国家知识产权局信息显示，福清森达电气有限公司取得一项名为“一种箱变的除尘装置”的专利，授权公告号CN222214867U，申请日期为2024年5月。

金融界 2024-12-28

如何在信息时代健康“吃”手机中的数据与信息

、图片、视频应有尽有，随便挑选。不过，正因为选择太多，有时候我们也会感到无从下手。面对海量的信息，怎样才能吃得健康呢？首先，选择优质的信息来源就显得尤为重要。我们在生活中总是追求健康的饮食，手机里的信息同样需要“挑食”。尽量选择那些专业、权威的信息来源，比如一些知名的新闻网站、学术机构或者专业的论坛。

新报观察 2024-12-29

如何在Windows 10中有效进行磁盘分区以优化存储空间管理

在使用Windows10的过程中，磁盘分区是一个非常重要的操作。很多用户在安装系统或者使用一段时间后，可能会发现自己的磁盘空间不够用，或者想要更好地管理文件和程序。

新报观察 2024-12-29

扬州耐思电气取得一种装配式可移动配电柜专利，方便配电柜安装装配

金融界2024年12月28日消息，国家知识产权局信息显示，扬州耐思电气有限公司取得一项名为“一种装配式可移动配电柜”的专利，授权公告号CN222214870U，申请日期为2023年12月。

金融界 2024-12-28

神华冀能取得除湿型变压器中性点接地电阻柜专利，降低除湿成本

金融界2024年12月28日消息，国家知识产权局信息显示，保定市神华冀能电气有限责任公司取得一项名为“种除湿型变压器中性点接地电阻柜”的专利，授权公告号CN222214856U，申请日期为2024年4月。

金融界 2024-12-28

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

河北平高取得一种具有挡雨结构的配电柜专利，利于配电柜顶部挡雨

合并多个TS文件的实用方法与注意事项详解

保护隐私的关键：掌握电脑锁定技巧与安全措施

如何在不同设备上轻松输入省略号的方法与技巧分享

上海德力西取得一种大电流开关柜止逆防弧可抽出式风箱专利，确保避免断路器室出现燃弧故障时高速气流能够将转动板关闭

福清森达电气取得一种箱变的除尘装置专利，达到除尘方便快捷的效果

如何在信息时代健康“吃”手机中的数据与信息

如何在Windows 10中有效进行磁盘分区以优化存储空间管理

扬州耐思电气取得一种装配式可移动配电柜专利，方便配电柜安装装配

神华冀能取得除湿型变压器中性点接地电阻柜专利，降低除湿成本

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响