Publisher · verified by editors

TG: @ai_machinelearning_big_data (Machinelearning)

AI news source. Articles are auto-selected and adapted by Hamidun News editors.

1 articles in Hamidun·Latest: October 28· Active·t.me ↗
Subscribe

Latest publications

Axiom Math formalizes the "Enormous Theorem" in 43.1M lines of Lean in 24 days
LLMTG: @ai_machinelearning_big_data (Machinelearning)

Axiom Math formalizes the "Enormous Theorem" in 43.1M lines of Lean in 24 days

Dozens of AI agents at Axiom Math wrote about 43.1M lines of Lean, the first full computer check of the finite simple group classification. They found 34 discrepancies with publications.

Oct 28, 2026·3 min