mrabcx

No, they do not seem to he equivalent. Not a mathmatician but running the Deepseek proof through ChatGPT gives:

"If everything is made rigorous:

You would have a valid independent proof It would contain real structural insight It would not replace the flow proof as the “best” proof

But:

It would still be a meaningful alternative proof with explanatory power, not just a redundant one."

Can the other AI agents such as Gemini, Calude or Deepseek etc also solve this problem?

Even during president Obama. the US spied on Merkel's mobile phone.

"lithium-ion batteries .. degrade after just 1,000 cycles" If you charge your car battery twice a week and complete a full cycle then we are still talking about like 9 years to reach 1000 cycles. If you charge your phone every day, and do a full cycle, then we are close to 2.7 years. But you will probably not do a full cycle. So, I guess lithium-ion batteries are not really that bad.

Norway as a state may be rich. but the state is also very afraid of spending too much money within the country as not to drive up inflation, salaries etc. In Norway the school children do not even get free/hot lunches (compared to e.g. Sweden).

There was a version of this even for the Atari ST.

200 years, will "computers" then even have a usb interface?

Vegan diets are prone to vitamin B12 deficiencies. Same with vitamin D.

The passenger entertainment system typically displays some information related to flight location, speed, altitude, ETA and so on. Where does that info come from ? If it does come from the "Aircraft Control Domain, or ACD" then these two systems are probably not "completely isolated" as claimed in the article?

Generally, tap water in the US doesn't have a pleasant taste, often accompanied by a strong chlorine odor. It's therefore understandable why many people opt for bottled water. Improving filtration or treatment methods seems like the best solution to cut down on the number of bottles.

Seems to have missed out on durian.

Everyone should have realized by now that online services can not guarantee any level of security.