Leanstral 1.5: Proof abundance for all(mistral.ai)
353 points by programLyrique | 94 comments
Mistral AI research blog post announcing Leanstral 1.5, a model for generating formal proofs in the Lean theorem prover.
First screen, captured .
Looks similar
Mistral raises €3B(mistral.ai)
774 points by kuberwastaken | 553 comments
Mistral AI company announcement of a €3 billion funding raise to advance sovereign, open-weight frontier AI models.
Mistral X Mozilla: Private, Multilingual AI Browsing(mistral.ai)
535 points by vertigoruntime | 186 comments
Mistral AI announcement of a partnership with Mozilla to bring open, private and multilingual AI features to the web browser.
Sequoia backs Zed(zed.dev)
421 points by vquemener | 283 comments
Zed blog post announcing a $32M Series B led by Sequoia Capital to fund its vision for collaborative coding in its IDE.
Why LLMs can't really build software(zed.dev)
321 points by srid | 196 comments
A Zed blog post by Conrad Irwin arguing that LLMs cannot really build software, drawing on his experience of what effective software engineers do.
Mea Culpa – Dark Hours(blog.terrygodier.com)
568 points by satvikpendem | 255 comments
Terry Godier's blog post apologizing for problems with Dark Hours, a website he launched to show what can be seen in the night sky.
Related stories
Codestral: Mistral's Code Model(mistral.ai)
418 points by alexmolas | 185 comments
Mistral AI blog post from May 29, 2024 announcing Codestral, its generative AI model for code.
Mistral releases Devstral2 and Mistral Vibe CLI(mistral.ai)
707 points by pember | 321 comments
Mistral AI announcement of Devstral 2, open-source agentic coding models, and the Mistral Vibe CLI coding agent.
Timestral: Mistral's time-series foundation models(mistral.ai)
557 points by groar | 104 comments
Mistral AI blog post announcing Timestral, a family of time-series foundation models.
My finetuned models beat OpenAI's GPT-4(mlops.systems)
376 points by majc2 | 86 comments
Blog post evaluating finetuned Mistral, Llama3 and Solar LLMs against OpenAI's GPT-4 on accuracy for structured data extraction from press releases.
Mistral's Robostral Navigate: a state of the art robotics navigation model(mistral.ai)
454 points by ottomengis | 99 comments
Mistral AI announcement introducing Robostral Navigate, a robotics navigation model, shown with a demo of navigating an office space.
Notes on OpenAI's new o1 chain-of-thought models(simonwillison.net)
641 points by loganfrederick | 566 comments
Simon Willison's blog post with notes on OpenAI's o1-preview and o1-mini models, covering chain-of-thought training, API details, hidden reasoning tokens and examples.