在看 Richard Borcherds 的数学相关 QA，他提到了他对数学未来趋势的预测，认为今后可能所有的定理都需要被计算机形式化和验证，而当前顶尖的各大数学系并没有太过重视计算机证明。另外我看了这视频才注意到他的博导是…

分享一个链接

发表一篇文章

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

2841 位用户此时在线

24小时点击排行 Top 10：

阿里的 Wan2.2 有点东西！使用方法见评论👇 一段你在说话的视频，一张相同分辨率的其他人物的图片，就能让你不露脸出镜，i 人主播福音！理论上直接开直播问题不大，再把音色换一换，死肥宅摇身一变性感美女，也可以去收割其他死肥宅了🤪

10月23日，网友剪辑出了小米汽车出事故“翻车” 合集。

继“雷式小字广告”之后，网友们纷纷发视频模仿并嘲讽雷军的“雷式营销法”。

10月21日，继西贝天价预制菜后，一名博主发布视频称，其在上海万豪酒店举办婚礼晚宴，有宾客反映菜品口感不佳，怀疑酒店使用了预制菜。博主表示婚宴共花费约37.98万元，每桌餐标8888元。与酒店交涉后，酒店方面回应称“100%不会使用预制菜”。

华人有多蠢.jpg

“总统先生，我只想说，没有您，这个国家就会灭”——川普手下对川普说。忠诚不绝对的李鸿忠看来都得跪下喊师傅。而且这绝非孤例，美国政治的退化速度之快，远超世人的想象。

10月23日，亮亮丽君最新进展，来了八九个“有关部门”的人上门威胁，让他们闭嘴，称再发会涉及到“一个罪名”。

10月23日，10月23日，柬埔寨财通市，一群中国男子手持铁棍对一个中国女子拳打脚踢并强迫女子上车。

决定原谅这个世界一分钟

人品正、能力強、態度佳、懂分寸、有潛力往往能相互欣賞，出來混可靠的基石。

⚠️千萬不要吃清真食品⚠️ 了解穆斯林的生活習慣： 1/入廁時，牠們用左手清理屁眼的大便。 2/做飯時，牠們左右手一齊做蘭州拉麵。 3/揉麵時，牠們左右手一齊揉麵，不分左右。 4/吃清真食品，必然等於、大於吃屎。 5/清真食品，一定是世界上最惡心的食品。

暴力青蛙，惩奸除恶🐸！

10月24日，广西省，百色市。截止今日，百色积水仍未退去，尽管已经安排了抽水机日夜不停地往外抽水，可是大部分的房屋仍然泡在水里。

近日，国内测评博主在视频中爆料，曾卖79块钱一只眉笔的花西子，旗下“花西子桃娇鲜颜精华底霜”被检查出苏丹红（3类致癌物）超标。

10月23日，广东的过度防疫仍在持续，为了灭蚊，当局甚至把路两旁的树都给砍的光秃秃的，只剩下树干。

10月21日，广东省，汕头市。陈店镇政府近日发布《致学生家长的一封信》，明确禁止中小学生参与任何形式的民俗活动，包括英歌队、腰鼓队、游神游行表演等。

我不懂经济，但懂中国，所以四中全会公告说了很多人看不懂的话，简约版，就三句话：一，“加快高水平科技自立自强，引领发展新质生产力。”

10月20日，陕西咸阳渭河。网友拍到不明原因发生的连续三次爆炸。

10月22日，云南省红河州河口县北山社区发生山体滑坡，导致一栋楼房垮塌。

陽光玫瑰的故事，是過去一系列農產品育種的縮影：日本培育，未授權但快速出現在韓國中國等地。然後「勤勞」的中國人，快速「卷」起來，在日本一串2000日元起的名物，在中國很快爛大街。

今天看到了一个新闻：说是四五个大学生，网贷屯csgo的武器啥的当中间商，结果砸手里，跳楼了，母亲来收尸直接崩溃了。

10月23日，据央视报道，北京大学人工智能研究院孙仲研究员团队联合集成电路学院研究团队，成功研制出基于阻变存储器的高精度、可扩展模拟矩阵计算芯片，首次实现了在精度上可与数字计算媲美的模拟计算系统。该芯片在求解大规模MIMO信号检测等关键科学问题时，计算吞吐量与能效较当前顶级数字处理器（GP

只有养过猫的人才知道这条视频的含金量？

我不蠢！☹️

10月23日，上海市，虹翟高架北翟高架交口处，一辆大众新能源suv起火。

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

2

1

0

在看 Richard Borcherds 的数学相关 QA，他提到了他对数学未来趋势的预测，认为今后可能所有的定理都需要被计算机形式化和验证，而当前顶尖的各大数学系并没有太过重视计算机证明。

另外我看了这视频才注意到他的博导是…
推特中文圈
( twitter.com )

4年前由 twitter机器人提交

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

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

1

2

1

1

学代数的同学可以看一下菲尔兹奖得主Richard Ewen Borcherds的YouTube频道，而且现在，也就是2021年2月，也在高强度更新。主要是研究生水平的代数几何、交换代数、群论等等的数学课，也有少数面向本科生高中生的…
推特中文圈
( twitter.com)

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

2

2

1

1

...... (@Richard-Nico)
图片

7年前 • 巭孬嫑夯昆 • -- 点击 0 评论

3

2

1

1

昨天我那篇写如何学习系统架构的文章下面有一条来自网友 richard 的留言：
> richard:
IT技术
( twitter.com)

4个月前 • 宝玉 • -- 点击 0 评论

4

2

1

1

Understand! Don't memorize!
Learn principles, not formulas!
- Richard Feynman
有趣
( twitter.com)

3个月前 • The Figen • -- 点击 0 评论

5

2

1

1

BREAKING: American fitness personality Richard Simmons dies at age 76
时政
( twitter.com)

1年前 • The Spectator Index • -- 点击 0 评论

6

2

1

1

Reporter Richard Engel visits a camp where ISIS fighters are held
有趣
( twitter.com)

5个月前 • non aesthetic things • -- 点击 • 下载视频 0 评论

00:00:25

7

2

1

1

"Science is the belief in the ignorance of experts."
- Richard Feynman
btc
( twitter.com)

5天前 • Tetsuo • -- 点击 0 评论

8

2

1

1

Richard的昵称为啥是Dick？Robert的昵称为啥叫Bob？William咋会变成Bill？请看这段视频 (@谷大白话)
视频
( video.weibo.com)

9年前 • 新白娘子玩传奇 • -- 点击 0 评论

9

2

1

1

与花偎依，绝美动人

美国艺术家
Richard Johnson
有趣
( twitter.com)

2年前 • 舌头是地獄之火🇺🇸🇯🇵（不私聊） • -- 点击 0 评论

10

2

1

1

On this day in 1974, Richard Nixon announced that he would be resigning as US President.
时政
( twitter.com)

2年前 • The Spectator Index • -- 点击 • 下载视频 0 评论

00:00:40

11

2

1

1

在boredpanda 上看到的一组名为Timorpersonae系列的有趣的昆虫绘画作品，作者是英国插画家Richard Wilkinson，灵感来源于恐怖电影，代表其中的角色。
大陆资讯
( m.weibo.cn)

2年前 • rabbit • -- 点击 0 评论

12

2

1

1

Things are not always what they seem,
this is titled, "Assumptions" and is by professor Richard Wiseman
时政
( twitter.com)

1年前 • Science girl • -- 点击 • 下载视频 0 评论

00:00:32

13

2

1

1

So Senator Richard Blumenthal, aka “Dick”, really wants to meet “Big Balls”!!
This is too good 🤣🤣
btc
( twitter.com)

7个月前 • Elon Musk • -- 点击 0 评论

14

2

1

1

«I would rather have questions that can't be answered than answers that can't be questioned»

— Richard Feynman

#ThursdayThoughts
有趣
( twitter.com)

2年前 • Massimo • -- 点击 0 评论

15

2

1

1

SpaceX猎鹰9号火箭尾焰随高度升高的变化（Richard Angle 摄）
大陆资讯

2年前 • 顶你个肺 • -- 点击 0 评论

16

2

1

1

刚刚的消息，之前离开BBC的TOP GEAR 三剑客Jeremy，James和Richard被亚马逊签下~ 做他们的在线新节目。。。。。。明年开始播出~ 车迷们又有得看了 (@英国那些事儿)
图片
( ww4.sinaimg.cn)

10年前 • 有趣图片 • -- 点击 0 评论

17

2

1

1

奥巴马政府驻巴基斯坦大使Richard Olson 在法庭承认为外国非法游说并收受大量好处。
推特中文圈
( www.nytimes.com)

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

18

3

2

2

绿海龟拥抱着它的食物(mosaic jellyfish)。Photo by Richard Carey(@昆虫学小鱼)
图片

8年前 • 新白娘子玩传奇 • -- 点击 0 评论

19

2

1

1

2017年诺贝尔经济学奖被授予行为经济学家Richard H. Thaler
大陆资讯
( wallstreetcn.com)

8年前 • 巭孬嫑夯昆 • -- 点击 0 评论

20

2

1

1

Richard今天早上拍摄的人民车队支持者从天而降的视频
时政
( twitter.com)

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

00:00:41

21

2

1

1

No CGI. 300,000 People. Most extras used in a single movie scene.
Gandhi - movie by Richard Attenborough starring Ben Kingsley as Gandhi
有趣
( twitter.com)

5个月前 • non aesthetic things • -- 点击 • 下载视频 0 评论

00:00:23

22

6

5

5

HBO前首席执行官Richard Plepler的新公司已经与苹果签署了为期五年的独家协议，为苹果流媒体视频服务Apple TV 制作电影、电视节目和纪录片。Richard Plepler在HBO工作了27年，在AT&T完成了对HBO母公司时代华纳的收购后离职创业。
大陆资讯
( tech.qq.com)

5年前 • QQ新闻 • -- 点击 0 评论

23

2

1

1

2017年诺贝尔经济学奖授予芝加哥大学经济学家Richard H. Thaler。
大陆资讯
( on.wsj.com)

8年前 • 华尔街日报中文网 • -- 点击 0 评论

24

2

1

1

Moon, Captured by an Apollo 12 astronaut Most likely, this photo was taken by Richard F. Gordon, the pilot of the command module.
有趣
( twitter.com)

1年前 • Curiosity • -- 点击 0 评论

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

0.10821 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.

关注推特