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

Page: https://stenobird.com/podcast/superkraft-ki-news-by-j-rg-schieb-7726996/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source
Text version: https://stenobird.com/podcast/superkraft-ki-news-by-j-rg-schieb-7726996/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source.md
Podcast: [Superkraft KI News | by Jörg Schieb](https://stenobird.com/podcast/superkraft-ki-news-by-j-rg-schieb-7726996)
Published: 2026-07-13T07:32:24+00:00
Episode link: https://share.transistor.fm/s/451e5bbd
Audio file: https://media.transistor.fm/451e5bbd/26855cfb.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/superkraft-ki-news-by-j-rg-schieb-7726996/episodes/mistral-ver-ffentlicht-mathe-ki-leanstral-als-open-source
Duration seconds: 57

## Resource

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

## Actions

- request_transcript: `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.
- read_markdown: `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.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.