First party makes no difference, an API can be created for any website or desktop application and served over a network to anyone. It just takes more effort.

Right. Somewhere there’s a dashboard which lists those 6 hours as time saved.

In America?

Probably a better chance the firm privatizes the government.

In fact we seem to be firing government employees and dismantling government institutions as much as possible.

Sure, but wouldn't the leverage of labor go to zero regardless, in this full-automation scenario?

I don’t think people are “underplaying” it, it just doesn’t matter. Engineers aren’t hired for their locomotive skills.

> The issue is that, if we don't do it, China will.

These AI companies aren’t state enterprises. How is geopolitics a justification?

If it were just the military training them, probably no one would care about the copyright infringement angle, it makes sense that the government could ignore those rules for national security.

But Mark Zuckerberg isn’t training his models to protect us from China. He’s doing it to make himself even more ridiculously wealthy.

That ”but what if I win” is realistically what you’re paying for if you buy a ticket.

Maybe the sum of enjoyment lottery participants get from daydreaming about winning is >= the cost of running the lottery?

You have to quote this part to really appreciate how self-contradictory this article is.

> We received almost a million applicants for 1,111 paid internships this summer.

~1000 applicants per internship! Not a job, an internship. How could that be interpreted as anything other than bleak?

It's been a decade since I was in college but I used to send applications to every vaguely interesting internship, expecting less than 20% of them to contact me.

My university required an internship for graduation so you had to cast a wide net unless you wanted to wait to graduate.

Given how high-profile is and the number of students in the US, 1000 doesn't seem all that impressive.

Every candidate was probably applying to 100s or 1000s of jobs using AI tools.

Also tech executives: “we have a talent shortage”

idk, when I was applying for college a lot of people in the class applied to like 10 schools. There was always space in the education system for them (although maybe not at all of those colleges).

Kids these days are probably just more efficient and can 100x that!

Teen here, I think that I have also applied on the same ~10 colleges level rather than 1000x but I do feel like I have looked for many colleges and I tried to find some international colleges but I am not quite sure about them too. I even made an HN post about it: https://news.ycombinator.com/item?id=48097377

Anyways I would love to hear your suggestion.

That being said, I feel like an number of colleges apply to rate might still be lower (people might look at many many colleges though) but still not increased 100x

but I can't say the same about internship numbers and I feel like those numbers might have been very different.

I live in India and the Indian education system works a bit differently than American one which I think that I have hopefully fairly detailed it in the HN post.

Anyways, I would love if you would have some advice for which colleges I should apply to if you might have any as I would love to hear it!

Thanks and have a nice day!

The proof is not written in Lean, though. It’s written in English and requires validation by human experts to confirm that it’s not gibberish.

Yeah, but I wouldn't be surprised if they train the model on verification assisted by Lean

I work at a university and we still have some workstations that need IE as well, for a healthcare vendor app that needs ActiveX. Up until recently we even had some machines running Windows 7.