Hoppa till innehåll
Ämne

miniF2F

3 artiklar om miniF2F. Senaste lanseringar, EU-status, regelverk och redaktionell analys — allt på ett ställe.

Mistral AI lanserar Leanstral 1.5 – öppen AI-modell för matematik
LanseringTillgängligt

Mistral AI lanserar Leanstral 1.5 – öppen AI-modell för matematik

2 min läsningLäs artikel
Mistral AI släpper Leanstral 1.5 för formell verifiering
LanseringTillgängligt

Mistral AI släpper Leanstral 1.5 för formell verifiering

2 min läsningLäs artikel
Mistral lanserar Leanstral 1.5 för teorembevisning
LanseringTillgängligt

Mistral lanserar Leanstral 1.5 för teorembevisning

2 min läsningLäs artikel
Mer från Aheadline
Startsidan·Alla ämnen·Toppnyheter·EU-bevakning·Verktygskatalog