网友称 Astra 解出 Hadwiger–Nelson 问题

Sir Lemmings @sir_lemmings原推发布于 2026.09.05

在 X 上打开原推

i'm at a Loss for words! gpt-6 astra just solved the hadwiger–nelson problem: the chromatic number of the plane is 7! just plot this: {{22.454608,-22.971549},{-10.926738,-8.840529},{10.062273,30.055562},{-22.020595,-18.134117},{10.193158,25.057275},{-10.534084,-23.835389},{9.766105,-22.303467},{9.451981,-10.307579},{-17.568736,28.331675},{-17.202258,14.336473},{9.713751,-20.304152},{-21.915887,-22.132746},{-22.256188,-9.137201},{10.35022,19.059331},{-17.437851,23.333389},{-22.15148,-13.13583},{9.609043,-16.305523},{-17.176081,13.336816},{20.680012,19.329826},{10.245512,23.05796},{-17.333143,19.334759},{23.454265,-22.945372},{20.863251,12.332225},{9.29492,-4.309635},{-10.717322,-16.837787},{9.687574,-19.304495},{-22.177657,-12.136173},{20.575304,23.328456},{14.457349,-23.180965},{-10.612615,-20.836417},{-22.334719,-6.138229},{-17.228435,15.33613},{-22.230011,-10.136858},{20.470597,27.327085},{-22.308542,-7.137886},{20.522951,25.32777},{10.297866,21.058646},{9.661397,-18.304837},{10.376397,18.059674},{-17.464028,24.333046},{24.453923,-22.919195},{-17.385497,21.334074},{-22.072949,-16.134802},{-21.968241,-20.133431},{-10.560261,-22.835731},{19.455636,-23.05008},{9.321097,-5.309292},{9.399628,-8.308264},{10.507282,13.061387},{26.453237,-22.866841},{-10.691145,-17.837445},{20.706189,18.330169},{9.478158,-11.307236},{20.496774,26.327427},{-10.638792,-19.836759},{20.601481,22.328798},{10.559635,11.062072},{20.78472,15.331197},{9.373451,-7.308607},{-11.031446,-4.841899},{-17.149904,12.337158},{-17.35932,20.334417},{-10.769676,-14.838473},{17.456321,-23.102434},{-22.046772,-17.134459},{-10.743499,-15.83813},{-10.82203,-12.839158},{-21.88971,-23.132403},{-22.125303,-14.135487},{20.837074,13.331882},{10.114627,28.056247},{-22.282365,-8.137543},{20.889428,11.332568},{9.530512,-13.306551},{-10.586438,-21.836074},{20.915605,10.33291},{-17.280789,17.335445},{10.271689,22.058303},{-17.542559,27.332018},{-10.874384,-10.839843},{20.627658,21.329141},{20.810897,14.33154},{-17.123727,11.337501},{10.140804,27.05659},{9.582866,-15.305865},{25.45358,-22.893018},{9.504335,-12.306893},{9.63522,-17.30518},{-22.387072,-4.138914},{-10.664969,-18.837102},{9.268743,-3.309977},{10.481105,14.061044},{20.455293,-23.023903},{10.166981,26.056932},{18.455979,-23.076257},{10.585812,10.062415},{9.425805,-9.307921},{10.454928,15.060702},{-11.005269,-5.841557},{-17.071374,9.338186},{-11.057623,-3.842242},{-17.490205,25.332703},{20.549127,24.328113},{9.739928,-21.303809},{-22.360895,-5.138571},{-17.516382,26.332361},{-17.306966,18.335102},{9.792282,-23.303124},{-10.952915,-7.840871},{-17.594913,29.331333},{20.732366,17.330512},{-10.979092,-6.841214},{16.456664,-23.128611},{10.533459,12.06173},{10.219335,24.057618},{20.653835,20.329484},{10.428751,16.060359},{-10.848207,-11.839501},{-17.097551,10.337844},{15.457007,-23.154788},{-22.203834,-11.136515},{21.454951,-22.997726},{-22.099126,-15.135145},{20.758543,16.330854},{10.324043,20.058988},{9.556689,-14.306208},{-21.863533,-24.132061},{-10.900561,-9.840186},{10.402574,17.060016},{10.08845,29.055904},{-17.411674,22.333731},{-21.942064,-21.133089},{9.347274,-6.308949},{-17.254612,16.335788},{-10.795853,-13.838815},{-21.994418,-19.133774}}