Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Leanstral 1.5

docs.mistral.ai

Post reply on HN
Print view View original

61–70 of 158 posts

Re: Leanstral 1.5

#61

Post by puppymaster »

Grimblewald wrote: post #33

Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…

I laughed and cried at this comment. It's so uncannily EU. Just spent 18 months landing an EU enterprise contract. Signed today and sent it back and got an automated message 'sorry will be on vacation til end of July...' This is the fourth vacation emails I got since corresponding with this contact window for the past 1 year.

Re: Leanstral 1.5

#62

Post by urbsgpw »

cavenditti wrote: post #50
refulgentis wrote: post #21

Earlier quoted context omitted.

OCR is off the charts good on every metric you can think of. LLMs are a near-afterthought at this point if you don’t have data residency requirements. I love them and they’re slightly under rated, their models are consistently well-trained, open, but as you note, behind. There is no metric that will say they’re ahead in anything.

This. Best OCR provider by measure and it’s been for years

Hmm, not sure I'd agree. I really like google's offering there (they suck at coding agents but their OCR is good value for money - well up till the latest flash model which has got wicked expensive). See also https://www.ocrarena.ai/leaderboard I know these leaderboards are iffy, but at least my experience has been somewhat similar.

Re: Leanstral 1.5

#64

Post by yfontana »

vlian2088 wrote: post #57
helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

[flagged]

That act applies just as much to those American and Chinese models within the EU.

Re: Leanstral 1.5

#65

Post by petesergeant »

vlian2088 wrote: post #57
helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

[flagged]

Given that American and Chinese models exist in an environment where the executive can and will pull models because the vibes are off, or they don't think a company is sufficiently deferential or politically aligned, this feels like false attribution.

Re: Leanstral 1.5

#66

Post by Sol- »

yfontana wrote: post #64
vlian2088 wrote: post #57

Earlier quoted context omitted.

[flagged]

That act applies just as much to those American and Chinese models within the EU.

Which is a mistake the EU makes again and again. If you put onerous requirements on everyone, this means that the most well-capitalized firms will be able to shoulder the regulatory overhead the easiest. But who can't? New European startups. This already killed part of the tech sector with the GDPR while Google and Meta just hire 100 lawyers and are done with it.

Re: Leanstral 1.5

#67

Post by Sol- »

helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

The EU simply doesn't have a proper common market, especially when it comes to capital. Having more people than the US and a big economy in aggregate doesn't matter much if you can't efficiently pool resources. Could we in Europe have 100 billion fundraises for a new lab? If not, then it's over and you can give up.

Re: Leanstral 1.5

#68

Post by Epa095 »

helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

Software in general, AI as well, is a rich get richer market. The big American companies can afford to (and very much do) scoop up European talents and upcoming European companies. And if they don't want to buy them, they can undercut them to bankruptcy. We live in a colony economy, with human capital as the raw produce, and it all gets funneled to the USA.

The only way to avoid this is to stop playing the game as it is today, and start using proper industrial policy to build up a competitive industry (like China did). There has been no appetite for that the last decades, but Trump is making it completely clear that the state is back, and Europe is slowly acknowledging it as well.

Re: Leanstral 1.5

#69

Post by sveinbjornp »

GTP wrote: post #58

"Page not found" for me. Did you manage to access this? What is this about?

from the web archive:

Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.

https://web.archive.org/web/20260630223430/https://docs.mist...

Re: Leanstral 1.5

#70

Post by Epa095 »

Sol- wrote: post #67
helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

The EU simply doesn't have a proper common market, especially when it comes to capital. Having more people than the US and a big economy in aggregate doesn't matter much if you can't efficiently pool resources. Could we in Europe have 100 billion fundraises for a new lab? If not, then it's over and you can give up.

I agree with your analysis, at least as long as we shall remain strictly inside the free market methodologies. And having a common capital market would be good no matter what.

But there are other ways to pool resources than the free market. Airbus was not made dynamically in a market, neither was the LHC. 100 billion € is a lot, it's half of the total allocated aid from Europe to Ukraina. Which can be read in two ways, either 'helping Ukraine is already weighing us down, another similar cost is too much for some IT toy ', or 'Europe has the ability to collect massive amount of capital when it needs to, and AI is a existential threat which justifies it'.

Post reply on HN