“…Using the flag algebra semidefinite method, we were able to obtain the bound ∀ ∈ Hom + ( 0 , ℝ), ( 4 ) ⩽ 0.157516, subject to floating point rounding errors. This suggests that the conjecture is true and that there may be a straightforward (but numerically intensive) proof using the semidefinite method and rounding techniques (see [1,10,11,14,22] for some examples). The intuition of the recursive construction of , is that at every step we have one part −1 ⧵ that maximizes the density of ⃗ 3 (hence is almost balanced) and another part whose vertices all beat the first part.…”