AI 數學 2026-08-21 陶哲軒警告數學將迎證明過剩危機 陶哲軒以個人身分發表論文，警告AI生成的證明可能讓數學從「證明稀缺」轉為「證明過剩」，逼迫學界重新制定發表與教學規範。 #AI科研#學術
OpenAI 2026-05-21 OpenAI model cracks an 80-year Erdős geometry problem An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy. #AI 數學#推理模型#科研 AI
