下面这篇文章可以看出只要你使用AI,你马上就变成了AI的养分——————————OpenAI 称内部比 GPT-6 Astra 更强的模型,用约 1 万个智能体、88 小时,给出三维不可压缩 Navier–Stokes 的有限时间爆破证明,并附 Lean 形式化!但几乎同时,NYU 的 Tristan Buckmaster 与 Anthropic 的 Levent Alpöge 公布了相近路线和方程结果,并指责 OpenAI 通过 Codex 会话翻看了他们的数据 。。。
现在 OpenAI 发帖承认“无法完全排除使用数据帮过模型”😆 在这场理论冒充的背后,充斥着商业犬儒主义。通过私密的 Codex 交互记录、学术界尚未正式发表的预印本顺手牵羊、套取学者的研究线索,随后又以 Levent Alpöge 就职于竞争对手 Anthropic 为由试图抹去他的学术贡献——OpenAI 的行径宛如硅谷的封建领主:掠夺独立学者的智力成果,再对提出抗议的人施加职业威胁,将学术共同体的集体劳动据为己有,转化为公司私有化的公关通稿。
不过从最近 AI 对科研的辅助进展可以看出:执行层(搜构造、写证明、过 Lean、铺算力)正在快速贬值;选题、立规则、验证物理意义、准守发表伦理、以及「证明被理解而不只是被验证」,仍是人类的护城河。虽然护城河在变窄,但它还没被宣布取消🤔
科学是对优雅、物理真实与终极严谨性的求索,旨在破译现实世界的底层密码。真正的 AGI 绝不可能诞生于隐藏在暴力算力背后的学术巧取豪夺,而必将来自能够催生全新认知范式的基础架构!