AI刚刚在数学领域跨越了一个门槛。 @tachim CEO @HarmonicMath谈论AI如何改变数学验证： “在一年前，使用AI形式化证明几乎是不可能的。现在它被接受得非常快。” “以前，如果你解决了一个Erdős问题，你需要一位教授为其担保，这样会冒着损害他们声誉的风险，并花费大量时间。” “现在任何人都可以尝试解决方案，进行形式化，大家都可以确信这是正确的。”