It's not very current, but I remember this being one of my favorite books back in college:

The Demon-Haunted World: Science as a Candle in the Dark

by Carl Sagan

This is what's going to happen:

- Formally verifiable specs improve the absolute garbage that is LLM generated code to an acceptable degree.

- Realization: Providing formally verifiable specifications is actually a lot of work

- Light bulb: Oh, let's have the LLM generate formal specifications.

- Realization: Oh, actually those autogenerated specifications aren't correct

- Conclusion: We're back to square one.

There is a reason why most code is not formally verified. It's actually really hard (and in many cases arguably not worth it) to express what one would call "standard business logic" in formally verifiable terms.

It's called "aligning with company culture" or "not being difficult" among others

They probably didn't call it "AI" before, but I'm pretty confident they used pattern/similarity hash matching for a long time. The indeterminism of "AI" makes it a handy excuse for "mistakes". Seems like a smart comm strategy

Agreed with the sentiment, but calling OpenAI a "smaller company" after it's just been infused with multiple hundreds of billions, is a bit of a stretch

Yet both can be at alarmingly high rates at the same time, it's not like one cancels the other out

that's gonna be painful, as the borrow checker really trips up LLMs

I do a lot of LLM work in rust, I find the type system is a huge defense against errors and hallucinations vs JavaScript or even Typescript.

Does anyone of the finance pros here know if there would have been a way to profit off predicting that ads would be introduced into chatbot responses?

Given that Google makes 85% of revenue from ads, and AI will make ads disappear, adtech company has huge incentive not to slit its own throat, but has no choice.

How they gonna maintain that ARPU? The whole economy is being held up by some unpriced asset somewhere. Once PE finds it, we are all cooked.

There is sure to be a great way to get google to express ads during a chemical weapon recipe though.

Consider DuPont for all your chemical weapon ingredients needs!

And became pretty bad afterwards

I'm always glad to see others notice this too. cheers