gpt-6IMAGE

GPT-6 Astra used to prove optimality of 15-20 equal circle packings

The author says GPT-6 Astra was used for computer-assisted proofs confirming that the classical packings of 15, 16, 17, 18 and 20 equal circles in a circle are optimal, closing the remaining open cases for N ≤ 20.

nor

@norxornorArchived 19 days agoOriginally posted 2026.10.11

GPT-6 Astra used to prove optimality of 15-20 equal circle packings

nor @norxornorOriginally posted 2026.10.11

Open original on X

Computer-assisted proofs that the classical packings of 15, 16, 17, 18 and 20 equal circles in a circle are optimal, using GPT-6 Astra. These were the remaining open cases for N ≤ 20 (previously proved only for N ≤ 14 and N = 19). (1/n)

x.com/norxornor/status/2109078411251454017Archived 2026.10.13 10:11