1:50para a meia-noite
PT ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
Novo Confirmado Ciência e matemática

Axiom publica uma formalização em Lean de todo o Stacks Project, cerca de 16 milhões de linhas criadas por enxames de agentes de IA

A referência de geometria algébrica de cerca de 7.500 páginas é agora uma única biblioteca verificada por máquina; matemáticos externos ainda não avaliaram a fidelidade dos enunciados.

SNAPE REP RT
Edição 2026-11-04T1804 de nov., 18:00 UTCA singularidade, classificada a cada hora.
1:50para a meia-noite
File photo of Tencent's Binhai Mansion headquarters towers in Shenzhen
Wishva de Silva / Wikimedia Commons (CC BY-SA 4.0)

Tencent lança o Hy4 e adiciona raciocínio visual ao seu principal modelo de pesos abertos

A Tencent diz que o Hy4 é um dos modelos de pesos abertos mais fortes, mas admite que ainda fica atrás dos principais sistemas fechados em matemática de nível de pesquisa, programação de longo horizonte e perguntas visuais avançadas.

Arquivo · Edições dos últimos 30 dias
sex., 30 de outubro de 202623:0022:0021:0020:0019:0018:0017:0016:00
qui., 29 de outubro de 202612:00
qua., 28 de outubro de 202612:00
ter., 27 de outubro de 202612:00
seg., 26 de outubro de 202612:00
dom., 25 de outubro de 202612:00
sáb., 24 de outubro de 202612:00
sex., 23 de outubro de 202612:00
qui., 22 de outubro de 202612:00
qua., 21 de outubro de 202612:00
ter., 20 de outubro de 202612:00
seg., 19 de outubro de 202612:00
dom., 18 de outubro de 202612:00
sáb., 17 de outubro de 202612:00
sex., 16 de outubro de 202612:00
qui., 15 de outubro de 202612:00
qua., 14 de outubro de 202612:00
ter., 13 de outubro de 202612:00
seg., 12 de outubro de 202612:00
dom., 11 de outubro de 202612:00
sáb., 10 de outubro de 202612:00
sex., 09 de outubro de 202612:00
qui., 08 de outubro de 202612:00
qua., 07 de outubro de 202612:00
ter., 06 de outubro de 202612:00
Gratuito. Sem conta, sem rastreamento.Doar