RT @dotey: 最近數學圈發生了一件很有趣的事。 世界頂尖數學家陶哲軒在解決一個Erdős(埃爾德什)的經典問題時,全流程都在用AI 做助手——從證明草案,到簡化證明,再到形式化驗證。 Erdős…