84 karma · joined December 1, 2025
I feel like human code is on a wide quality spectrum. The best human code is way better than what Opus 5.5 can do. But the average code, I'm not so sure.
In my eyes this is essentially the same thing as a form of local government, just on a smaller scale.
It can lead to catastrophe without ever being conscious or wanting freedom, or anything like that.
My point was about what is and isn't the responsibility of AI labs. Why should they be required to invest more (or fewer) resources into math than they otherwise want to?
(If you ask me, safety and security are what they need to invest more into.)
If they want to simply generate theorems and proofs and post them on the internet, why not? Does doing that really inflict "substantial negative externalities ... on the mathematical community"?
I've done this on different topics - I know the answer is in a particular eBook/PDF/document, but for whatever reason it's not trivial to look it up. The model can do it a lot more quickly than I can, and then I can still verify the accuracy.
The responsibility side is a different matter of course.
However, given the culture we have, and the human tendencies we have, I think laws can make things better. Like criminalizing various sorts of fraud.
For all the same reasons many companies are eager to cut labor costs whenever possible. There can be a variety of bottlenecks to scaling and it's often not as simple as hire more people to make more profit, even if you have extra capital available.
And the stronger state exercises a lot of influence on the weaker state, especially in terms of foreign policy, and potentially provides it with protection from other strong states.
Not sure exactly how much this would apply to Taiwan in particular, but I think the idea in general can be meaningful in modern politics.
That doesn't mean they don't provide any value of any kind to anyone.