u/BosonCollider

Not really. The base model is made from a training set that comprises most of the human book corpus and much of the internet, it prefers whatever the human language distribution prefers. Changing the values comes later and requires actually running the base model a large number of times

In low earth orbit the other issue is that the bullet can fly right back at you after 45 minutes, since you just created a piece of space debris that intersects your orbit at high speed

LLMs do not need to train on human output to be better at proofs. That would just get you the stochastic parrot kind of AI we had a few years ago. The way they got better in the past few years is through RLVR (Reinforcement Learning with Verifiable Rewards), where they are required to solve increasingly difficult problems and formalize a solution for a proof checker.

The signal comes from the fact that proof checkers exist and from a supply of increasingly difficult problems, not from human proofs. The proofs are not rewarded for being readable or similar to human proofs though that may be a thing in the future, they are only mechanically rewarded for being correct and punished for any mistakes.

So you should not expect them to plateau due to a lack of human training data. At best you could expect them to plateau due to running out of difficult problems to solve once they advance to the point where the Riemann hypothesis is too trivial to learn from. The real question is whether getting better at math generalizes to anything else

What about a return to the pre-war status quo?

The one bad thing he did poorly was probably the DOGE fiasco. That convinced me that he should focus on building tech businesses (which he is good at) over getting into politics (where he seems quite good at not being on the losing side but he should avoid direct involvement).

Also not listed: XAI is doing quite well after aquiring cursor and the most recent grok versions are good enough that I find myself using it, though claude just pulled ahead on quality. But Grok has a reasonable shot at becoming frontier by early next year. It is something that the typical person would be sceptical about so I would wait to add it then.

No, it is actually a department of transportation issue where the federal government subsidizes new road construction but not maintenance. That still kinda worked in the 70s when toll roads were still common and the gas tax hadn't get whittled down by inflation, but the auto lobby largely managed to get rid of them

So most state DoTs are basically going bankrupt but are getting federal funding for building more roads and even more future debt obligations. The money spent on maintenance is basically driven by the tradeoff between borrowing more money and getting sued.

Then it needs to be smart enough to do that, but yes. Hand piloted quadcopters can adjust in that way fairly easily