Terence Tao 说同行现在不敢公开研究思路了,怕别人丢给 frontier model 搶先做出来,挺现实的转变。
#math research
Altman 在播客里承认发布方式有问题,但 OpenAI 不打算停手,还透露光解 NS 方程就花了 1000 万美元,听听他怎么跟数学界讲和。
奥尔特曼在斯坦福聊 AI 怎么把数学界逼到心态崩溃,700 多学者联名抗议,陶哲轩都说浪漫时代结束了,两边的说法都挺值得看看。
Meta 和 Muse Spark 在非结合代数里找到了一个猜想的反例,还给了替代刻画,喜欢数学的可以看这篇论文。
This human-AI collaboration model addresses a key question in AI-assisted research: how to maintain meaningful human oversight. The system's balance of AI automation with expert validation offers a practical alternative to brute-force approaches. Researchers can engage with the open platform to verify or improve proofs, potentially accelerating mathematical discovery while maintaining rigor.
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”,让开放模型与可负担的算力成为数学研究的共享基石。
Moonshine 把数学研究从“解题”推向“猜想的自动生成”,做AI for Science或数学自动化的研究者值得关注,它展示了智能体如何自主发现并推进新问题。
数学研究者、教育工作者和 AI 爱好者值得一看——陶哲轩的观察揭示了 AI 如何打破学术壁垒,让数学研究更开放、更高效。
陶哲轩点出了 AI 对科研思维方式的根本改变——不是替代思考,而是让犹豫变便宜。做研究、写代码、搞创新的团队看完会重新理解 AI 的价值。