标签：数学猜想
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind最新开源形式化数学猜想库，该库由陶哲轩转发，具有重要意义。猜想库收录了经典的形式化表述的数学猜想集合，如解析数论中的四个朗道问题，还提供代...
陶哲轩高徒撬动数十年难题，这个华人研究生联手MIT解谜等差数列！
组合数学领域长久以来面临的一个难题——完全无序的数学不可能性，最近由UCLA的华人研究生James Leng和两位MIT研究生Ashwin Sah、Mehtaab Sawhney取得了突破性...
