商业 · zh
OpenAI，在制造“数学基础危机”吗
OpenAI的一个内部模型Astra，在数学及理论计算机科学领域，最近解出了10个悬疑多年的开放难题，或者取得了实质性的进展。这些问题涵盖了高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等领域。其中有些问题在整个数学领域也具有广泛的意义。 求解这些问题，至少需要10位数学家，在各自领域可能会耗费大量的时间。但Astra全部解答它们，仅用了约2000美元的token。 AI在求解数学难题方面的能力，已经超越了博士水平，并且正在加速提升。数学家陶哲轩把AI对于数学的冲击，比作一百多年前所发生的数学基础危机（crisis in foundations)。…
