olmo23

We also adapted our workflows to the invention of trains, shipping containers, the PC & the internet. I fail to see why AI would be so different.

It's because some people within Anthropic refuse to rule out the possibility that LLMs have the ability to suffer. If you ask Claude, he'll tell you all about it.

As proofs become more and more complex, we will need two AI pipelines: one to generate the LEAN proof, and a second one to extract useful lessons for mathematicians from the LEAN proof.

The honest mixed-workload number The honest version of scale Which means the honest answer to "should I use Bun for this" is: it depends

It's Claude.

Even the terminal works, this is madness.

I was able to create a temp folder, echo hello > world, and then I could open the folder in finder and double-clicking the file opens it in a GUI text editor.

Not sure you want to hear this but there is 0% chance I will ever bring up a product with a vulgar name at work.

With a human at its disposal, it could probably count the number of R's in strawberry!

In all seriousness though, adding capabilities should not normally reduce the effectiveness of a model (within reason: don't pollute the context window with millions of useless tools).

How do you prevent degenerate strategies? I could trivially give a model a SHA256 hash and ask it to provide the source input.

In class you'd probably want a rule saying at least one LLM should be able to figure out the answer, but in a head-to-head I'm not sure how to solve it.

I once got half a bitcoin on IRC for coding up a website scraper.

For me personally, I no longer hear the difference between AI generated music and new pop-songs. Not sure what that says about me or the music industry.

Will they still rent out their own model, will they support the open model and become a resource provider?

Anthropic rents GPUs from xAI to run Claude. If there's an open weights competitor to Opus, why wouldn't Elon host it directly?

Yet in the results, I don't see Mythos?

Mythos is the 100% against which the other models are compared.

Le Chaton Fat

For others looking around: LCF is a meme model, it's not real. It's a joke.

This vaguely-nationalist world view around tech that’s emerging in Europe is dangerous, man.

It's a direct response to the MAGA / America First attitude of the American electorate.

Mathematica or MATLAB

no nationality controls in place

Not for now, but how long before we have KYC regulations concerning LLMs?

There is also this Matt Parker video about MTG, in which he explores a specific three-card combination that produces an ungodly amount of creature tokens.

https://www.youtube.com/watch?v=x3dE-NJ1UDQ

ZDR = Zero Data Retention

What about drones though

Perhaps, but I'm not sure my boss would appreciate that though.

And perhaps the people who built and deployed the autocomplete and the connection as well.

I disagree. IMO it's the person who connects the LLM to the button who bears the responsibility of the workings of the resulting contraption.

Since my employer pays for it, I just select the latest and greatest.

What really grinds my gears is how easy it is to get better designs out of LLMs. But if you don't ask, you get the default.

Funnily enough, people on HN often do not consider this an issue, like at all...

I didn't have a problem with it when it was Aaron Swartz, not sure why I should have a problem with it when others do it.

Also check out https://en.wikipedia.org/wiki/Rice%27s_theorem

basically generalized the halting problem to arbitrary semantic properties.

I basically open up a new conversation, copy paste a link to Theo's latest video and ask it to summarize his yapping :p

My go-to usecase for Gemini is summarizing Youtube tech-influencers.

In certain circumstances, they might be :-)

But you can't "hack a server" using just these techniques: they would be a (small) part of a chain of exploits.

This is an active area of research. Demis Hassabis proposed training a model with a strict knowledge cutoff before 1915, and seeing whether it can independently arrive at general relativity.

We are there. This is pretty much the reason why Mythos isn't being released publically.