Mistral AI on HN
9 posts with 250+ points in 2026
Posts by Month (9 total)
Hacker News Posts
| Title | Points | Comments | Date |
|---|---|---|---|
| Voxtral Transcribe 2 | 1,012 | -- | 2026-02-04 |
| Leanstral: Open-source agent for trustworthy coding and formal proof engineering | 783 | -- | 2026-03-16 |
| Mistral AI Releases Forge | 733 | -- | 2026-03-17 |
| Mistral Medium 3.5 | 500 | -- | 2026-04-29 |
| Mistral's Robostral Navigate: a state of the art robotics navigation model | 488 | -- | 2026-07-08 |
| Mistral's Shieldstral: 3B open-weights model for multimodal moderation | 481 | -- | 2026-08-04 |
| Mistral OCR 4 | 473 | -- | 2026-06-23 |
| Leanstral 1.5: Proof abundance for all | 372 | -- | 2026-07-03 |
| Leanstral 1.5 | 310 | -- | 2026-06-30 |