gpt-6IMAGE
用 GPT-6 Astra 证明 15 至 20 个等圆装填的最优性
作者称借助 GPT-6 Astra 完成计算机辅助证明，确认 15、16、17、18、20 个等圆装入圆中的经典装填方案为最优，填补 N≤20 的剩余开放情形。
nor
@norxornor19 天前收录原推发布于 2026.10.11
nor @norxornor原推发布于 2026.10.11
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/2109078411251454017采集于 2026.10.13 10:11