陶哲轩工作流-人工智能数学验证+定理发明工具LEAN4 [经典数学篇1]从零开始证明3次方程的求根公式的充要条件(重制上)
视频链接,创作不易,记得投币哦:陶哲轩工作流-人工智能数学验证+定理发明工具LEAN4[经典数学篇1]从零开始证明3次方程的求根公式的充要条件(重制上)_哔哩哔哩_bilibiliimportMathlib.Tactic.LinearCombinationimportMathlib.RingTheory.Polynomial.Cyclotomic.RootsimportMathlib.Data.P