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

近期资讯

腾讯QQ打击网络水军四季度处置违规内容超4.7万条

快科技12月25日消息，今日，QQ安全中心发文称，通过多维度的专项治理行动，持续加大对各类有害信息的打击力度。在非法暴利的驱动下，网络水军问题屡禁不止，这种行为不仅扭曲了网络舆论的真实性，破坏市场的公正竞争，侵害广大用户的知情权和选择权。

快科技 2024-12-25

全球单机功率最大的纯氢发电机组首次点火成功

钛媒体App12月25日消息，近日，全球首台30MW级纯氢燃气轮机“木星一号”整机试验首次点火成功。此次点火的纯氢燃气轮机是目前全球单机功率最大的纯氢发电机组，纯氢点火试验取得预期效果，验证了纯氢燃气轮机系统可靠性和安全性，标志着我国大功率氢燃气轮机和氢储能技术取得重大进展，新型长时储能有了新技术、新产品。

钛媒体快报 2024-12-25

交通运输部东海航海保障中心召开2024年江苏辖区新闻发布会

截至目前，江苏辖区航标数量共计1305座，相较去年新增81座，全年航标正常率、维护正常率、DGNSS信号可利用率、AIS基站正常率等均高于部颁标准，持续为过往船舶提供高质量导助航服务。

扬子晚报 2024-12-25

微信新功能“蓝包”正进行灰度测试，业内：或利好小程序电商业务

仔细观察不难发现，“送礼物”功能与微信的“发红包”有相似之处。根据公告，除珠宝、教育培训两大类目外，其他类目微信小店、原价不超过1万元的商品，都将默认支持“送礼物”功能。

蓝鲸新闻 2024-12-25

雷军刚刚官宣！与蔚来、小鹏、理想合作

12月25日，小米汽车宣布将携手蔚来、小鹏、理想，正式开始充电补能网络合作。根据上述协议，自11月15日起，阿维塔用户可通过阿维塔APP，在全国范围查找并使用蔚来能源的充电桩，享受智能化的充电服务，充电体验和效率全面升级。

中国品牌 2024-12-25

河南日报 2024-12-25

祥鑫科技等多公司剧透人形机器人业务布局情况

日前，人形机器人备受关注，引各路资本纷纷布局。在此背景下，多家上市公司剧透公司在人形机器人领域的布局情况。祥鑫科技近日接受机构调研时透露，人形机器人是公司未来重要的战略布局方向之一，公司能够根据不同客户的需求，为客户提供从模具到结构件的产品整体解决方案。

证券时报 2024-12-25

消息称苹果正加紧研发AI芯片以减少对第三方的依赖

【CNMO科技消息】12月25日，有报道称，苹果公司正加速开发自家的AI芯片，旨在减少对第三方开发者的依赖，此举或将终结其与英伟达多年来的不甚融洽的合作关系。尽管目前苹果仍在与英伟达携手，为AppleIntelligence的诸多功能提供技术支持，但苹果并未直接采购英伟达的芯片，而是选择从亚马逊和微软的云服务中租赁使用权限。

手机中国 2024-12-25

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

腾讯QQ打击网络水军四季度处置违规内容超4.7万条

全球单机功率最大的纯氢发电机组首次点火成功

交通运输部东海航海保障中心召开2024年江苏辖区新闻发布会

微信新功能“蓝包”正进行灰度测试，业内：或利好小程序电商业务

雷军刚刚官宣！与蔚来、小鹏、理想合作

首席气候官｜专访曼恩能源方案高级副总裁、亚太区负责人沙柏能：人工智能+人类智能是脱碳关键，2050年后海运业燃料格局将迎巨变

赛道Hyper | 这公司竟以高端影像力震撼全场？

“小新”上岗！焦作高新区“AI智能+政务服务”开启新模式

祥鑫科技等多公司剧透人形机器人业务布局情况

消息称苹果正加紧研发AI芯片以减少对第三方的依赖

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响