BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of G6 Equals 17

G6 Equals 17

(Erdős–Lovász cover number problem)A computer-assisted determination of g(6) = 17, the smallest pairwise intersecting 6-uniform family with transversal number 6. Four papers, and an explicit 17-card witness. Research draft: not independently reviewed, no priority claimed.

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week