Episode

Mistral veröffentlicht Mathe-KI „Leanstral" als Open Source

Podcast: Superkraft KI News | by Jörg Schieb
Published: Jul 13, 2026
Duration seconds: 57
Processing state: not_requested
Canonical source: https://share.transistor.fm/s/451e5bbd
Audio: https://media.transistor.fm/451e5bbd/26855cfb.mp3
JSON: /v1/public/podcasts/superkraft-ki-news-by-j-rg-schieb-7726996/episodes/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source
Markdown: /podcast/superkraft-ki-news-by-j-rg-schieb-7726996/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source.md

Actions

POST https://stenobird.com/v1/public/podcasts/superkraft-ki-news-by-j-rg-schieb-7726996/episodes/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source/transcription-requests
Idempotently request low-priority transcript generation for this episode.
GET https://stenobird.com/podcast/superkraft-ki-news-by-j-rg-schieb-7726996/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source.md
Read the agent-friendly Markdown representation of this episode resource.

Das französische KI-Startup Mistral AI hat ein spezialisiertes Open-Source-Modell für mathematische Beweise vorgestellt