Specifically, will before October 2026, will there be a proof of the existence of a non-hyperlinear group?

If so, this would negatively resolve a long-standing open question about if all groups are hyperlinear.

This was described as a major open problem in group theory, and a “holy-grail” alongside two other questions.

This question resolves YES if a proof created this month resolves the problem and goes on to be considered valid by others. If it takes longer than September to verify but the proof was written in September, it still resolved YES.

If all groups are hyperlinear, this resolves NO. If no valid proof from September comes about, this resolves NO.

I will bet on this market and have insider (publicly accessible) knowledge which leads me to believe the answer will be YES.