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

近期资讯

日航遭网络攻击致航班一度延误

参考消息网12月26日报道据《日本经济新闻》网站12月26日报道，日本航空公司26日宣布，系统因遭到网络攻击而出现故障。报告飞行计划的系统等受到影响，国内国际航班均出现延误。据日航介绍，连接公司内部与外部的网络设备受到网络攻击，系统从当天上午7点24分起发生故障。

参考消息 2024-12-26

消息称某厂骁龙 8 至尊版小折叠明年上半年“可以看到”

IT之家12月26日消息，博主@数码闲聊站今日爆料称，明年上半年可以看到骁龙8Elite（骁龙8至尊版）小折叠，大迭代直接提档登场。评论区网友推测为小米MIXFlip2。

IT之家 2024-12-26

青岛宝佳取得新型叠盘机对中机构专利，用于对托盘的对中夹抱

金融界2024年12月26日消息，国家知识产权局信息显示，青岛宝佳智能装备股份有限公司取得一项名为“一种新型叠盘机对中机构”的专利，授权公告号CN222203896U，申请日期为2024年4月。

金融界 2024-12-26

深圳罗湖数据产业生态联盟正式成立

12月25日下午，深圳市罗湖区数据产业暨数据要素推介会在罗湖投控大厦成功举行。本次活动以“数聚罗湖智启新章”为主题，推动数据要素价值化应用，为罗湖区数字经济高质量发展赋能增效。云、优合集团、软通智慧科技有限公司、华海智汇(深圳)云计算有限公司、图为技术有限公司、瞳感科技有限公司等首批企业会员组成。

金台资讯 2024-12-26

海尔BCD-618WGHSSEDBL：补贴560元，618升风冷无霜对开门冰箱

海尔BCD-618WGHSSEDBL冰箱以其618升的超大容量和卓越性能，成为市场上的热门选择。在国家补贴政策的支持下，这款冰箱的到手价为2239元，补贴高达560元，性价比极高。-总容积：618L，其中冷藏室容积为395L，冷冻室容积为223L。

小米地瓜 2024-12-26

读创今日荐书 | 数字世界是如何运转的？

上网冲浪的技术基础是什么？为何程序会崩溃，又缘何被病毒攻击？人人都在说的服务器、云计算、区块链是什么意思？《数字世界是如何运转的》一书力图用简单明了的模型和贴近生活的案例讲清楚操作系统、搜索引擎、云、加密货币等常见的数字技术的基本知识。

深圳商报 2024-12-26

石景山区雏鹰小卫士青少年安全基地揭牌

“雏鹰小卫士青少年安全基地”揭牌后，国家级重点实验室、人工智能平台联合高校科技人才同频共振，科技与教育匠心融合成果：智能干预机器人——“吉祥”老师精彩亮相，与“星宝”共同表演《小猪吃的饱饱》《元日》《阳光彩虹小白马》，充分彰显了科技与教育的匠心融合。

北青网 2024-12-26

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

日航遭网络攻击致航班一度延误

消息称某厂骁龙 8 至尊版小折叠明年上半年“可以看到”

青岛宝佳取得新型叠盘机对中机构专利，用于对托盘的对中夹抱

深圳罗湖数据产业生态联盟正式成立

海尔BCD-618WGHSSEDBL：补贴560元，618升风冷无霜对开门冰箱

读创今日荐书 | 数字世界是如何运转的？

石景山区雏鹰小卫士青少年安全基地揭牌

性能凶猛快人一代！一加 Ace 5 系列售价 2299 元起

京东AI实训营地落户佛山鹰创园！从三个维度赋能产业发展

我国一新成果有望让无人机边飞边充电

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响