lean_workbook_plus_65582

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

hello, you can solve this here $- \left( -{x}^{6}+\sqrt {3}{x}^{3}-1 \right) \left( {x}^{6}+\sqrt {3}{x}^{3}+1 \right) =0$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65582 (x : ℝ) : -(-x^6 + Real.sqrt 3 * x^3 - 1) * (x^6 + Real.sqrt 3 * x^3 + 1) = 0   :=  by sorry

Source