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

近期资讯

影驰 GALAX 海外推名人堂 HOF ALLSYNQ 全景海景房机箱，兼容背插

IT之家12月25日消息，影驰GALAX在海外市场推出了HOF“名人堂”系列全景海景房机箱ALLSYNQ。

IT之家 2024-12-25

苏州元脑智能申请数据中心冷却系统相关专利，优化冷却系统运行

金融界2024年12月25日消息，国家知识产权局信息显示，苏州元脑智能科技有限公司申请一项名为“数据中心的冷却系统冷却系统的控制方法装置和介质”的专利，公开号CN119172993A，申请日期为2024年9月。

金融界 2024-12-25

盐城建佳申请终端间数据传输装置专利，提高数据传输装置性能

金融界2024年12月25日消息，国家知识产权局信息显示，盐城建佳科技有限公司申请一项名为“一种终端间数据传输装置”的专利，公开号CN119172989A，申请日期为2024年9月。

金融界 2024-12-25

山东联通：暖心服务，冬日里的暖阳常伴

济南体育中心营业厅与工会携手搭建的“工会驿站”于上月全新揭幕,驿站积极主动地为环卫工人、外卖小哥等户外劳动者无偿提供饮水、舒适的休息场地、手机充电、应急药箱等一系列贴心周到的服务,全力打造成为他们“累了能歇脚、渴了能喝水、热了能纳凉,冷了能取暖”的温馨港湾。

砍柴网 2024-12-25

平板笔使用指南：选择、操作技巧与维护保养全解析

很多人可能会觉得，平板笔不就是个电子笔吗？这里有个小技巧：如果你想要更细的线条，可以轻轻地用笔尖触碰屏幕；如果想要更粗的线条，就可以加大施力。

新报观察 2024-12-25

影视大全投屏电视的详细步骤与注意事项分享

今天，我们就来聊聊如何将《影视大全》投屏到电视上，让你的观影体验更上一层楼。更新应用：确保《影视大全》是最新版本，旧版本可能会有兼容性问题。

新报观察 2024-12-25

如何轻松卸载微软拼音输入法，提升你的输入体验和效率

微软拼音作为Windows系统自带的输入法，虽然在某些情况下非常方便，但也有不少用户希望卸载它，换用其他输入法。在说具体的卸载步骤之前，先来聊聊为什么有些人会选择卸载微软拼音。

新报观察 2024-12-25

大庆信志合科技取得压裂配液混砂一体自动化装置专利，解决搅拌不均匀和不连续作业问题

金融界2024年12月25日消息，国家知识产权局信息显示，大庆信志合科技有限责任公司取得一项名为“一种压裂配液混砂一体自动化装置”的专利，授权公告号CN222196735U，申请日期为2023年12月。

金融界 2024-12-25

快科技2024年度评奖：显卡篇

2024年的显卡市场没有太大的波澜，万众瞩目的RTX50系列显卡要等到2025年1月，AMD的下一代显卡还会稍晚一些。

驱动之家 2024-12-25

快科技2024年度评奖：CPU处理器篇

2024年的CPU处理器市场，上半年几乎是纹丝不动，下半年则是高潮迭起，Intel、AMD你来我往，龙芯、兆芯、海光等国产代表也是动作频频。今年可以说是Intel半个多世纪历史上最糟糕的时代，多项业务进展不顺，制程工艺屡屡碰壁，产品性能停滞不前，野心勃勃的帕特·基辛格也黯然被迫退休。

驱动之家 2024-12-25

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

影驰 GALAX 海外推名人堂 HOF ALLSYNQ 全景海景房机箱，兼容背插

苏州元脑智能申请数据中心冷却系统相关专利，优化冷却系统运行

盐城建佳申请终端间数据传输装置专利，提高数据传输装置性能

山东联通：暖心服务，冬日里的暖阳常伴

平板笔使用指南：选择、操作技巧与维护保养全解析

影视大全投屏电视的详细步骤与注意事项分享

如何轻松卸载微软拼音输入法，提升你的输入体验和效率

大庆信志合科技取得压裂配液混砂一体自动化装置专利，解决搅拌不均匀和不连续作业问题

快科技2024年度评奖：显卡篇

快科技2024年度评奖：CPU处理器篇

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响