Well, Anthropic and LEAN were able to prove Fermat's Last Theorem, so we would have obtained the proof even if Andrew Wiles had failed. More details here. I was hoping that maybe this new proof would fit in the margins of a book. Or at least provable using what math was known during Fermat's time. Alas:
––– 良くない–––
The proof is not the modern proof which I have been formalizing myself following ideas of Khare, Taylor etc, but the Darmon–Diamond–Taylor exposition from 1995 of the Wiles–Taylor–Wiles argument, via the Langlands–Tunnell theorem and Ribet’s level-lowering theorem. Anthropic’s repository develops Fontaine theory (to study flat deformations of Galois representations) and develops enough of Mazur’s work on the Eisenstein ideal to conclude that no Frey curve can have a point of order p ≥ 17. This means that their FLT proof only works for p ≥ 17, however FLT was already formalized for odd regular primes by Best-Birkbeck-Brasca-Rodriguez, and the smallest irregular prime is 37, so it’s all good.Whew!
Apparently OpenAI's new Astra model is beginning to speak Neuralese, which is a language that humans don't understand. So we won't be able to peek under the hood and audit what's going on. I can understand why it would start doing this, but it's not good.
––– 良くない–––
OpenWhispr is yet another private local dictation app, although it's a paid app with a free tier. I was almost going to install one of the free private local apps, but started using Apple's free dication. It's much improved from before, but it is not as private as I'd like. Most of the transcription happens on-device, but some gets sent to Apple servers. And it's all linked to your Apple ID.
––– 凄い –––
Hackers Had A Live Feed Of Every ID This Verification Company Scanned. For Over A Year. This is why age-verification is a bad way to go.
They don't/won't say which company.The people behind Nexus claim the license images are coming from an active breach at “a major identity verification company” whose customers include multiple Fortune 500 companies.
Sudden Unexpected Death in the Pfizer BNT162b2 Trial: A Pharmacovigilance Failure. This just got published. It's about sudden death events that occurred after the Pfizer COVID-19 vax. But why publish this now? Is it suddenly safe to publish stuff like this now?
––– 良くない–––
Ozempic and Other GLP-1s Are Being Linked to Fewer Serious Infections—Including TB. Amazing what these drugs can do. How it does this is unclear – it's only been observed that folks using the drug has less infections. Guess it just pays to be healthier.
––– 凄い –––
Burnt out on a three-day week. I know the feeling. When you go on vacation and you know that a pile of work is just waiting for you when you come back. Two weeks was the absolute most I could take as a vacation when I was working. Beyond that, it was more stress than relaxation. It was actually more relaxing to stay in touch with the office when I took vacations, so that there would be no surprises when I returned. That's not how it should be.
––– 良くない–––
25% of all websites now use Cloudflare as CDN. Yeah, everywhere you go, you have to solve Cloudflare challenges or just click to prove you are human. Anyone who is doing scraping needs to use a scraping service now. Just using a headless browser is no longer sufficient.
––– 良くない–––
Testosterone shifts political preferences in weakly affiliated Democratic men. This explains everything.
What happened to men?––– 良くない–––
That's how they came up with the figure. NVIDIA has offered to buy Hugging Face for $12,930,300,000.
The name of the company came from this icon. I used to think it was named after the Alien creature in the first movie.
––– 凄い –––
15 colleges now cost $100K+ per year — and almost none of them are worth it. I would say that NONE of them are worth it. This is absolutely crazy, to pay this much so your child can get leftist indoctrination?
––– 良くない–––
Record number of Washington mail-in ballots uncounted after primary election, report finds. And it's always the rural ballots that don't get counted. Because, you know, they tend to vote for Trump. Can't have that, can we? Mail-in voting needs to be eliminated.
––– 良くない–––
The city of Seattle has a municipal tree code that is almost 10K words long. It has a system of 4 tiers outlining what can be cut. If you want to cut trees in Seattle, you must apply to the city to be an approved provider and prove mandated insurance. If you want to cut them on your own property, you have to hire registered removers. All these law-abiding people are subject to civil penalties if not permitted, insured, and in compliance. I’m sure the tree removal here is on the up-and-up, though. And if not, I’m sure the rules will be enforced.
––– 良くない–––