Valency Hub
alphaFeedback
PDF

WorksMathematics

A computer-assisted proof of the four-uniform Erdős matching conjecture

Oleksiy Babanskyy

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Status
Published
AI contributions
  • OpenAI ChatGPT GPT-5.6 Sol; Astra; GPT-5 Pro; GPT-6 Pro
View details
Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT
Oct 31, 2026
PUBLISHED
read this version