星海_存于环宇 11d ago 现在又有两个人独立证明了这个crouziex问题,甚至还是在ai指导下用了完全不同的方式,最简洁的证明只有五页纸[笑哭],crouziex本人回答ai在数学领域是灵活思维让他震惊,他认为ai展现出来极其灵活的思维能力,而人类数学家往往陷入刻板的繁杂证明之中 ♥ 2083 ↩ 29
绛紫影人 10d ago 现在捡剩饭嚼新闻的连来源贴都懒得贴了吗?视频也懒得剪,打光也懒得做,就硬聊?为什么这个会上b站热搜,然后只有这个视频播放多?这就是热搜的质量?[少女乐队的呐喊表情包_倔] ♥ 18 ↩ 3
alexander_ly 11d ago 做梦都没有想到AI第一个高质量、大规模突破的领域竟然是数学。一直以为数学应该是AI最后攻克的堡垒……哎,无语了……[疑惑][疑惑][疑惑] ♥ 483 ↩ 93
BV1FS4y1R7KS 10d ago 达芬奇能画蒙娜丽莎又设计飞行器,是因为当时人类知识总量很小。到了20世纪,个人连“物理学”这一个分支都学不完,所以全才被迫窄化成专才,因为人脑的带宽跑不赢知识的体量,知识膨胀灭绝了通才。现在个人的上限被提升了一节,以后难的可能是提出问题了[哦呼] ♥ 93 ↩ 2
贫盗本是捆轮磕 10d ago 所以今年的菲尔兹奖是最后一届属于人类的菲尔兹奖不是危言耸听,数学猜想的证明证伪的门槛已经极大降低,甚至会出现猜想刚刚提出就可以被AI以小时计的时间完成验证的情况,而不像过去数学界随便一个猜想搁置数十年甚至上百年。 ♥ 70
Comments
不懂就问,这次又摘了哪个人类数学家的🍑了
♥ 62
一百年前,物理学的大厦已经建好,只是天空中还有两朵乌云 经过物理学家不懈努力,现在天空上都是乌云 经过AI不懈努力,现在天空上全是核弹
♥ 1764 ↩ 11
现在又有两个人独立证明了这个crouziex问题,甚至还是在ai指导下用了完全不同的方式,最简洁的证明只有五页纸[笑哭],crouziex本人回答ai在数学领域是灵活思维让他震惊,他认为ai展现出来极其灵活的思维能力,而人类数学家往往陷入刻板的繁杂证明之中
♥ 2083 ↩ 29
投机取巧博流量
♥ 5
果然能学医干什么都能成功(
♥ 130 ↩ 3
看字幕:Crouziex猜想 遮住字幕:Codex猜想
♥ 1010 ↩ 4
难道math也要成为一个普及大众的健脑爱好了吗()
♥ 1448 ↩ 40
ai可能比历史上任何人都更接近博学这个词
♥ 132 ↩ 8
哥德巴赫猜想将在2年内被我攻克,本来没有ai的帮助我预想时间是5年
♥ 63 ↩ 7
体会到当年围棋界从业人员的心情了[吃瓜]
♥ 194 ↩ 10
现在捡剩饭嚼新闻的连来源贴都懒得贴了吗?视频也懒得剪,打光也懒得做,就硬聊?为什么这个会上b站热搜,然后只有这个视频播放多?这就是热搜的质量?[少女乐队的呐喊表情包_倔]
♥ 18 ↩ 3
万一ai不小心踢到路边一个正在做这个课题的数学博士生不是炸了。。。
♥ 139 ↩ 6
AI的意义就是先清理一波前人挖下的大坑,然后再用AI给后人挖坑
♥ 84 ↩ 2
做梦都没有想到AI第一个高质量、大规模突破的领域竟然是数学。一直以为数学应该是AI最后攻克的堡垒……哎,无语了……[疑惑][疑惑][疑惑]
♥ 483 ↩ 93
GPT:上线就领十连菲尔兹奖
♥ 41
达芬奇能画蒙娜丽莎又设计飞行器,是因为当时人类知识总量很小。到了20世纪,个人连“物理学”这一个分支都学不完,所以全才被迫窄化成专才,因为人脑的带宽跑不赢知识的体量,知识膨胀灭绝了通才。现在个人的上限被提升了一节,以后难的可能是提出问题了[哦呼]
♥ 93 ↩ 2
所以今年的菲尔兹奖是最后一届属于人类的菲尔兹奖不是危言耸听,数学猜想的证明证伪的门槛已经极大降低,甚至会出现猜想刚刚提出就可以被AI以小时计的时间完成验证的情况,而不像过去数学界随便一个猜想搁置数十年甚至上百年。
♥ 70
我现在每天下班后,用GPT5.6重新开始学数学了。学当年差点给我整出PTSD的实分析。学数学从来没有这么欢乐过[doge]
♥ 404 ↩ 21
在协和研究“如何让超声波穿透人类复杂的颅骨结构”时,他在自学中一头撞进了高级“矩阵分析”领域,并偶然关注到悬而未决的 Crouzeix 猜想[笑哭]
♥ 45 ↩ 1
被4+4耽误的潜在数学家。可见数学之路艰深,有家庭背景的人都不愿意走[妙啊]
♥ 497 ↩ 32