The point is that stress makes some things stronger. Stress doesn’t make a tea cup stronger because a tea cup is fragile. Stress makes a body or organization stronger if its not too much and the system can adapt. A body in zero g gets sick, but is healthy in 1 g.
I mean that when you have a system like this and you don’t stress it, it becomes more likely to fail catastrophically. It’s like the Dodo bird. It evolved in the absence of predators, so was easily made extinct. Had the island had dogs the entire time, the Dodo would have evolved to survive.
“Does the job” means all of those things. Figure out what’s important, find a way to measure it (could be also be qualitative.) How does the AI generated code do? If you simply say its no good because of the way it was created, it’s not a rational decision process.
Code is code. It either does the job or doesn't. If there is nothing that could convince you that AI generated code is trustworthy (for whatever definition of trust) then this is an article of faith, not a rational position.
These systems are antifragile. Just like what was exposed by the supply chain shock during covid. You optimize like crazy to squeeze every bit of efficiency (I know it's the military, so this is relative) out of a system when times are good / easy. Then the game changes a little and the entire thing comes apart. The US military has been operating in an uncontested space for far too long and there is major weakness in all the unprotected assets away from the front. Think about all the aircraft that are unprotected and near civilians. A project spiderweb in the US would be relatively easy and devastating. The US military needs to get their butt in gear and take action to close those vulnerabilities.
It's a response to the FUD that is water usage in data centers. Data centers don't use a meaningful amount of water when compared to just about any other industrial application, or many recreational ones. Data centers used about 66 billion liters 2023. source: https://escholarship.org/uc/item/32d6m0d1
Golf courses used 2 trillion liters in 2020. We won't even bring up almond production.
I'll do my best to restate the problem. If AI does all the work, then we won't have people who can understand the math that AI's are creating.
This is the real problem as I see it and it extends to most technical work.
I didn't see that as the main argument of the article.
I was objecting to the old guard defending their turf.
Academia needs to contend with this problem, and start addressing it right now.
People are not going to be able to beat AIs at math. So whats the solution? PhDs will have to be able to show competence in new ways. Publishing and review of mathematical work will have to change. The genie is out of the bottle and there is no putting it back.
Nothing will ever be cheep enough. “599 is dangerously close to 1100”? It’s 1100 is nearly double! I bought the neo for my daughter to use in HS and it’s perfect. Fast, great build and great battery life. Ill be buying a second one for my son, and paying just a bit more for both than the one air you mentioned. You should just buy a chromebook and save the 100-200$ for a plastic laptop.
I don't know about the CFD, but I really enjoyed reading this blog back in my iOS days. Friday Q&A was especially good. He would take some part of Obj-C or Cocoa and build a simple version from scratch.
Most of the arguments here feel like gate keeping and resistance to change. I didn't see any arguments that were directly about advancing the state of knowledge of math.
“Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.”
That seems like a problem for mathematics with or without AI.
Isn’t this a problem with human proofs as well?
“Many current models are also built on data obtained by systematically exploiting licenses and access arrangements that were not made with artificial intelligence in mind, or indeed by simply violating copyright protections”
Copyright? The copyright arguments have been hard to make in domains where copyright is much stronger, mathematical knowledge isn’t even subject to copyright.
“Technologies which affect the way in which mathematics is practiced may disturb the current system of incentives”
Resistance to change again.
“Proper evaluation is endangered if results are communicated through informal channels”
No human baseline to compare it to. Without that you are missing an important check on the task being poorly constructed. More importantly there is an implied reference thats missing. The implication is that people would have done better, or that perfect agreement is possible.
Water hogging? Show me the data. This is a lie that the socialist continue to peddle. It’s a very sticky idea completely resistant to facts. Data-centers use 48m gallons a day in the USA. Total water consumption is 322 billion a day. So 0.015% of water use. Golf courses use 30x that and Almonds 80x that.