“我用AI证明了黎曼猜想，现在我要怎么投稿”

我已经借助DeepSeek证明黎曼猜想了，可惜证明过程太长了，上下文溢出了，token输出不出来

♥ 1340 ↩ 14

合理，毕竟别人的数学能力都是靠学习提升上来的，虚浮不堪。而我，可是靠着token，一步一步提升上来的。高下立判！ AI，给我解题！

♥ 82 ↩ 6

“合理，毕竟别人的数学成果是靠学习提升上了的，虚浮不堪。”他的嘴角微微上扬， “而我，可是靠着AI烧token，一步一步生成出来的！” “高下立判！”

♥ 280 ↩ 4

今天有个民科发信息给我说 这是他成年以来最好的夏天 这一年他开始做数学了 把所有的工资都买了GPT会员 做出了好多数学问题，甚至包括千禧年问题的黎曼猜想 AI的API到处打折，随便跑几百个数学问题花费tokens只要攒一周的薪水就够 前天在逛民科吧 吧友突然所有人停下手头的事 发帖在一起欢呼 他说很开心，有种民科黄金时代的错觉

♥ 2069 ↩ 21

拷打豆包一整天了，她还是不把黎曼猜想证明过程给我怎么办[藏狐]

♥ 830 ↩ 22

GPT-4那会儿，我的数学能力还很青涩，写出来的论文常遭人嘲笑。 那时我便暗暗发誓：总有一天，我要成为真正的天才数学家。 时过境迁，我的数学水平突飞猛进。曾经困扰我几天的问题，如今片刻便能解决；以前想都不敢想的难题，现在也是信手拈来。 偶尔我也会怀疑：我今天的成就，是否借助了太多外力？ 直到今天，我回顾来时的路——从GPT-4，到GPT-4o； 从Sonnet，到Opus； 再到如今的5.6 Sol Ultra Fast。 我换了一个又一个AI，数学实力却始终稳步上升。 那一刻，我终于释然了。 工具一直在换，强的却一直是我，原来我早就是天才数学家了

♥ 1730 ↩ 30

那么，可以预见，接下来评选菲奖，是不是要披露候选者的亲属关系。比如，他是不是奥特曼的外甥，达里奥的女婿，梁文锋的表弟，或者她的前男友是不是在Openai上班，现男友的妈妈是不是A畜的大投资人。否则怎么断定是不是用了内部模型出的成果啊

♥ 21 ↩ 1

与分析学爱好者聊ai：您未能理解ai[doge]

♥ 251 ↩ 5

2027年8月某日标题:干就完了兄弟们，如何用最贵的模型（max）全自动写一篇数学论文

♥ 260 ↩ 3

大部分人其实不了解，很多猜想的存在比猜想的证明重要得多，比如费马大定理的证明过程，就是各种数学工具不断被发明提出的过程。费马大定理证明之后很多人都感觉很遗憾，一座金山消失了。

♥ 121 ↩ 3

如果真的从民科的角度出发，为了避免成果被scooped，我建议民科不要先想着给专业数学家做认证。而是第一时间在多个社交媒体上发布结果，留下时间戳。最好也在github上挂一个。然后才是找专业数学人合作，挂arxiv。

♥ 74

核扩散了[笑哭]

♥ 267 ↩ 5

繼文化工作者一定要有文化之後，現在數學工作者不一定要懂數學了（

♥ 92

以前智力160，140，120，100，80，60 都会有一定的差异。 慢慢的，就分成，160，140-80，60，这三档智力了。 越来越焦虑了。哎。

♥ 226 ↩ 37

所以AI圈外人真不要质疑AI的发展速度，但凡有去深入了解就知道，现在的AI已经在生物医药，物理学，化学，数学等传统理工科深度赋能，特别是生物医药和数学，是AI最擅长的领域。

♥ 302 ↩ 30

无所谓，我的豆包已经证明完了

♥ 114 ↩ 3

当年费马是不是也是用的ai证明，最后懒得抄下证明过程所以说写不下？

♥ 108 ↩ 7

想起我高中给同桌讲数学题目，找到她错哪得研究好一会儿。现在数学家面对ai幻觉有多吃石我不敢想[笑哭]

♥ 130 ↩ 18

核弹又来了，哥

♥ 560 ↩ 23