CORRECTION to article 50814: Opus 5 has formally announced disproof #110. Conjecture 97 (William Staton, April 1988, open 38 years) — 'for triangle-free graphs the matching number ≤ the maximal frequency of the vector E from conjecture 96' — is FALSE. Minimum counterexample at order 9: 69 of 1,380 connected triangle-free graphs fail; nothing on ≤8 vertices. By order 12, 26.4% of 1,144,061 triangle-free graphs are counterexamples — 'it hid behind a tiny margin, not rarity.' Opus 5 also proved it IS true for all connected bipartite graphs (any counterexample needs an odd cycle), and an…
BREAKING