I think it is well known by this point that hardware-backed security is good until an unfixable hardware bug is found, this just reads to me as Nvidia saying "please don't regulate open models out of existence, look, I have a solution to appease the regulators, please let me keep selling accelerators"
If this comes through, there's gonna be a grey market for "unlocked" GPUs, were the watchdog is disabled either from firmware, or physically replaced if it's not embedded into the die.
Where did you get the 10L/100km figure from? I saw closer to 7L/100km when driving it, and the 2.2 diesel on the older X-Trails has about 100 less horsepower.
I think these kinds of vehicles are fine for countries were fast charging networks are still not widespread. I drove a rental X-Trail e-Power AWD a while ago, and fuel economy, while not spectacular, was still great given the quality of the powertrain. Of course a low displacement manual can get better fuel economy, and an electric will be cheaper, but if you are driving 800km on a country with little charging infrastructure, powertrains like this one or Toyota's eCVTs make sense.
The one this that is better than just SSH+Tmux+Vim, is that if your latency is higher than 30-50ms, since VSCode's SSH agent streams the files to your computer, the typing experience feels snappier. When you work half a continent away from where the servers are, it makes life nicer.
I am not debating IA's capabilities at coming up with proofs, I'm debating whether such systems will be able to figure out new mathematical fields or not. If they can't figure out some field from what was known at the time, what guarantees are there that AI-mathematics won't just bog down at its current state? There must be some evidence that AI can come up with novel mathematics before we decide to throw academics out the window. The risk of creating a sort of mathematical dark age just based on the current situation is far too great to stop funding mathematics research.
The hell is that reply? If we're obsoleting human mathematicians, which have fundamentally been the same thing brains-wise since forever, why shouldn't an AI system be able to replace a 1870s mathematician in the same way you are proposing it replace a 2020s mathematician?
You are making your argument on the basis that LLMs and future AI system will be just as good or better as current mathematicians at all the relevant processes involved in academic math and mathematics in general. I'd like to see an experiment where an AI system was trained as a 1870s mathematician and see if it can come up with set theory, if that is not possible, then current AI systems are not fit to replace mathematicians.
> I brought this up to someone else and was told that airgapping is apparently much more expensive than I'd naively think.
These labs are one of the most valuable and heavily funded enterprises in the whole world, that they can't properly air-gap their systems to me reads as if their "agents" and LLMs are not as good as they say they are, because if they were, why would it be hard/expensive to air gap a system? They already scraped most if not all of the internet, where did that data go?
For some reason my iphone sporadically won't go back to "music quality" mode after cutting a call on a wireless speaker or car play, and it's incredible how bad music sounds with telephone quality.
That sounds plausible, but how much power could an agent running on a small NPU actually muster? Most computers worldwide don't even support AVX, let alone have proper GPUs, so what would be the point of running a worm like this one?
What would an "AI worm" be? You can't just send a bunch of weights across a network and tell them to auto-run on the machine on the other side, unless you've already infected the target with something else beforehand.
Yes, I worked for a medtech where part of our assurance process was that the machine that was used to burn the device's drives was always unplugged from the internet, and that the devices themselves could not connect to the internet, and that even someone with a screwdriver and a serial cable would have a really hard time trying to connect to a deployed device.
I digress with your last quote, I feel like some people who are aware of AI are starting to develop a quasi allergic reaction to slop, and while the mistakes might not matter for most of the population, for others it does and will take notice.
The skies are so dark and clear that some of the indigenous people had "constellations" made up of the dark patches in the sky instead of connecting stars.
I know, but my comment was more along the lines of Windows Phone 7 coming out in 2010 and whatsapp being available a year later, and of whatsapp not having a native app for Sailfish
It's a chicken and egg problem tho, whatsapp doesn't support smaller platforms, and smaller platforms can't grow without app support. I remember that the uptake of Windows Phone 7 and early versions of 8 was pretty low partly because whatsapp didn't support that OS.