oinoom

You know… I agree. I haven’t found it to be as great as reported.

I’m curious why you use this language of “appears to match or even beat”, seemed pretty clear from the benchmarks that it’s well ahead of Fable. Do you doubt the reporting?

its important to read it anyway because there have been and will continue to be errors in the construction of the proof software itself. which leads ai and humans alike to prove things that arent true

Losing that amount of money would be very uncharacteristic of wsb

The author having mistral review the seven paragraphs in their short article is wild to me. It’s not like it’s a doctoral thesis

x402

The premise of the story is silly. If AI gets cheaper and faster, then it certainly will get smarter (just not in the raw sense) as harnesses, tool access, memory, etc. improve. You can’t hold intelligence as a fixed variable but then imply other aspects of it improve

> A versatile, modern, humanist sans-serif

What is a humanist font?

this is the first time ive heard of beam search. i would have reached for a genetic algorithm of some sort, although it seems like some stochastic versions of beam search exist to avoid local minima. i wonder if there are any good frameworks for building these that agents can construct and use.

> I mean, installing packages and type checking can surely be slow. But, at least in my career, I've never seen a galactic blow-up.

Have you ever tried building an iOS app? The compiler gives up after a sufficient time because typechecking can be so slow

You also don’t need it to be trained on it specifically, just give it some docs or links to docs or source code as reference

very clean and well done!