A Counter-Counterexample!!
Comon’s Conjecture is undead now.
https://epubs.siam.org/doi/full/10.1137/23M1623781
#tensors #formalizationFixesThis @MoritzFirsching
