GPT-6 Astra helps mathematics enthusiast nor prove five circle-packing cases

What happened

QbitAI reports that mathematics enthusiast nor used GPT-6 Astra to prove optimality for packing 15, 16, 17, 18, and 20 unit disks inside a circle, completing the remaining cases for N≤20. The approach combines geometric constraints, finite computational enumeration, and exact optimality arguments. Nor describes substantial human involvement, including guiding the model, fixing issues, manually verifying validity, and rechecking the work with Astra and Opus 5.5.

The story so far

Mathematics enthusiast nor used GPT-6 Astra to prove the optimality of arrangements of 15, 16, 17, 18, and 20 unit disks inside a larger circle, completing the remaining cases for N≤20, QbitAI reported. The problem is to establish that each arrangement fits inside the smallest possible enclosing circle. The approach combines geometric constraints, finite computational enumeration, and exact optimality arguments. Nor described substantial human involvement: guiding the model, fixing issues, manually checking the validity of the work, and rechecking it with Astra and Opus 5.5.

Keep reading

Trending now

1. 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
2. 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
3. 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
4. 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights