炸锅了!这几天一直在追数学界围剿OpenAI这场大戏,感觉比追世界杯决赛还刺激。10月6日,OpenAI把一批千禧年难题等重要数学猜想的"解法"打包成开源仓库甩上GitHub,用GPT Pro模型攻关,据说平均三个小时就能"啃"下一个数学博士研究一辈子的方向。
AHM人类数学协会直接发出严正呼吁,要求所有数学家停用OpenAI,连陶哲轩都转发了相关声明,看来这回是要动真格集体拉黑了。发现了一个现象,声明里点名一次性发布700多份文件并非学术诚信的体现,而且这些难题根本没有数学家委托OpenAI去解,这肯定不是学术合作,是绕开整个学科的单方面闯门。
从技术而言,AI能力的进步惊人,去年的模型还在奥数题上翻车,今年的Pro模型已经敢碰人类百年没解开的猜想。菲尔兹奖已经迟暮,闭门造车的评奖体系没有未来了。
