标签:数学猜想

陶哲轩转发!DeepMind开源「AI数学证明标准习题集」

DeepMind最新开源形式化数学猜想库,该库由陶哲轩转发,具有重要意义。猜想库收录了经典的形式化表述的数学猜想集合,如解析数论中的四个朗道问题,还提供代...

陶哲轩高徒撬动数十年难题,这个华人研究生联手MIT解谜等差数列!

组合数学领域长久以来面临的一个难题——完全无序的数学不可能性,最近由UCLA的华人研究生James Leng和两位MIT研究生Ashwin Sah、Mehtaab Sawhney取得了突破性...