“我是智能学派民科，我真用AI做出了数学成果”

蹬了GPT一天半，把一个猜想从60顶点（8月2号上的arxiv）推进到69顶点，然后传上github准备投稿了才突然发现已经有人在git上传了104顶点的项目（8月12号）[Mygo表情包_让我看看]看来低垂的果实不好摘了[Mygo表情包_让我看看]

♥ 388 ↩ 11

为我们民间智能学派添砖加瓦，我直接把提示词发出来[给心心]

♥ 263 ↩ 24

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

♥ 216 ↩ 7

up你是不是太焦虑了

♥ 138 ↩ 47

没招了，成果爆炸，我甚至三天就能甩老师脸上一篇过去顶刊级别的论文，但是自己消化这个结果可能需要三个月。但是智能学派民间数学家就不用担心了，没有身份的限制可以想干什么干什么。[doge]

♥ 97 ↩ 7

一想到我学高数的时候，我试着让 AI教我做题，可GPT大人连导数都算不明白，现在都能解决各种数学问题了，就感觉我生错了时代[大哭][大哭][大哭]

♥ 93 ↩ 6

我们地信专业low hanging fruit到处都是，大多还都是只跑跑代码分析数据就能做出成果。据我所知已经有课题组使用ai开始批量采摘了，但奈何我老师是究极传统派。

♥ 88 ↩ 6

马上数学圈也得感受到ai会议那种被ddos投稿攻击的感觉了[笑哭]

♥ 88

现在民科数学家最大的困境是arxiv投稿的endorsement

♥ 77 ↩ 7

事实上up主说的技术与知识平权也只是仅限于前大模型时代，而可预料的是，随着大模型越来越发展。普通人能用的，往往是： · 阉割版、降智版 · 或者，开源模型的“安全版” 最强大的智能，正在从“公共知识”变成“战略资产”，从“人人可用”变成“极少数人手中的特权”。 Mythos 5只给200家企业用，真正的最聪明的智能体 由政府和几家顶尖公司决定谁能用谁不能用。这不是知识平权，这是AI正在把知识收回——我们可能能得到新知识 但永远不知道最前沿大模型怎么运作，甚至连怎么提问都不知道。

♥ 76 ↩ 23

有没有一种可能，那种担保拿四大的论文工厂可能不是诈骗了。建几个agent，批量跑不同的公开问题，AI互相验证，出了可能的成果，雇几个人类数学家手工验一遍润色一下行文，就可以投稿了。你去买论文和逛超市一样简单，自己研究方向的挑几篇就可以。也许还有保菲奖package，十几个论文打包

♥ 60 ↩ 9

充了gpt的plus之后，每次做专业上的正事就让他后台挂一个数学猜想让他证明[doge]

♥ 48 ↩ 3

能用上gpt已经把原教旨智能学派排除在外了

♥ 48 ↩ 7

Up的焦虑其实是，这无疑是一个数学的黄金时代，却不是一个官方数学家的黄金时代，甚至是官方数学家将要进入黑暗时代。

♥ 43 ↩ 3

以后会不会涌现一大批工科背景，有本科的数学水平，喜欢研究数学但又没有科研背景的民间数学家，借助AI迅速掌握前沿数学工具，解决高质量的数学问题

♥ 42 ↩ 10

现在用ai做出数学成果跟吃饭喝水一样平常，我几乎每天都有新成果，就在几分钟之前，用ai辅助解决了一个染色方面的小猜想，那我是不是也要发到网上吹嘘一下[吃瓜]

♥ 36 ↩ 4

主播主播，我也配置了一个lean环境和一个雷霆大规划，如果真的从可信基座做出成果，我想上电视[doge_金箍]创新点是基于5.6sol网页版做指指点点能否增强v4flash注意力[傲娇]

♥ 28 ↩ 3

天文咋就不数学了，天文就是整体狂算各种张量

♥ 26 ↩ 6

以前数学是物理绕不过去的大山，现在ai好像已经把在山上把公路修好了[藏狐] 虽然还是有点门槛但对大多数人而言不至于跨不过去了 这次ai数学的突破感觉会很快外溢到其他领域去啊

♥ 25