---
schema_version: '1.0'
id: news-20260704-93d046
url: https://mistral.ai/news/leanstral-1-5/
url_hash: 93d04618369d3d6e8f6300e53e565f9459a2b3e30a01b7cb92828851a8459a21
canonical_url: https://mistral.ai/news/leanstral-1-5
source: HackerNews
category: news/tech
category_raw: tech
region: usa
tags:
- it_general
- it_tech
- it_ai
lang: en
published_at: '2026-07-03T22:33:10Z'
fetched_at: '2026-07-04T08:24:53Z'
updated_at: '2026-07-04T08:25:14Z'
status: published
content_hash: null
summary: null
summary_source: null
summary_en: null
entities:
- name: it_general
  type: concept
- name: it_tech
  type: concept
- name: it_ai
  type: concept
- name: Leanstral
  type: organization
- name: ZK-Proof
  type: 技術
- name: FORZA STYLE
  type: organization
- name: ALL TOYOTA CIRCULAR STORE
  type: artifact
key_facts: []
related: []
related_auto:
- name: Anthropic
  type: organization
  weight: 1.0
- name: Wing Commander IV
  type: content
  weight: 1.0
- name: VR体験
  type: content
  weight: 1.0
- name: 7_Best_Phones_You_Cant_Buy_in_the_US_
  type: content
  weight: 1.0
- name: Dune keypad device
  type: artifact
  weight: 1.0
license_note: link-only
title: 'Leanstral 1.5: Proof abundance for all'
---

# Leanstral 1.5: Proof abundance for all

## TL;DR
（要約なし・原文はリンク先を参照 / No summary available; see the source link.）

## Key Points
- it_general / it_tech / it_ai

## Details
(本文なし。リンク先参照)

## Source
元記事: [Leanstral 1.5: Proof abundance for all](https://mistral.ai/news/leanstral-1-5/) — published 2026-07-03T22:33:10Z