AIProofWatch
← Explore interestsIndividual problem

Maximum matching in general graphs

A matching chooses edges without shared endpoints.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

A matching chooses edges without shared endpoints. Maximum-cardinality matching asks for as many edges as possible, including in graphs that are not bipartite.

Read the claim in its exact mathematical setting. A manuscript is a research report; its presence in this catalog does not establish that the proof has been independently verified or that the historical novelty assessment is complete.

Why it matters

A focused research target whose precise scope can be followed separately from the general capability of an AI system.

What counts as progress

A sourced new theorem, construction, bound, algorithm, or formalization with its baseline and evidence stated.

What to watch for

  • Check the formal statement, assumptions, and cited prior results against the claimed improvement.
  • Keep author-reported checking, independent checking, and manuscript availability separate.
  • Track revisions to the pinned source and any subsequent expert assessment.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.