OpenAI称1000万美元证明明年或降至10万美元

据Crypto Briefing发布，OpenAI称其价值1000万美元的Navier-Stokes证明明年成本可能降至100000美元，AI驱动数学证明的成本大幅降低或使复杂问题求解更普及，并影响研究动态。