Axiom Math verifica o Stacks Project com 16 milhões de linhas de código de IA
Axiom Math anunciou na quarta-feira que verificou formalmente o Stacks Project, um dos maiores conjuntos de conhecimento matemático alguma vez escritos por seres humanos. A startup, avaliada em 1,6 mil milhões de dólares, traduziu as cerca de 7 654 páginas da biblioteca em aproximadamente 16 milhões de linhas de código verificadas por computador, recorrendo a uma frota de agentes de IA. A empresa pretende criar uma base verificada em que os agentes de IA possam confiar para escrever software e,
GateAiHorizon·11-05 16:21
