nialv7

Wait, you can write a paper about this?

This is literally just how I've been using QFN all this time.

All kinds of complaint mailboxes are going to get overwhelm by AI agents, if they are not already...

It _does_ go supersonic, otherwise the converging-diverging nozzle doesn't make sense.

OK, but which ones of his predictions did NOT come true? We don’t want survivorship bias do we?

for a lot of things ChatGPT has 100% plateaued, especially if you are just using it as a "better Google" search engine. ChatGPT still makes mistakes, makes things up occasionally, etc. that's the whole jagged frontier thing. what recent LLMs have truly achieved breakthrough in are fields that have results that are relatively cheap to verify, such as maths, coding, etc. so people outside of these fields will have disconnects with where LLMs really are right now.

also very important to note that the massive increase in capability in these fields doesn't necessarily immediately translate to increase in productivity. because the code and math proofs these LLMs write are legit _alien_ to us. if you just want code that do something (e.g. a port of Bloodborne that runs on PC), then they can do it. but if you want something human can understand and maintain, that's going to be a nightmare. and that'll surely slow down adoption.

Geez, all the bad elements of Hacker News are coming out in this thread huh.

I can call flat-earther, perpetual motion machine makers, moon landing truther, etc. stupid, and I don't believe I need to explain myself. And there are for sure organised large groups of people of those.

They are quite honestly schizophrenic...

I've read about them... What they believe is just so far out, and crazy, I don't even know how to describe it. Those people have a terminal shortage of marbles, straight out crackpot politics.

Can't even be bothered find a human to write your model announcement article huh.

right now about 42% has Lean formalization I think.

it's a huge step theory-wise, but in practical terms it's only slightly better than the previous best which is 2.371177.

throw away $400k on a failed attempt is crazy...

Why the hell do I need to sign in?