Boson AI's Higgs Audio v3 recognizes speech in 94 languages, understands emotions, and surpasses competitors in accuracy for key languages.
Mistral has released Leanstral, an open-source AI agent for formal code verification in Lean 4, capable of not only writing programs but also proving their correctness.
AI: Events
Open Superintelligence Stack: How Prime Intellect and NVIDIA Are Creating an Open Infrastructure for AI Training
Infrastructure
Prime Intellect and NVIDIA have teamed up to make training powerful AI models accessible not only to large corporations but also to a wide range of researchers.
Google is strengthening the security of open-source software by introducing new tools, investments, and AI-driven approaches to combat code vulnerabilities.
Hugging Face has reviewed the progress of open AI: the growth in models, datasets, and Spaces has hit new highs, while the community continues to expand.
AI: Events
Alibaba Open-Sources HiClaw and CoPaw: AI Agents That Don't Need Powerful Servers
Development
Alibaba has released the source code for two AI agents, HiClaw and CoPaw, which use significantly less memory and can run locally without relying on cloud infrastructure.
Alibaba has open-sourced the HiClaw and CoPaw bundle – a lightweight solution for AI agents that consumes significantly less memory and runs locally.
Red Hat and NVIDIA are expanding their collaboration: open models from the Nemotron family now have day-one support on the AI Factory platform.
Microsoft and Fireworks AI have teamed up to give developers access to high-speed open models directly within the Azure ecosystem – cutting out the middlemen and eliminating infrastructure headaches.