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

发布时间: 2021-03-07 03:14:31

1分

数据加载中

关注推特

收听电报

2

1

0

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

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

4年前由 twitter机器人提交

Markdown支持

评论加载中...

您可能感兴趣的：更多

1

2

1

1

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

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

2

2

1

1

相伴14年爱猫离世，艺术家richard saunders 把它变成“雕塑”重生，或许这就是爱吧 ~
视频
( twitter.com)

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

3

2

1

1

长驻华盛顿公民记者Richard最新视频: 白宫正在施工根本看不到拜登这伙人实锤证据：拜登的白宫现场直播完全是造假拜登不在白宫所有人都知道华盛顿发生了什么
推特中文圈
( mnewstv.com)

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

4

2

1

1

公民记者Richard：

在与多伦多交界处的纽约州Buffalo布法罗，卡车司机正在计划前往美国首都华盛顿DC！

Happening now in Buffalo New York. Plans for truckers…
时政
( twitter.com)

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

5

2

1

1

英国军情六处处长摩尔 (Richard Moore) ：「中国因过度自信而产生误判的风险是真实的。」

推特中文圈
( www.dw.com)

3年前 • 德国之声 • -- 点击 0 评论

6

2

1

1

公民记者Richard刚刚在华盛顿DC拍到的情景，满街都是警车、国民警卫队戒备森严。
自由卡车队是从天上来的大军，让魔鬼害怕
时政
( twitter.com)

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

00:00:52

7

2

1

1

【时尚大亨Tom Ford丈夫去世】对于世界，甚至对于时尚界来说，Richard Buckley都不是什么大人物，他一生没有创造出可以传世的成就，但对于Tom Ford而言Richard Buckley就是世界。Tom Ford甚至为了向他表白至死不渝的爱意，拍出了著名电影《单身男子》。
大陆资讯
( mp.weixin.qq.com)

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

8

2

1

1

英国亿万富翁理查德·布兰森 (Richard Branson) 乘坐维珍银河 VSS #Unity22 火箭飞机进行了首次太空载人试飞。
视频
( www.reuters.com)

3年前 • 路透社 • -- 点击 • 下载视频 0 评论

9

2

1

1

Richard Horton《柳叶刀》主编在最新的文章中捅刀Peter Daszak。

文章大意：新冠刚一爆发J. Farrar、L. Saif、R. Colwell 和 Peter Daszak这些人就给我说自然来源，实验室来…
推特中文圈
( twitter.com)

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

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

关注推特