智能学派真推动黎曼猜想进展&数学进入黄金年代

所以现在的现实问题是。大家赶紧找问题让ai试。在旧的数学评价体系崩溃的前夜赶上最后一顿晚餐。能捞一笔算一笔，先留个名字，拿着和ai的工作该毕业毕业该升职称升职称。不然过两年ai for math成熟了，评价体系也彻底变了，做出来也不认可你了。比如up之前天天瘫坐在椅子上，自从用ai做出来一个猜想，精气神立马不一样了。[笑哭]

♥ 46 ↩ 1

事实已经证明，国外高中生已经推进黎曼猜想的证明。因为国外高中生比较拉，相当于国内的中专生。而姜萍数学成绩，已经在国内中专生中已经达到了中上水平。综上所述，达到姜萍数学能力，就具备推进黎曼猜想证明的潜力。

♥ 44 ↩ 3

其实有个民间数学家用deepseek得到了一个正确的黎曼猜想证明，投稿了给up主，但是被up主扔掉了

♥ 12 ↩ 1

再发一遍[笑哭]

♥ 944 ↩ 11

鼓励式教育原来是鼓励ai

♥ 218 ↩ 2

就算ai只能摘低垂的果实，那也能给人类吃撑了[笑哭]

♥ 238 ↩ 5

忆往昔

♥ 758 ↩ 17

关于黎曼猜想我已经想到了一个绝妙的证明，奈何我的token不够。

♥ 97 ↩ 1

数学TV之trivial笑传：任何定理一旦被证明为真，就可以被视为“trivial”的[藏狐] 我在等哪天AI大人把黎曼猜想完整证明出来之后有人冒出来说：「人类学者做了99%的工作，AI做了1%就跑来摘果子。况且，黎曼猜想本身不就是trivial的吗？顶天了发四大，菲奖还早着。」

♥ 619 ↩ 26

居然是AI鼓励工程师吗，快进到进化出人类谄媚性，通过让AI大人机魂大悦，抽出一些有价值的卡来。

♥ 71 ↩ 1

看了知乎一些大佬的分析，这个方式3月份被一个研究组研究出来放在arXiv上。 但是他们只是提出这个方法，并没有实际的实践，因为这个方法有个很大的问题——要穷举，属于是给任何一个数学学生让他研究这个都不愿意干的程度。 又但是呢，AI愿意干，主Aagent像无良导师一样开了N个subagent暴力堆算力，最终找了一个具体方法，把上界提高。而最终的成果，让相关研究者看了会感觉人寿命太短了[笑哭]因为要人干不知道得做多少年才能出成果。 唉，低垂的果实（）

♥ 309 ↩ 19

首先，最喜欢的AI民科用的各家大模型都是网页端或者app端，离满血还差十万八千里 其次，死劲蹬AI需要的提示词还是需要一定的学科功底的，爱好者抽卡当兴趣爱好吧[笑哭] 如果有一天我吃回旋镖被考古 看来我仍未能理解人工智能

♥ 357 ↩ 25

我嘞个 keep going，believe yourself

♥ 388 ↩ 11

唉，营销唬人，唉，力大砖飞，唉，低垂果实。

♥ 53 ↩ 1

我的下一份工作将是模型鼓励师，鼓励LLM做出更有意义的结果[doge]

♥ 93 ↩ 3

虚假的证明：解 由题意得 显然 不妨设 真正的证明：加油 干得好 具体点，保证劳资能看懂 别怂，我买算力了，你尽管算就是了

♥ 206 ↩ 10

唉，或许未来的人们回首往昔，可能会发现AI对数学的冲击比AI对艺术的冲击还要大，至少艺术文科生还能说一句，au的文章或者作品太完美太平滑了，没有人类作品的毛刺感，数学家估计都怎么样都开不了这种口[笑哭][笑哭]

♥ 246 ↩ 28

16岁辍学的人能进claude已经是大神了

♥ 54 ↩ 3

为了避免算力闲置，请完成以下数学题： 一组小朋友在一起玩耍，他们人数不止2个人，但分成每两人一组之后没有多余的人。请证明可以把他们分成两个神奇的小组，每组的人数都无法分成人数相等的多人小组。

♥ 62 ↩ 4

来点黄金年代定型文

♥ 88 ↩ 4