很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去

作者：新智元发布时间：2024-12-09

相关资讯

陶哲轩：计算机辅助数学证明的历史

导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能

机器学习生成式AI

返朴科普 2023-08-31

陶哲轩：ChatGPT已加入我的数学工作流

ChatGPT，已经成为天才数学家陶哲轩的研究助手了！最近这些日子，陶哲轩对AI可是青眼有加，甚至在网上只谈论一个话题：AI，特别是大语言模型在数学研究中的应用。

ChatGPT

量子位 2023-03-11

陶哲轩疯狂安利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

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话陶哲轩是一个数学界的传奇，他曾经获得过多项国际数学大奖，被誉为“21世纪最伟大的数学家之一”。但是，你可能不知道的是，陶哲轩还是一个人工智能的爱好者和实

GPT-4 人工智能

AI小智 2023-06-26

近期资讯

国外军事博主开始给中国六代机找毛病

黑科技老黄 2024-12-31

AI赋能，业财融合的深度创新与管理升级

36氪 2024-12-31

长沙岱勒新材料科技取得带有电磁装置的电镀金刚石线上砂系统专利，提升上砂效果

金融界2024年12月31日消息，国家知识产权局信息显示，长沙岱勒新材料科技股份有限公司取得一项名为“带有电磁装置的电镀金刚石线上砂系统”的专利，授权公告号CN222226618U，申请日期为2024年5月。

金融界 2024-12-31

上海“网事”的四个时代勇敢者先拥有世界速度

IT时报 2024-12-31

启东新智造取得一种电解槽母排连接装置专利，可对不同尺寸母排固定提高实用性

金融界2024年12月31日消息，国家知识产权局信息显示，启东新智造机械设备有限公司取得一项名为“一种电解槽母排连接装置”的专利，授权公告号CN222226598U，申请日期为2024年5月。

金融界 2024-12-31

董事投出弃权票，新华医疗溢价162%收购中帜生物，“死磕”IVD为主业寻增量

钛媒体APP 2024-12-31

巴基斯坦M762自动武器基于AK系列现代化改进型能安装瞄准镜

武器科技 2024-12-31

全国首家全高帧 LED 影院“华夏电影中心”在北京正式落成

IT之家 2024-12-31

致命细胞因子风暴，背后机制公开

陈根谈科技 2024-12-31

076四川舰正式出坞！美国称为“怪物两栖攻击舰”到底有多厉害？

科技老房 2024-12-31

很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去

推荐体验

相关资讯

陶哲轩：计算机辅助数学证明的历史

陶哲轩：ChatGPT已加入我的数学工作流

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

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

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话

近期资讯

国外军事博主开始给中国六代机找毛病

AI赋能，业财融合的深度创新与管理升级

长沙岱勒新材料科技取得带有电磁装置的电镀金刚石线上砂系统专利，提升上砂效果

上海“网事”的四个时代勇敢者先拥有世界速度

启东新智造取得一种电解槽母排连接装置专利，可对不同尺寸母排固定提高实用性

董事投出弃权票，新华医疗溢价162%收购中帜生物，“死磕”IVD为主业寻增量

巴基斯坦M762自动武器基于AK系列现代化改进型能安装瞄准镜

全国首家全高帧 LED 影院“华夏电影中心”在北京正式落成

致命细胞因子风暴，背后机制公开

076四川舰正式出坞！美国称为“怪物两栖攻击舰”到底有多厉害？

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响