近日，菲尔兹奖得主、知名数学家Timothy Gowers在其博客发文探讨大语言模型（LLM）在数学研究中真正擅长的任务类型。他指出，目前LLM参与解决的许多著名数学问题，几乎都是通过构造反例来完成的，而不是给出完整严格...

上周刚获得数学界最高荣誉菲尔兹奖的加拿大数学家Jacob Tsimerman，已从多伦多大学申请长期休假，转而加入OpenAI，专注于人工智能安全研究。这一动向不仅展现了基础科学前沿与AI产业的深度交融，也再次印证了AI安全...