TechCrunch · AI· Aditya Mehta·· há 9 diasNota da IA71
Axiom Math formaliza o Stacks Project com agentes de IA e cria base verificada em Lean
Axiom Math wants to keep AI slop out of mathematics
AI Panorama
A Axiom Math anunciou a verificação formal do Stacks Project, uma das maiores coleções de matemática escrita por humanos, iniciada em 2005 por Johan de Jong.
Fonte:TechCrunch · AI · techcrunch.com