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
Machine checks

No machine checks are available from the Hub API for this paper.