ND Completing the formal proof of higher-dimensional sphere packing (www.math.inc)
19 points by salkahfi 4 days ago | 6 comments on HN ~lite vlite-2.0
Summary ~lite
Math Inc. completes formal proof of higher-dimensional sphere packing using AI-assisted autoformalization.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal 194 HN snapshots · 7 evals
+1 0 −1 HN
Audit Trail 17 entries
2026-03-05 21:29 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-05 21:29 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-05 21:29 eval_success PSQ evaluated: g-PSQ=0.642 (3 dims) - -
2026-03-05 21:29 eval Evaluated by llama-3.3-70b-wai-psq: +0.64 (Strong positive) 0.00
2026-03-05 20:19 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-05 20:19 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-05 20:19 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
The content discusses a mathematical proof and does not mention human rights.
2026-03-05 20:13 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-05 20:13 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
The content discusses a mathematical proof and does not mention human rights.
2026-03-05 20:13 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-05 20:10 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-05 20:10 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-05 20:10 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Math content, no rights discussion
2026-03-05 08:06 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-05 08:06 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive)
2026-03-05 08:06 eval_success PSQ evaluated: g-PSQ=0.642 (3 dims) - -
2026-03-05 08:06 eval Evaluated by llama-3.3-70b-wai-psq: +0.64 (Strong positive)