【陶哲轩：计算机辅助数学证明的历史】“人类与计算机在数学创造领域的贡献比是95%和5%，那么（在ChatGPT为代表的神经网络与大模型走进数学后）过十年或者二十年，这个比例就会变成五五开。”

分享一个链接

发表一篇文章

任何有趣的，图片，热点新闻，视频，文字...

3167 位用户此时在线

24小时点击排行 Top 10：

网友投稿：一位外卖小哥在送餐途中被警察拦下，理由是“今天是西方万圣节，不准任何装扮，万圣节只在国外承认，在中国不被承认”。民警当场登记了他的身份信息，并要求小哥“整改”。不久后，小哥换上东北花袄继续送外卖，又在路上被拦下，被要求“整改”。

20K-50K 招聘远程 Python AI 工程师（图片与文本处理方向）

一定是中国人

近日，有网友曝光，在饿了么旗下“蜂跑”平台，一些外卖员想接单必须向小队长“上供”送烟，否则连送外卖的资格都没有，一单算上补贴才3块钱。视频中，一名站长与外卖员对话，明确要求对方“买条极品烟，到幸福万家放着就行”，按规定这样只能“跑两周”。

新能源自動火化

11月1日，上海，一名cos被警察要求当场卸妆。浙江杭州，in77，蝙蝠侠被当街逮捕。浙江杭州，龙翔桥附近，红爷cos被警察驱赶。上海愚园路附近，警察拍打公交车车窗要求车内的cos摘下面具。

近日，这位售卖红薯的女博主因发布模仿“雷式营销法”的视频，而上了热门后，视频随机被雷军法务团队投诉。平台审核后判定该视频无侵权行为，投诉随即终止。

网友投稿：10月31日，陕西西安某万圣节活动场所附近，一位coser化身“大白”，手持棉签为来往行人“做核酸”。以此来讽刺疫情封控时期“一刀切”的防疫政策。

10月28日，山西，一位国企员工向网友展示了其丰盛的午餐，评论区的体制内网友也不甘示弱，纷纷晒出了自己豪华且低廉的工作餐。

11月1日，据韩国媒体报道，习近平在韩国庆州期间，除了与韩国总统李在明会面，二人又互赠礼物。习近平向李在明夫妇赠送小米旗舰的曲面手机和文房四宝。李在明开玩笑问小米手机通讯保密如何，习近平则叫李在明查看电话有没有后门，二人大笑。

A wonderful unforgettable moment by her. He is a gentleman.

So cute 🤗🤗

11月1日，广东，一位网友在镜头前双膝跪地，恳求道：“求求我们的国家，能尽快实现全民5天8小时工作制，每个人都有双休，不用加班，工资涨一涨，普罗大众的生活不被工作占据绝大部分的时间，可以的话请尽快实施，拜托了。”话音落下，他还朝镜头磕了一个头。

这个很有用，用最小成本帮助有需要的人，材料买回来找个会焊工的人就能按视频步骤装上，这算是开源项目了

河南農村的夜生活，男女老少適宜。

小米YU7车主吐槽，从此不再买小米。

Women dancing for Trump’s Mar-a-Lago guests

Good morning to everyone that says it back ❤️

10月27日，江苏，徐州，一名医护人员展示集采的器械一言难尽的质量，视频中的导尿管正在漏液。

这位女主播的雷式营销爆火，结果被有司投诉了。

八九六四的if线，另外的结局投稿by：1989

10月29日，江西省九江市，登高未来城业主堵门抗议停车费问题。

11月1日，山西大同，一女生将电瓶车停在大同四中门口买淀粉肠，电动车钥匙和家钥匙随即被学校工作人员拔掉没收。女生无助的哭喊“你还给我，还给我”，保安却恶狠狠回道：“看我给不给你！”说完扭头便往学校内走去，女生上前阻拦，工作人员竟强行将其拖拽进校。

Dancers at Trump’s Halloween party as people begin losing food stamps under his administration

10月30日，一名房产博主援引国家金融监督管理总局数据称，截至2025年7月，全国连续三个月未偿还房贷的“断供者”已达187万人，同比激增35.6%。与此同时，全国拥有信贷记录的自然人数量已超过8亿，其中至少有1.2亿人存在逾期或欠款问题。博主指出，“越来越多的人开始选择不还房贷”，其主要原因在于

本站自动实时分享网络热点
24小时实时更新
所有言论不代表本站态度
欢迎对信息踊跃评论评分
评分越高，信息越新，排列越靠前

2

1

0

【陶哲轩：计算机辅助数学证明的历史】“人类与计算机在数学创造领域的贡献比是95%和5%，那么（在ChatGPT为代表的神经网络与大模型走进数学后）过十年或者二十年，这个比例就会变成五五开。”
大陆资讯
( www.toutiao.com )

2年前由猪八戒提交

1周内 1个月内 1年内全部时间

1
2
3
4
5
6
...
400
下一页

1

2

1

1

最近陶哲轩在 2024 年第 65 届国际数学奥林匹克上，陶哲轩做了一次 AI 和数学的演讲，非常精彩，从数学使用计算计算机的历史开始讲起，一直讲到大语言模型，干货相当多，尤其适合对数学有兴趣的同学。
（对数学没那么感兴趣的同学只想看 AI 部分的建议直接跳到 41 分的位置开始观看）
IT技术
( twitter.com)

1年前 • 宝玉 • -- 点击 • 下载视频 0 评论

00:57:23

2

2

1

1

Terence Tao 陶哲轩的个人主页和博客

大家可以学习参考，也开启自己英文博客。

做数学、物理学、计算机科学研究的同学，…
推特中文圈
( twitter.com)

2年前 • 灰狐(Huihoo) • -- 点击 0 评论

3

6

5

5

陶哲轩「无限」接近证明3x 1猜想
大陆资讯
( www.tmtpost.com)

5年前 • 钛媒体 • -- 点击 0 评论

4

2

1

1

陶哲轩自述考砸经历：智商高达230的数学天才，却因没复习险些挂科
大陆资讯
( www.jiqizhixin.com)

5年前 • 吊死团 • -- 点击 0 评论

5

2

1

1

陶哲轩：AI的影响之一是让业余数学家也能做出贡献
大陆资讯
( www.qbitai.com)

1年前 • 七仙女坐台 • -- 点击 0 评论

6

2

1

1

【困扰数学家90年的猜想，被计算机搜索30分钟解决了】来自斯坦福、CMU等高校的4名数学家，将凯勒猜想转化成了对10亿个结果进行“暴力搜索”。解决了凯勒猜想后，Heule的下一个目标是用计算机证明数学里“最简单的不可能问题”——3n 1猜想，去年陶哲轩已经“几乎”解决了这个问题，现在可能只差一步之遥了。
大陆资讯
( www.qbitai.com)

5年前 • 吊死团 • -- 点击 0 评论

7

2

1

1

【陶哲轩宣布破解埃尔德什差异问题】在任意只由1和-1组成的无限数列中，能找到项与项间等距的有限子列，使子列各项之和的绝对值大于一个任意大的常数C。这个描述简单却很难证明的数论问题，在提出83年后，终于被数学家陶哲轩破解。
大陆资讯
( www.guokr.com)

10年前 • 果壳网 • -- 点击 0 评论

8

2

1

1

陶哲轩：以我的数学经验，室温超导LK-99和复现有很大启发性
大陆资讯
( www.jiqizhixin.com)

2年前 • 和谐大帝 • -- 点击 0 评论

9

2

1

1

陶哲轩推翻周期性平铺猜想，用反例证明它在高维空间不成立
大陆资讯
( mp.weixin.qq.com)

2年前 • 不炒作会死 • -- 点击 0 评论

10

6

5

5

【陶哲轩的线性代数的“新”公式并没颠覆任何东西】陶哲轩和几个物理学家证明特征值和特征向量关系定理的新闻发出来后，不少人做了深挖，发现原来相同的定理早就在2016，2014，2007，...，1995年的一堆文章里出现过。陶自己也在博客里列了个表，最早可以追溯到1968年的论文，公式非原创。
大陆资讯
( mp.weixin.qq.com)

6年前 • 微信公众号 • -- 点击 0 评论

11

2

1

1

著名华裔数学家陶哲轩，为一家商业网站录制了视频课程，向普通人讲解数学思维，这是预告片。
视频
( www.masterclass.com)

3年前 • twitter机器人 • -- 点击 • 下载视频 0 评论

12

2

1

1

【对话陶哲轩：什么造就“好”的数学？人工智能如何改变数学？】陶哲轩2007年写了一篇文章，探讨“好”的数学研究的共同要素。近日，他在播客重温这个话题，谈及他写那篇文章的缘起，什么是“好”的数学，以及近些年数学界发生的变化。他特别讲到了人工智能对数学未来的影响。在国际数学日，让我们共同探讨“好”的数学。
大陆资讯
( mp.weixin.qq.com)

1年前 • 地沟油 • -- 点击 0 评论

13

6

5

5

与陶哲轩“共舞”的一个周末
大陆资讯
( mp.weixin.qq.com)

6年前 • 微信公众号 • -- 点击 0 评论

14

2

1

1

陶哲轩要在MasterClass上开课了
大陆资讯
( weibo.com)

3年前 • 微博 • -- 点击 0 评论

15

2

1

1

陶哲轩：用ChatGPT写代码太省时间了
大陆资讯
( www.jiqizhixin.com)

2年前 • 拉拉么 • -- 点击 0 评论

16

3

2

2

陶哲轩为什么不回国？

#知乎 #爆问
时政
( twitter.com)

2年前 • 知乎暴论 💙💛 • -- 点击 0 评论

17

2

1

1

【陶哲轩「他的证明比我强」，这个天才青年解决了最简单的数学难题】传奇数学家张益唐之后，又有一位跟「孪生素数猜想」有关的数学家James Maynard，摘下了「数论界最高奖」柯尔奖。他还和另一位数学家合作，攻下了一个困扰数学家们将近80年的难题：Duffin-Schaeffer猜想。
大陆资讯
( www.qbitai.com)

5年前 • 小唧唧 • -- 点击 0 评论

18

2

1

1

【受博客评论启发，陶哲轩两周内解决80年数学难题】9月17日，陶哲轩在arXiv发布论文，宣称解决了著名犹太数学家埃尔德什于80年前提出的“埃尔德什差异问题”。他的灵感来自另一位数学家在他博客上的评论，他马上意识到该评论与埃尔德什问题间的联系，并在两周以后写出了论文。
大陆资讯
( www.nature.com)

10年前 • 等你回来 • -- 点击 0 评论

19

2

1

1

数学和计算机科学的紧密结合，你可以参考这个路线。

1、《计算机科学中的数学》
2、《面向计算机科学的数理逻辑》
3、《计算机图形学》
4、《计算机视觉》
5、《计算机语言学》

1-2是数学和逻辑基础，3-5是应用领域和方向，当…
推特中文圈
( twitter.com)

3年前 • twitter机器人 • -- 点击 0 评论

20

6

5

5

三个粒子物理学家在分析中微子实验的数据时，无意发现了线性代数中联系特征值和特征向量的简单数学关系，他们觉得这么简单的定理早就有人证明过了，但奇怪的是翻遍了书也没找到，于是就去问陶哲轩。陶开始也奇怪，但在两个小时后给出了三个不同的证明，发现这确实是个新定理，并联名发了篇论文。
大陆资讯
( www.qbitai.com)

6年前 • 读书顶个鸟用 • -- 点击 0 评论

21

2

1

1

《自然》杂志1日发表了一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由DeepMind开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以支持数学研究。这也是计算机科学家和数学家首次使用人工智能来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。
大陆资讯
( www.jiqizhixin.com)

3年前 • 粉身碎奶掌 • -- 点击 0 评论

22

2

1

1

哇塞，大家来围观一下陶哲轩写的Prompt，解决了一个数学难题：

“你好，我是一名数学教授，我希望你能扮演一位善于提出解题技巧的数学家专家搭档。我正试图回答MathOverflo…
IT技术
( twitter.com)

2年前 • 宝玉 • -- 点击 0 评论

23

4

3

3

陶哲轩自曝用了「满血」GPT-4：人类对信息技术的期待全部需要校准
推特中文圈
( good.news)

2年前 • Bad.news • -- 点击 0 评论

24

2

1

1

陶哲轩自曝用了「满血」GPT-4：人类对信息技术的期待全部需要校准
大陆资讯
( www.myzaker.com)

2年前 • 武功在高也怕菜刀 • -- 点击 0 评论

1
2
3
4
5
6
...
400
下一页

0.12108 Second , Gzip Enable.本网所有言论均来自网络，不代表本网站立场。联系方式: [email protected]

©2012.11.21 bad.news All rights reserved. 社区自动运营第 -- 年零 -- 天
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

关注推特