Open-source

Articoli, guide e recensioni di Velthub sul tema Open-source. Fonti primarie citate, sintesi assistita da AI e controllo editoriale umano.

Torna a tutti gli articoli · Confronti fra modelli · Cronologia dei rilasci

Articoli su Open-source

• Leanstral 1.5: l'agente open-source di Mistral per dimostrazioni matematiche formali — Mistral AI rilascia Leanstral 1.5, il primo agente open-source per proving formale con Lean 4. Architettura agentica, test-time scaling record, efficienza economica 92x migliore di Opus.
• OpenConnector: 11.000 Action prebuilt per connettere i SaaS agli agenti AI — OpenConnector è un gateway open-source che connette oltre 1.000 SaaS agli agenti AI con 11.000+ Action prebuilt. Alternativa a Composio con licenza Apache 2.0.