The Eternal Doorman

Title "The Strip Mining of Mathematical Proofs" aaah, poor little mathematicians being colonised,... 29:20 On mathematical outreach. This seems a bit out of touch to me! See French high school protesters call on university students and Yellow Vests to take up the torch .  See  Collaborative Mathematics ,  Sophie Maclean is Not Happy about AI  and  John Searle's Chinese Room Argument .  Subscribe to Numberphile2 . Norman Wildberger: "I told you so." I unsubscribed from his channel because the way he was talking makes me feel mildly nauseous. What he is suggesting here as an AI-assisted research strategy would work just as well on somebody else's research. Maybe that's what he meant to say: AI is disrupting the egoistic perspective of mathematics. That's probably why he hides all his stuff behind paywalls now. The problem is when it is applied mathematics and physics and now biology: see Anthropic’s AI biolab finds ‘CRISPR-like’ DNA in viruses. What’s...

Don't rock the boat, we'll all drown!!!! AAaaargh! 

My comment : 3:58 Even for that they didn't need to be accessible to the Internet. It's just that the Internet is typically configured this way. That's not a law though, it's just what network managers do.   and : 3:37 It's the "had reached the end of its supported life" that you should look into. They were probably supposed to scrap the refrigerators and buy new ones, but they didn't want to because they were still refrigerating stuff fine.   and also : 10:29 What I think is that this is an industry-wide problem. If you look at the companies whose products were involved in this attack and just about every other, apart from the manufacturers of the products, it was networking hardware, software and service companies, cyber security companies, OS vendors like Microsoft, open source software like Linux, BSD etc, probably, proprietary firmware suppliers/contractors, chip-set vendors like Broadcom etc, etc. All of these together made a shed-load of mone...

Mathematics in the labyrinth 29:05 . This is in large part because of how hard it is to collaborate, I think. I can't prove this is the case, because I'm not a real mathematician, but I think that it might be that the whole system is set up so that mathematics and theoretical physics are solitary endeavours. You are supposed to have your own ideas, which you develop, and by way of that work, you personally are recognised as a mathematician. So it's just good fortune that neither Mathematics nor Theoretical Physics involve anything that is inherently collaborative and in any sense involves choices made by the whole community, ... ( 32:50 ) See  Intensional and Extensional Semantics in Programming Languages and Type Theory : See  Sylvia Serfaty - Des équations personnelles : itinéraire d’une mathématicienne . Subscribe to  Institut Henri Poincaré . The reason I made this post was because I had a kind of half-waking dream this morning where I had found a way to explain so-c...

Another great Aksioma talk: 6:51 See Hito Steyerl - Mean Images . You can do the same with mathematics and theories of physics:  Károly Zsolnai-Fehér on AI Proofs . 22:31 The machine took over and in the end it even consumed the heating system of the gallery it had occupied, ...  See also Sylvia Serfaty - Des équations personnelles : itinéraire d’une mathématicienne .  Her web site: https://www.felicityhammond.com/  It's very slow, perhaps it's being continuously scraped by AI, ... I tried searching Google for "summary of the artist Felicity Hammond's work on AI images" and I got no AI summary!! But lots of good links:  RIBA Journal In pictures: a human-AI feedback loop captures reflections of the machine . British Journal of Photography In the studio with Felicity Hammond . The Photographer's Gallery Felicity Hammond: V3 Model Collapse . Aesthetica Magazine Constructing the Image . That's what I need. A search engine that finds stuff and doesn't try...

A lot of them are just a big ball of barf! Watching this it occurs to me that we might actually realize soon that we have no particular reason to believe any theoretical model of physics, because there are so many different models that can produce the same kinds of behaviour. See Mike McCulloch on Great Balls of Fire  and Sophie Maclean is Not Happy about AI . Support him on Patreon:  https://www.patreon.com/cw/TwoMinutePapers . Subscribe to Two Minute Papers . 

October 12, I mean ... it depends where you are and your political views, ... Either way, she insists she is not an English agent! See her show dates, including Mexico City in January:  https://linktr.ee/pupinaplomer . Subscribe to Pupina Plomer .

À l’occasion de la Fête de la science, la Maison Poincaré invite la mathématicienne Sylvia Serfaty pour une conférence proposant une approche incarnée des mathématiques. À travers son parcours, elle partage une expérience personnelle du métier de chercheuse, entre passion, doutes et découvertes. En écho à des figures du passé, elle révèle une discipline vivante et profondément humaine, offrant au public des points d’accès concrets et accessibles.  17:19 Aesthetics and bulldozers.  Découvrez son livre  Des équations personnelles . Voir aussi Paul Audi Le Vrai du Beau Regards sur la peinture . Voir  Sophie Maclean is Not Happy about AI . Abonnez-vous à  Institut Henri Poincaré .

My comment : I would love to see someone do a systematic description of the chains of inference leading from the calibration of the instruments involved and the records of the observations and the interpretative statistical methods which are the empirical basis for these statements, through the theories employed deductively to infer distances, masses etc. leading to the conclusions. It would be rather a long and technically detailed exposition. 500 to 1,000 pages or so, but I think an exercise like that would be a valuable resource in the communication of science.  See John Searle's Chinese Room Argument for what I'm getting at.  Support Mike on Patreon: https://www.patreon.com/cw/OneSteptoTauCeti . Subscribe to Mike McCulloch .