AI数学发现相关资讯

AI模型推翻指数时间假设？先别急着改写教科书

TechCrunch报道，前沿AI实验室声称其模型反驳了计算复杂性理论中的指数时间假设，MIT计算机科学家受命解释OpenAI这一令人费解的发现。本文梳理ETH的含义、AI生成数学证明的可验证性问题，以及若主张成立对算法、密码学与AI科研范