1966 年，科恩拿了菲尔兹奖。哥德尔却说：这个我二十多年前就证过了。可同行让他拿出证明，他拿不出来。功劳就全归了科恩。现在，证明找到了。找到它的是 AI。哥德尔留下 16 本笔记，1,009 页，用的是一种早就没人用的德语速记。赫尔辛基的逻辑学家 von Plato

发布时间: 2026-11-15 14:21:01

1分

数据加载中

关注推特

收听电报

2

1

0

1966 年，科恩拿了菲尔兹奖。哥德尔却说：这个我二十多年前就证过了。
可同行让他拿出证明，他拿不出来。功劳就全归了科恩。
现在，证明找到了。找到它的是 AI。
哥德尔留下 16 本笔记，1,009 页，用的是一种早就没人用的德语速记。赫尔辛基的逻辑学家 von Plato
时政
( twitter.com )

2小时前由 Jinan 提交

1966 年，科恩拿了菲尔兹奖。哥德尔却说：这个我二十多年前就证过了。

可同行让他拿出证明，他拿不出来。功劳就全归了科恩。

现在，证明找到了。找到它的是 AI。

哥德尔留下 16 本笔记，1,009 页，用的是一种早就没人用的德语速记。赫尔辛基的逻辑学家 von Plato 为此专门学了这种速记，说全世界能读懂的只有六个人。他读了好几年，一周才读一页。

今年 9 月，他把笔记交给 Claude。几天后，Claude 交回 650 页解读，还真从里面把那个证明找了出来：只差一个定义写错了，而两年前哥德尔其实写对过。补上之后，机器检查通过。

Claude 还从笔记里翻出 663 条定理，机器一查，约 50 条是错的。

研究逻辑的 Hamkins 说了一句很扎心的话："你没告诉任何人的工作，是拿不到功劳的。"

哥德尔就差一步，也就差了一枚菲尔兹奖章。

Markdown支持

评论加载中...

您可能感兴趣的：

1

212

211

211

以为滚烫的精夜要进来了但还是被可恶的TT挡住
@Paoyesss
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

2

126

125

125

酒店爆艹表情淫荡的平面模特，这女的真骚，让做什么就乖乖照做，很有征服感！

完整版链接在评论区首条或视频中间弹幕
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

3

279

278

278

几个月没玩3p了，今天一次性解馋，约了2个炮友服务我，老公在旁边负责拍照
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 0 评论

4

371

370

370

有的时候，女孩也可以主动❤️‍
这样我们之间的距离会更深入
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

5

288

287

287

后来
有些人一旦错过就不在！
谁有好的玩法？欢迎留言建议
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 3 评论

6

137

136

136

晚上10点，撩了我几个小时的1，大半夜5公里，过来操我，太大了，有17，每一下都顶到肺了！！
porn
( twitter.com)

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

7

161

160

160

宝贝，乖～把嘴巴张开，吃进去，然后再给你喝热牛奶。嘘～趁你们睡着了，我偷偷的发推
（购买云盘看个人主页和置顶推文）
#伪娘
#白丝
#自慰
#反差婊
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 2 评论

8

133

132

132

小哥哥还没来，就已经骚不可耐了，忍不住先自慰一波
（购买云盘，加门槛的看个人主页和置顶推文，目前有空，想约的小哥哥赶紧加门槛联系我叭～❤️）
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

9

1253

1252

1252

Watch video
porn
( twitter.com)

4年前 • twitter机器人 • 下载视频 2 评论

10

449

448

448

Watch video
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 4 评论

11

133

132

132

Watch video
porn
( twitter.com)

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

12

1108

1107

1107

#精东影业这是健身教练偷拍的从没有发过的录像，平时男友有时候心血来潮让我跪下给他口，我要么说地上脏，或者说跪着累拒绝他，然而面对健壮的肌肉教练，跪的如此卖力熟练顺滑且标准，可能这就是给男友最好的回报吧～
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 4 评论

13

1076

1075

1075

又是疯狂的一天……
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 8 评论

14

25

24

24

Watch video
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 0 评论

15

276

275

275

上一个，口福那个发完睡着了，今天继续。还没开始干就喷了
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 0 评论

16

845

844

844

Watch video
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

17

746

745

745

《透明时装秀》NO.17季
看露出
最爽的莫过于时装表演
各个肤白貌美大长腿
袒胸露乳无视人前
刺激你的每一根神经
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

18

187

186

186

疯狂3P操翻天极品美女性瘾强，和哥们满足她渴望小穴，前裹后操太刺激，青筋爆裂粗喘气！

完整版链接在评论区首条或视频中间弹幕
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 2 评论

19

449

448

448

约了两个极品妹子，只留了一个果然是精品，对话精彩姿势刁钻，好热刚插进去差点就尿了！(2/2)

完整版链接在评论区首条或视频中间弹幕
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 0 评论

20

267

266

266

调教的意义就是在于让你明白主人的指令是可以战胜自己的本能的。
水下深喉出来的第一件事当然是感谢主人的赏赐而不是呼吸。
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

21

1488

1487

1487

Watch video
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 3 评论

22

336

335

335

在吗？看看奶，转推评论呀小哥哥，抽几个送自拍视频
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

23

294

293

293

巨乳姐姐洗澡视频完整版过了门槛的小哥哥vx上找我观看哦。
另外，抽一个同城的小哥哥一起洗澡，给我留言吧❤️
@xiaolaqiuzhang
@shenmingss
@Xijierqi
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

24

306

305

305

生理期？有口福了！
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 1 评论

25

23

22

22

Watch video
porn
( twitter.com)

5年前 • twitter机器人 • 下载视频 0 评论