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

近期资讯

光峰科技：以原创激光光影技术助力文化传承与创新

在当今时代，科技与文化的深度融合正为传统文化的传承与创新注入全新活力。光峰科技巧妙运用自研的ALPD半导体激光光源技术，助力文旅，打造出一个个光影文化项目，让中国故事在新时代绽放光芒，助力传统文化传承迈向新高度。在湖南邵阳的城步苗族自治县，巫水河畔的夜晚因光峰科技参与打造的“巫水河边月正圆”夜游项目而变得如梦如幻。

时代周报 2024-12-30

美国航空航天局：12月29日，太阳爆发了三次强烈的太阳耀斑

美国航空航天局：12月29日，太阳爆发了三次强烈的太阳耀斑，分别在美东时间凌晨2:18、晚上11:14和晚上11:31达到峰值。国家海洋和大气管理局的太阳紫外成像仪捕捉到了这些事件，它们被归类为X1.1、X1.5和X1.1。

金融界 2024-12-30

轻松掌握Mac软件卸载技巧，保持系统整洁流畅的完整指南

在使用Mac的过程中，总会遇到一些软件不再需要，或者觉得它们占用了太多的空间。这个时候，卸载软件就成了一项必要的任务。虽然在Windows系统中，卸载软件的过程相对简单明了，但在Mac上，很多人可能会感到有些困惑。别担心，这里给你详细讲解一下Mac上如何卸载软件，让你轻松搞定这一任务。

新报观察 2024-12-31

从探月工程到航天科技，这所人系学校学子对话中科院院士

学校特别邀请到“人民科学家”国家荣誉称号获得者、中国科学院院士叶培建先生，为同学们带来一场主题为“探月精神造就中国探月工程的辉煌成就”的讲座。

京城教育圈 2024-12-30

iPhone绝配！小米全新磁吸自带线充电宝发布：169元 33W快充

快科技12月30日消息，今日，小米磁吸自带线充电宝1000033W发布，目前已在小米商城上架，将于2025年1月2日首销，首发价169元。该充电宝拥有蓝、灰、白、粉四款配色，自带USB-C充电线，机身配有4颗指示灯，用于展示剩余电量。

驱动之家 2024-12-30

亚辉龙获得实用新型专利授权：“补液缓冲装置及生化分析仪”

证券之星消息，根据天眼查APP数据显示亚辉龙（688575）新获得一项实用新型专利授权，专利名为“补液缓冲装置及生化分析仪”，专利申请号为CN202420360924.1，授权日为2024年12月31日。

证券之星 2024-12-31

晚报 | 12月31日主题前瞻

1、CPO|据经济日报报道，台积电在硅光子战略上取得了重大进展。其与博通合作，使用3nm工艺成功试制了一项关键的CPO技术，即微环调制器（MRM）。分析师指出，台积电对硅光子的愿景围绕着将CPO模块与CoWoS或SoIC等先进封装技术集成。

华尔街见闻 2024-12-30

真我 GT5 Pro 手机已支持 AI 大神辅助 2.0，后续将适配 GT6 机型

目前GT5Pro已经支持AI大神辅助2.0，后续也将会适配GT6，其它机型是否下放目前正在考虑中，后续以官方渠道正式通告为准。

IT之家 2024-12-31

长安汽车：公司工厂均已大量应用AGV搬运系统和机器人

有投资者在投资者互动平台提问：请问目前公司有无AGV搬运系统，自主研发可以投产的机器人设备有哪些？

每日经济新闻 2024-12-30

云承百业，商汤大装置引领AI云创新发展

日前，经工信部指导、由中国电子技术标准化研究院主办的2024云计算产业和标准应用大会在北京举行。商汤科技当选“智算云标准工作组”副组长单位，得益于商汤在AI云领域的积累。

深圳商报 2024-12-30

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

光峰科技：以原创激光光影技术助力文化传承与创新

美国航空航天局：12月29日，太阳爆发了三次强烈的太阳耀斑

轻松掌握Mac软件卸载技巧，保持系统整洁流畅的完整指南

从探月工程到航天科技，这所人系学校学子对话中科院院士

iPhone绝配！小米全新磁吸自带线充电宝发布：169元 33W快充

亚辉龙获得实用新型专利授权：“补液缓冲装置及生化分析仪”

晚报 | 12月31日主题前瞻

真我 GT5 Pro 手机已支持 AI 大神辅助 2.0，后续将适配 GT6 机型

长安汽车：公司工厂均已大量应用AGV搬运系统和机器人

云承百业，商汤大装置引领AI云创新发展

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响