kieran

INTJ+ADHD

[kieran @GaoRoyal]

@bboczeng 勃勃老师 你为什么和立党分手了

[kieran @GaoRoyal]

@silence_3650 点这个取消订阅是 到期后取消自动续费还是直接取消当前订阅

[kieran @GaoRoyal]

@write55open @lidangzzz 校招的话 不是很卡专业
你是什么学校 什么专业

[kieran @GaoRoyal]

@xmglab 谢谢 已经买到了

[kieran @GaoRoyal]

@Vincent_AINotes 我为啥显示是plus啊

[kieran @GaoRoyal]

@Bronya_Zaychilk @ttititittitityo @Vincent_AINotes 怎么切换

[kieran @GaoRoyal]

@lidangzzz 谢谢党哥

[kieran @GaoRoyal]

@xzzzjpl 社长头发这么多 羡慕

[kieran @GaoRoyal]

@nobita_3D @bboczeng nobita老师好有意思

[kieran @GaoRoyal]

@WeiYi88890 谢谢分享

[kieran @GaoRoyal]

@bboczeng 勃勃老师 ，你想活到多少岁

[kieran @GaoRoyal]

@GuoShenCN7 我可以

[kieran @GaoRoyal]

@IamRamenPanda 你是勃勃小号吗

[kieran @GaoRoyal]

@LaurenceMister 你骂了罗畜 我才关注的你

[kieran @GaoRoyal]

@memeyi1135977 @Dark_Era2018 @shangguanluan 没毛病，确实很少大陆人说带风向，一般都是带节奏

[kieran @GaoRoyal]

@bboczeng 勃勃老师 现在怎么进群

[kieran @GaoRoyal]

当AI解决完人类所有猜想后，每天自己提猜想，再用自己发明的全新数学工具去证明。那时候的人类可能完全无法理解AI提的问题及证明过程，只知道证明是对的。自此人类进入被AI赡养的阶段。

[kieran @GaoRoyal]

照ai现在这个速度，几天时间完成一个千禧年七大难题，而人类去验证、理解证明过程可能要花几个月甚至几年时间。可以预想到，未来将会出现大量通过lean形式化证明是正确的AI证明，但人类理解证明的速度完全跟不上的情况。
再到下阶段，AI甚至可能进化到能够自己提问题，自己发明全新数学工具的程度。

[kieran @GaoRoyal]

@bboczeng codex可以重置 你也能重置