OpenAI稱1000萬美元証明明年或降至10萬美元

據Crypto Briefing發布，OpenAI稱其價值1000萬美元的Navier-Stokes証明明年成本可能降至100000美元，AI驅動數學証明的成本大幅降低或使復雜問題求解更普及，並影響研究動態。