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

近期资讯

谷歌 Android Auto 车联软件获 13.4 版更新，引入新版播放器界面

IT之家12月29日消息，谷歌现已为旗下AndroidAuto车联软件获推13.4版本更新，主要带来了全新播放器界面，目前用户只要将自己的应用更新到相关版本即可看到变化。具体来说，在13.4版本播放器中谷歌为播放器引入了新字体，同时将音乐专辑封面被移至界面左侧，整体尺寸略有缩小，还将播放进度条位置移至播放器右侧。

IT之家 2024-12-29

华为新款手机曝光！搭载麒麟8000A芯片支持北斗卫星通信

据最新消息，华为将在近期发布一款新手机——畅享70X。这款手机预计售价在1500元至2000元之间，并且有两个亮点值得关注。

中关村在线 2024-12-29

研究：苹果、谷歌、三星等智能手表表带中含高浓度有毒化学物质

IT之家12月29日消息，《环境科学与技术快报》（EnvironmentalScience&TechnologyLetters）杂志本月发表的一项研究表明，许多流行的智能手表表带中含有高浓度的有毒“永久性化学物质”——多氟烷基和全氟烷基物质（PFAS）。

IT之家 2024-12-29

新报观察 2024-12-29

如何高效使用美团，享受生活中的每一便利服务

美团是一款在我们日常生活中非常便利的应用，它不仅能帮我们订餐，还能预定酒店、购买电影票、叫车等等。对于很多人来说，美团已经成为了生活中不可或缺的一部分。今天就来聊聊怎么用美团，帮助你更好地享受这款应用带来的便利。打开美团，首先映入眼帘的就是各种各样的服务选项。你可以看到美食、酒店、旅游、电影、外卖等分类。

新报观察 2024-12-29

索尼 PlayStation 联合 CEO 称主机独占单机作品仍是重点

IT之家12月29日消息，据外媒VGC报道，索尼PlayStation的联合CEOHermanHulst在近期Fami通采访中，暗示索尼公司对于“复活经典IP”和“主机独占单机游戏”持开放态度。

IT之家 2024-12-29

华为启动 2024 奥林帕斯奖全球征集，单项奖金最高 100 万元

IT之家12月29日消息，华为于12月26日宣布，正式面向全球启动2024奥林帕斯奖（OlympusMonsAwards）悬红难题征集，这是华为公司第五年举办该全球赛事。AI应用的普及，引发存储数据量激增且长期留存，冷数据呈现向温数据转变的趋势，研究低成本大容量的介质应用及数据缩减创新技术，构建每bit极致性价比的存储系统。

IT之家 2024-12-29

应对电脑蓝屏问题：重装系统的步骤与注意事项

电脑蓝屏的问题可能让很多人感到无比沮丧，尤其是在你正忙着处理重要事务的时候，突然屏幕就变成了那令人心碎的蓝色背景，白色的字母在上面闪烁，仿佛在嘲笑你的无助。你需要在另一台正常工作的电脑上下载系统镜像，并将其写入U盘。

新报观察 2024-12-29

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

谷歌 Android Auto 车联软件获 13.4 版更新，引入新版播放器界面

华为新款手机曝光！搭载麒麟8000A芯片支持北斗卫星通信

研究：苹果、谷歌、三星等智能手表表带中含高浓度有毒化学物质

三星正积极研发新一代QD-OLED面板亮度有望超3600尼特

高德地图卫星求救功能升级新增三大功能

如何顺利新建一个微信号：详细步骤与注意事项

如何高效使用美团，享受生活中的每一便利服务

索尼 PlayStation 联合 CEO 称主机独占单机作品仍是重点

华为启动 2024 奥林帕斯奖全球征集，单项奖金最高 100 万元

应对电脑蓝屏问题：重装系统的步骤与注意事项

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响