未泯梵心 2026-08-21 评论区有朋友轻易怀疑顶级数学家用没有用AI，真是悲哀呀！AI只是一个工具，难道还能让它喧宾夺主不成？换言之，假如它快要超越人的时候，就应该被按下去，工具就要有工具的觉悟。 ♥ 11 ↩ 4
lightzzzmmm 2026-08-21 up主，您好。Brendle的论文看着非常难懂，反倒是随附的mma代码结构非常简单，并且使用mma几秒就运行通过，说明符号计算量不太大。估计程序验证很快能完成，但论文主体验证还需要一段时间。 ♥ 7
新的视野6666 2026-08-22 https://zenodo.org/records/21991662，各位看看，这个好像是人机协作的新高峰，他自称将黎曼猜想的非平凡零点在临界线上的个数推进到了 100%，我最近两天用 AI 反复核验，都没有找出能够直接推翻他论文的 gap。 ♥ 6 ↩ 3
Comments
人工队大胜属于是[笑哭]
♥ 97 ↩ 2
只能说AI还暂时无法替代几何学家那种“我觉得这里就该有个正曲率”的几何直觉[doge]
♥ 91 ↩ 14
人类的反击[doge_金箍]
♥ 91 ↩ 28
Brendle：OpenAI是外行[笑哭]
♥ 83 ↩ 1
ytd猜想也出反例了，微分几何大地震
♥ 58 ↩ 10
真的好震撼。。一年前刚在mh微分流形课上听说这个猜想，一年后居然就被解决了，又见证历史了[笑哭]
♥ 57 ↩ 1
brendle纯人型ai
♥ 34
Brendle：事先声明，ai你才是挑战者[打call]！
♥ 20
我有一个问题，他们说自己没有用ai，就是真的没有用ai吗？
♥ 15 ↩ 9
simon brendle还是强啊[doge]。不过这篇能算他18年之后最好的工作吗？[思考]
♥ 14
评论区有朋友轻易怀疑顶级数学家用没有用AI，真是悲哀呀！AI只是一个工具，难道还能让它喧宾夺主不成？换言之，假如它快要超越人的时候，就应该被按下去，工具就要有工具的觉悟。
♥ 11 ↩ 4
钰子 没抢在前边 搞出来，可惜了
♥ 10
up主，您好。Brendle的论文看着非常难懂，反倒是随附的mma代码结构非常简单，并且使用mma几秒就运行通过，说明符号计算量不太大。估计程序验证很快能完成，但论文主体验证还需要一段时间。
♥ 7
写在黎曼几何教科书上的问题[支持]
♥ 6
https://zenodo.org/records/21991662，各位看看，这个好像是人机协作的新高峰，他自称将黎曼猜想的非平凡零点在临界线上的个数推进到了 100%，我最近两天用 AI 反复核验，都没有找出能够直接推翻他论文的 gap。
♥ 6 ↩ 3
谁知道有没有偷偷用AI
♥ 6 ↩ 7
所以这个反例有多难想？比单位距离猜想还难想吗？
♥ 5 ↩ 11
刚看了皮卡的[星星眼]
♥ 5
我没记错castle这个b站up主好像搞hopf的
♥ 5 ↩ 2