Editora · verificada pela redação

TG: @ai_machinelearning_big_data (Machinelearning)

Fonte de notícias de IA. Os artigos são selecionados e adaptados pela redação do Hamidun News.

1 artigos no Hamidun·Último: 28 de outubro· Ativo·t.me ↗
Assinar

Últimas publicações

Axiom Math formaliza o “Teorema Enorme” em 43,1 milhões de linhas de Lean em 24 dias
LLMTG: @ai_machinelearning_big_data (Machinelearning)

Axiom Math formaliza o “Teorema Enorme” em 43,1 milhões de linhas de Lean em 24 dias

Agentes de IA da Axiom Math escreveram cerca de 43,1 milhões de linhas em Lean e verificaram por computador, pela primeira vez, a classificação dos grupos simples finitos. Há 34 divergências.

28 de out. de 2026·3 min