Nor Uses GPT-6 Astra to Prove Five Circle-Packing Cases, Completing N≤20

1 reports 1 reporting sources 5 days agoNew

Understand the event

AI overview

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.

Generated by AI from reports · Updated 4 days ago

Latest development10/12 15:48 (UTC+8)

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

Report timeline

Follow the reports to explore different sides of the event.

10/12

15:48
量子位Picks
GPT-6 Astra helps mathematics enthusiast nor prove five circle-packing cases
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.

Event heat trend

可比范围当前: 3
Peak within comparable coverage: 710/13 05:00 (UTC+8)
近 24 小时变化: -49%

Trends compare the same continuously observed participants, which may cover fewer sources than current heat. Point or click to inspect hourly heat, or use left and right arrow keys.

Keep reading

Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation Pipeline