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

近期资讯

2024·百姓身边科技事 | 数智科技联通“诗和远方”

浙江美术馆“藏品云”以“典藏大脑”“数字驾驶舱”等构建起跨省的美术藏品数字资源共享平台，助力美术典藏资源智联共享惠民；国家自然博物馆应用人工智能、增强现实技术打造数字人，提供沉浸式导览服务，提升游览趣味性、便利性。

新华社 2024-12-27

宇信科技：公司暂无量子计算储备但积极关注新技术发展和迭代

中国财富通12月27日-宇信科技（300674）在互动平台上表示，公司暂无量子计算储备，但积极关注新技术的发展和迭代。

中国财富网 2024-12-27

AI 正在“吸干”全球电力？更可怕的事还在后面

近年来，人工智能（AI）的崛起引起了广泛的讨论和担忧，很多人担心AI会造成失业率飙升，而有些乐观的朋友则戏称“只要电费贵过馒头，AI就永远不能完全代替人”。虽然这是句玩笑话，但背后则是实实在在的AI能耗问题，越来越多的人担忧高能耗将成为制约AI发展的瓶颈。

科普中国 2024-12-27

上海汉图发布高速激光打印一体机：首个国产主控龙芯2P0500

快科技12月27日消息，上海汉图科技发布了全新的极印全新高速激光打印一体机“XP356DNL”，搭载了国内首个打印机主控芯片——龙芯2P0500。这款打印机支持A4纸型的高速打印，单面打印速度高达35页/分钟，双面自动打印可达32面/分钟。

驱动之家 2024-12-27

2024未来空间高端制造高质量发展论坛在上海临港召开

12月26日，2024未来空间&高端制造高质量发展论坛在上海临港召开，论坛以“新质驱动，链动未来”为主题，旨在通过深入交流，搭建以低空经济为代表的未来空间产业与高端制造产业企业对接交流平台，促进未来空间与高端制造产业高质量发展。

东方网 2024-12-27

三博脑科在首届“海创杯”卫生健康科技创新大赛中斩获多项奖项

12月26日，由北京市海淀区卫生健康委员会主办的首届“海创杯”卫生健康科技创新大赛公布了获奖名单，并为获奖者颁发荣誉证书。据了解，“海创杯”卫生健康科技创新大赛聚焦卫生健康领域难点堵点问题，以“科技引领健康，创新赋能未来”为主题，设置医疗器械与智能制造组、数字医疗与人工智能组和生物医药与诊疗技术组三个赛道。

极目新闻 2024-12-27

美团公布算法改进举措：算法公开常态化、2025年底前逐步取消骑手超时扣款等

12月27日，美团官微发布公告，宣布将推出八项举措以进一步改善算法、保障骑手权益。这些举措包括：推进算法公开常态化、建立开放多元算法沟通机制、继续完善骑手防疲劳机制、改善骑手激励机制、加强骑手配送行为规范与安全引导、加大研发投入完善配送时间规划体系、改善骑手工作体验、主动与生态伙伴建立良好互动合作。

北青网 2024-12-27

华大全球创新中心启动建设

12月27日，华大全球创新中心在京启动建设，预计2025年年中建成投用，将推动前沿科学、医学检测、智能制造、健康管理等多个方向的科研及产业板块集聚。北京华大研究院院长邓子卿说，在需求牵引下有的放矢地开展研发，能助力产学研有效联动，让科技实实在在地推动产业发展。当前，生物科技的发展，特别是基因组科学已离不开大数据的支撑。

北京日报 2024-12-27

自动驾驶小巴驶入广州中心城区

12月26日，记者获悉，文远知行携手广州巴士集团，正式推出广州BRT天河段自动驾驶小巴便民线路运营服务。据介绍，这是广州首条进入中心城区BRT系统的自动驾驶小巴线路，也是全国首条在一线城市中心城区夜间运营的BRT自动驾驶公交线路。

新快报 2024-12-27

阿斯加特内存评测：性能优越与性价比高的理想选择

《阿斯加特内存怎么样》是一篇关于阿斯加特（Asgard）这个品牌内存条的文章。近年来，随着电脑硬件的不断发展，内存条的选择变得越来越多样化，用户在选购时常常感到无从下手。那么，阿斯加特内存到底怎么样呢？而且，在一些大型游戏的运行中，阿斯加特内存条表现得相当流畅，几乎没有卡顿的感觉。

新报观察 2024-12-27

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

推荐体验

相关资讯

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

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

Lightroom AI 噪点消除的不可思议

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

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

近期资讯

2024·百姓身边科技事 | 数智科技联通“诗和远方”

宇信科技：公司暂无量子计算储备但积极关注新技术发展和迭代

AI 正在“吸干”全球电力？更可怕的事还在后面

上海汉图发布高速激光打印一体机：首个国产主控龙芯2P0500

2024未来空间高端制造高质量发展论坛在上海临港召开

三博脑科在首届“海创杯”卫生健康科技创新大赛中斩获多项奖项

美团公布算法改进举措：算法公开常态化、2025年底前逐步取消骑手超时扣款等

华大全球创新中心启动建设

自动驾驶小巴驶入广州中心城区

阿斯加特内存评测：性能优越与性价比高的理想选择

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响