- Published on
Mistral AI has released Leanstral 1.5, an open-source code agent model for the Lean 4 proof assistant, capable of solving 587 out of 672 problems from the PutnamBench benchmark.
AI
- Published on
Current AI, a non-profit global partnership, has released the Open Source AI Gap Map, an ambitious effort to index the state of open source AI.- Published on
Anthony Albanese's favorite Australian musicians are urgently pleading with the prime minister to protect their copyrights from artificial intelligence companies that have already scraped their work without permission.- Published on
Interfaze, a Y Combinator-backed startup, has open-sourced what it claims is the first multilingual diffusion-based automatic speech recognition (ASR) model.- Published on
A new open-source coding agent called llm-coding-agent 0.1a0 has been released, promising to automate software development tasks through a set of file and command manipulation tools.