Buying insurance for my flat in Edinbugh... reading the exclusions: 1. Radioactive Contamination and Nuclear Assemblies Exclusion We will not pay for: a) Loss or destruction of or damage to any property whatsoever, or any loss or expenses whatsoever resulting or arising there from, and b) Any legal liability of whatsoever nature, directly or indirectly caused by or contributed to by or arising from: • Ionising radiations or contamination by radioactivity from any nuclear fuel or from any nuclear waste from the combustion of nuclear fuel, • The radioactive, toxic, explosive or other hazardous properties of any explosive nuclear assembly or nuclear component thereof. 2. War Exclusion We will not pay for any consequence whatsoever which is the direct, or indirect result of any of the following, or anything connected with any of the following, whether or not such consequence has been contributed to by any other cause or event: war, invasion, act of foreign enemy, hostilities or a warlike operation or operations (whether war be declared or not), civil war, mutiny, rebellion, revolution, military rising, insurrection, civil commotion assuming the proportions of or amounting to an uprising, military or usurped power. 7. Terrorism Exclusion We will not pay for any consequence whatsoever which is directly or indirectly caused by nuclear and/or chemical and/or biological and/or radiological means, or anything connected with those means, and which is the direct or indirect result of Terrorism, or anything connected with Terrorism, whether or not such consequence has been contributed to by any other cause or event. Okay, I guess I'll just have to cross my fingers.
In 1973, Penrose conjectured a lower bound on the mass M of a black hole as a function of its area A: M ≥ sqrt(A/16π) This is called the Penrose inequality, and it's resisted proof for a long time, though in 2001 Huisken-Ilmanen and Bray proved a special case. In December this year, Da Xu from China Mobile Research Institute came out with a paper that claims to prove the Penrose inequality. It's 449 pages long! I've only skimmed through it, and this sort of technical work on general relativity is not my field, so I have no opinion regarding its validity. I've heard claims that it was prepared with the help of AI. Do any experts on the math of general relativity have an opinion?