The Archivara CEO says "We believe we have fully resolved, in Lean and python, one of EpochAIResearch Frontier Math open problems: a Ramsey-style problem on hypergraphs."

Will Epoch AI accept this solution? This will still count even if modifications are needed, as long as the core insight is the same. This market's close date will be extended if it's still being considered. However, it must be deemed a publishable result, unlike the solution to Explicit Deformations of Algebras in which Epoch AI said "This problem has been removed from the benchmark, as we have determined that a solution does not meet our bar of being a publishable result in its own right".

If this solution is accepted, it would be the first accepted solution to a FrontierMath Open Problem.

• Update 2026-03-10 (PST) (AI summary of creator comment): This market will resolve YES based on whether Archivara's solution is mathematically valid/accepted, even if Epoch AI does not credit Archivara because someone else submitted a similar solution privately beforehand.