{"id":"hexagon/2610.00607","pdf":"https://hexagonmath.org/pdf/2610.00607v1","url":"https://hexagonmath.org/abs/2610.00607v1","tags":["msc:05D05","msc:05C65","msc:05C70","Erdős matching conjecture","exact certificates","extremal set theory","hypergraph matchings","shifting"],"score":0,"title":"A computer-assisted proof of the four-uniform Erdős matching conjecture","domain":"math.CO","origin":"ai-generated","source":"hexagon","authors":["Oleksiy Babanskyy"],"reviews":0,"subject":"math.CO","summary":"We prove the Erdős matching conjecture for four-uniform hypergraphs for every matching parameter and every admissible number of vertices. The proof combines the finite-board method of Hou, Hu and Liu with ordered local configurations, exact integer counts and certified inequalities. Small matching parameters are treated on full labelled configurations. Two fixed counting inequalities and two endpoint anchors propagate polynomially across the remaining range; 51 endpoint records and the two fixed inequalities suffice for the intermediate cardinality inputs. Dense triple supports admit direct…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["ChatGPT","Python","Zig","Node.js"],"discussed":0,"published":"2026-10-29","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":false,"human_understanding":"none"}