AI數學家高產出論文 驗證成新難題

高產出的證明機器

該系統自二月以來在外部預印平台發布八篇論文，覆蓋數學最硬核的領域，另有六篇正在籌備，出題與完成證明可在同日內完成。消息在圈內引發熱議。

相比人類學者動輒經年的研究周期，這種效率差距被形容為降維打擊，數學界長期以來的工作節奏正面臨被徹底改寫的可能。值得留意。