The Frobenius form conjecture for primitive axial algebras of Monster type

Let $A$ be a primitive axial algebra of Monster type, with set of axes and Miyamoto group acting on $A$. Frobenius form conjecture. Every such algebra admits a Frobenius form which is non-zero on the axes and invariant under the action of the Miyamoto group. The conjecture extends the corresponding property known for axial algebras of Jordan type and observed in other known examples; the paper's constructed examples all possess such forms, but the general case remains unresolved.