Today for AI
HOT RADAR
llmHEAT 8.4°

AI CLUSTERED EVENT · 10/12/2026

GPT-6 Astra Helps Amateur Prove 57-Year Circle Packing Conjecture for N≤20

1 reports archived1 independent sourcesupdated 10/12/2026, 15:48:53
Synthesis & Latest Updates
1 Sources Cross-Validated

GPT-6 Astra assisted amateur mathematician 'nor' in rigorously proving the optimal circle packing configurations for N=15 to 20, a problem unsolved since 1969. This breakthrough demonstrates large language models' capability to tackle long-standing combinatorial geometry challenges through iterative reasoning and formal verification.

LATEST/GPT-6 Astra assisted amateur mathematician 'nor' in rigorously proving the optimal circle packing configurations for N=15 to 20, a problem unsolved since 1969. This breakthrough demonstrates large language models' capability to tackle long-standing combinatorial geometry challenges through iterative reasoning and formal verification.

HEAT TRENDHourly heat curve

2 fully observed hours
Fewer than 3 fully observed hours; trend not plotted yet.

TIMELINECoverage timeline

Total 1 reports · Latest first
  1. 量子位官网T2·78 pts
    • GPT-6 Astra rigorously proved optimal circle packing for N=15, 16, 17, 18, and 20, closing gaps left open since 1969.
    • The approach involved solving N=15 first and then generalizing the method to other cases, highlighting human-AI collaborative logical transfer.
    • Despite the success, the generated proofs remain highly obscure, indicating a significant gap in model interpretability and human readability.
GPT-6 Astra Helps Amateur Prove 57-Year Circle Packing Conjecture for N≤20 | Today for AI