Epoch AI 倡议发布 50 个数学未解难题清单，限定解法可自动验证

在 Epoch AI 的倡议下，数学家们于 6 月在伦敦、多伦多、洛杉矶、纽约、伯克利和剑桥六城同步举办研讨会，评选出 50 个最紧迫的数学未解难题，并限定解法必须可自动验证，以便客观检验 AI 给出的解答。