bananaflag

I personally would like more reviews of new capabilities unlocked. Like there was a lot of talk when o3 got released that it can do geolocation. Feels more interesting than being better at an existing capability.

> late 2024 did seem to be a plateau

Why? o1 was released in late 2024

This is exactly how I feel. I tell everyone around me who is churning AI papers that the whole thing is pointless.

In 1-2 years the AI will give an instant answer to most conjectures anyway.

It seems a strangely underdiscussed topic on HN.

I have heard that the 2nd edition of Inside Windows NT is much more informative than the 1st.

Yes, but thing is, for a lot of basic stuff there are myriad ways in which it is formulated, so humans have to decide which of them goes in the library. Of course you can include two or five or ten equivalent formulations (like textbooks sometimes do) but still, not everything under the sun.

Probably this will be done in some form in the coming months.

> The opening premise baffles me. What kind of illusion must one be under to believe that employers would ever pay you the same amount of money to do less work?

I guess the idea that AI will do all the work and either take care of us or kill us all. Which will probably happen, but the transition takes years and in the meantime we work much harder. People were expecting a fast takeoff.

> Why to multiply instead of going to the same place for knowledge?

Why write more than a book instead of just putting everything into one book?

This is a way of thinking from which it is hard to get out, I have no idea how to point it to you.

No, there's a lot of stuff where formal proofs don't make sense or are highly prohibitive.

The flagship case is AI itself, where we rely on benchmarks, not proofs (how could one prove "is good at seducing people").

Something that could have qualified as a "CS discovery" would have been, for example, a SAT or SMT solver that dwarfs in performance any existing one.

Something that could have qualified as a "physics discovery" would have been a new particle. Anyway, something that would come out of experimental data.