Agreed. Not gonna lie, I am upset and angry to see small companies disappear and be eaten up by larger ones. But I praise them for not building in any vendor lock-in. And I also appreciate them for open-sourcing their toolchain

This is the most important thing about AI, that the policymakers and AI companies need to discuss more. If AI is making us, as a race, more productive, who is reaping the benefits of that productivity?

The AI companies and their investors. Full stop.

It means data that was downloaded from our servers.

They are not claiming that the data was their intellectual property. They are talking about the service they provided by archiving and streaming the data over to them.

(I can't decide whether you are pro-LLM companies or being the devil's advocate)

This is such an incredible and inspiring episode!

This is a bit of a strawman. When people say "writing code", they don't necessarily mean [pressing the keys on the keyboard that produces the necessary bytes in a text file].

The article is not about those use cases. There are plenty of use cases for which local models are already pretty good

I strongly suspect that the author's legal counsel advised them not to discuss their actual charge in explicit detail

1. It matters because there are human mathematicians who pride themselves for their mathematical achievements. Mathematics is art to them.

2. Yes, it is. Because pre-LLM era computer-aided proofs were about using the computer to either solve a large number of cases or to check that each step in a proof mechanically follows from the axioms.

1. And some that are equally skilled that don’t. It matters, internally, to them but it needn’t matter to anyone else.

On the flip side, there are people (like me) far less skilled that do (take joy in the appreciation of mathematics as art).

I agree but unfortunately there are more and more young people who seem to think that not doing this challenge is okay :(

The main difference here is the scale