旧问题,新证明
Terence Tao 在他的博客上描述的一个非常酷的倡议。一个数学黑客马拉松,旨在为已知陈述寻找新证明、更好的解释,并总体上帮助加深人类对各种数学内容的理解。
引用:@Caltech 社区和 SAIR 正在重新设计并共同组织 Mathathon:Old Problems, New Proofs。
探索替代证明和更清晰的解释,使用 AI 加深人类理解。
更多内容见我们的联合创始人 Terence Tao 的博客:
https://t.co/1cw7Zk2Jra
这是我期待的 AI 应用类型。
更好地理解世界,新的物理学,新的工程学,新的化学。
引用:一个在聚变物理领域持续了59年的猜想刚刚被推翻。
Harold Grad (1967):平滑的三维等离子体平衡不可能存在,除非压力是恒定的,或者存在对称性。
本周:三类反例。2篇独立的论文,相隔一天发布。其中两篇是用 GPT-6 Astra 发现的。
对仿星器来说意义重大。