ma𝕏pool

RE: https://mathstodon.xyz/@oantolin/117299252447200305

proof·la·tion /pruːfˈleɪ.ʃən/

noun [neologism, philosophy of mathematics, computer science]

1. The rapid depreciation of the epistemic, academic, or reputational value of mathematical proofs caused by the automated, low-cost generation of formal proofs by artificial intelligence and automated theorem provers.

2. A condition in the mathematical community where the sheer volume of formally verified theorems exceeds the capacity for human comprehension, shifting the primary bottleneck of mathematics from establishing truth to extracting insight.

#mathematics #lean #words

Piracy: An Accepted Alternative to Audible by Andy Weir.
A two-emoji sequel to "Why none of my books are available on Audible" by @pluralistic@mamot.fr https://doctorow.medium.com/why-none-of-my-books-are-available-on-audible-83cb182f2f91

source: https://x.com/andyweirauthor/status/1777758580701041063

#piracy #scifi #sf #scienceFiction #projectHailMary #audible

Bill Phillips ("Phillips Curve") used flowing water to model the economy in in 1949.

according to his friend economist Richard Lipsey, "all the staff came out to humiliate this upstart idiot." Phillips showed how water flowed from the Treasury tank to chambers representing health and education (as the government spent money) and then got pumped back to the Treasury more or less rapidly as you pulled a lever to tweak the taxation rate. "It turned out after ten minutes that he knew more than everybody there, and they shut up," says Lipsey. They offered him a job at LSE.

https://www.npr.org/sections/planet-money/2026/04/07/g-s1-116575/how-bill-phillips-used-flowing-water-to-model-the-economy

#economics #modeling #simulation #macroeconomics

1/2 A global emergent workspace in language models (J-space) https://www.anthropic.com/research/global-workspace

J-space wasn’t designed or programmed. It emerged on its own during training process. J-space has a number of unique properties:

• Claude can report on these representations. If you ask Claude what it's thinking about, it will tell you what’s in the J-space. Non-J-space representations are less reportable.

• It can also modulate them on request. If you ask Claude to think about something, or solve a problem silently in its head, it will light up the appropriate patterns in its J-space. By contrast, it has trouble modulating patterns not in the J-space.

• Claude uses its J-space for internal reasoning. If you ask Claude to solve a problem that requires multiple steps, the intermediate steps will light up in its J-space, even when it doesn’t say them out loud. These J-space patterns causally mediate its performance in such tasks, despite being smaller in magnitude than other representations.

• Representations in the J-space can be used flexibly for many tasks—for example, once “France” has lit up in Claude’s J-space, the model can recall its capital, or its national currency, or the continent it belongs to.

• However, despite its important role, the J-space is not involved in most of what a language model does—speaking fluently, recalling simple facts, using correct grammar, etc. In experiments where we prevented Claude from using its J-space, it still interacted normally, but lost its higher-order cognitive functions.

Full Paper: https://transformer-circuits.pub/2026/workspace/index.html

External commentary https://www-cdn.anthropic.com/files/4zrzovbb/website/cc4be2488d65e54a6ed06492f8968398ddc18ebe.pdf

#consiousness #cogneuro #LLM #AI #cogneuro #cognitive #cognitiveNeuroscience

Partial meniscectomy, one of the world’s most common knee surgeries does not help and may even be harmful.

This was a randomised placebo-surgery controlled trial with 10-year follow-up. Several randomised studies have already demonstrated that partial meniscectomy has not improved patients’ symptoms or function in the short (1–2 years) or medium (5 years) term.

The paper: Arthroscopic Partial Meniscectomy for Degenerative Tear — 10-Year Outcomes
https://www.nejm.org/doi/10.1056/NEJMc2516079

Press release: https://www.eurekalert.org/news-releases/1126327

The Guardian article: https://www.theguardian.com/science/2026/apr/29/knee-surgery-cartilage-damage-patients-study

Study came from FICEBO (Finnish Centre for Evidence-Based Orthopaedics) an academic research group pioneering placebo-controlled surgical trials. https://www.ficebo.com/

FIDELITY: Some thoughts and highlights from almost 20-year journey https://www.ficebo.com/post/fidelity-some-thoughts-and-highlights-from-almost-20-year-journey

#surgery #knee #medicine #science #healthcare

Is the iPhone Birth Control? Causal Evidence from AT&T’s 2007–2011 Carrier Monopoly
https://www.nber.org/papers/w35310

Backround: From the launch 2007
through Feb 2011, the iPhone was limited to AT&T subscribers in the US. Smarphone exposure was limited to AT&T’s cellular network making natural experiment possible

Treated counties are systematically more urban than controls. They address this imbalance through the
SDID estimator’s pre-treatment reweighting of controls and using a complementary entropy-balanced Poisson specification.

... Entropy-balanced Poisson and synthetic difference-in-differences event studies imply that access to the iPhone reduced births by 4.5–8.0% at ages 15–19 and 3.2–6.6% at ages 20–24, with statistically significant but smaller declines among older cohorts. Placebo analyses applied to Verizon and Sprint’s pre-2011 coverage footprint are null. .... National-survey evidence on time use and sexual behavior is consistent with the iPhone reducing in-person interactions, increasing pornography use, and reducing sexual frequency.

#economics #demographics #socialMedia #socialScience

I, for one, do not trust a fascist surveillance provider who can't find and remove disloyal employees from their midst.

https://arstechnica.com/tech-policy/2026/04/palantir-employees-are-talking-about-companys-descent-into-fascism/?utm_social-type=owned

#palantir #surveillance #privacy

RE: @maxpool@mathstodon.xyz

Recommendation: In "How SpaceX Humiliated Wall Street" Patrick Boyle covers in 40 minutes all previously written, includes even more financial shenanigans, and puts them into both historical and quantitative context. https://www.youtube.com/watch?v=wKXgeNwNRJ4

It's not "Elon bad" circlejerk, but how, why, how much, and how big effect.

#investing #finance #spacex #markets #stock #AI

Cross-species implementation of an innate courtship behavior by manipulation of the sex-determinant gene https://www.science.org/doi/10.1126/science.adp5831

One gene is enough to start gift giving behavior! First transfer of behavior from one species to another.

"If I didn't buy you sweets, my dear, it's because I lack the gene."

#evolutionarybiology #biology #animalbehaviour

RE: @rogersm@mastodon.social

Mathematicians stand on each other's shoulders,
while computer scientists stand on each other's toes,
and computer engineers dig each others' graves.

Starlink version 3 has the potential to be the most powerful SAR and spy satellite constellation in general with minimal hardware modifications. For Starlink version 4 or Starlink that are radar optimized by SpaceX, they could be even more powerful.

https://www.youtube.com/watch?v=jbp3kdJZ1_A

Starlink signals can also be used to build passive radars by others:

Starlink-Based Passive Radar for Earth's Surface Imaging: First Experimental Results
https://ieeexplore.ieee.org/document/10620445

Remote sensing and target acquisition with Starlink satellites
https://www.fhr.fraunhofer.de/en/sections/Multifunctional-RF-and-Radar-Systems-MFR/Remote-sensing-and-target-acquisition-with-Starlink-satellites-JB2022.html

Germany has built a passive radar demonstrator that tracks targets using radiation from Starlink satellites opportunistically. https://www.army-technology.com/news/germany-demonstrates-passive-radar-system-using-starlink-satellite-radiation/

#SpaceX #starlink #satellites #space #dsp #radars #technology

RE: @labria@social.yeschenko.com

Replica of the first spam bot.

#fakehistory

Beyond Silicon: Materials, Mechanisms, and Methods for Physical Neural Computing https://arxiv.org/abs/2604.09833

#NeuralNetworks #computing #ANN #ML #AI

Jaron Lanier

AI language models are trained on text created by scientists, writers, thinkers, entertainers and more. Erasure human contributions gives people a perception of AI as “this new super alien angel who's going to come and save us or kill us” rather than what it really is or could be: “a new, very high-level, very large-scale form of cooperation [that] is even more glorious than having a big alien angel. I think it's really cool.”

https://www.brown.edu/news/2026-04-24/jaron-lanier-cooper-lecture

#AI

Review: The Boys
(now in the 5th season)
Developer and showrunner is Saul Kripke's cousin!

I don't generally like superhero movies, TV series, or comics, with the exception of Watchmen (both the comic and TV series).

The Boys is also good. It has very dark humor and it's very gross, but what makes it really stand out is the accuracy of the political satire. The heroes are still silly and go through normal emotional tropes of superhero bullshit, but the villains, their character development, and their interactions are almost painfully realistic and good.

The Boys really nails the current zeitgeist.

They have near perfect timing somehow. Homelander is going nuts at the same rate as Trump. Both Trump and Homelander depicted as gods within the same week.

#theboys #uspol

@leonardom@mathstodon.xyz
I could not resist. 😀

I used Ishihara Plate Generator from https://franciscouzo.github.io/

#bongardproblem

Rapid concerted switching of the neural code in the inferotemporal cortex https://www.nature.com/articles/s41586-026-10267-3

.... for faces, face cells transition from detection to discrimination by switching from an object-general code to a face-specific one. More broadly, our findings indicate that there is a previously unknown mechanism for neural representation: concerted stimulus-dependent switching of the neural code used by a cortical area.

#neuroscience #vision

Data centers vs megaprojects.

Annual spending as % of that years US GDP (log scale).

Note: 50-60%, of data center CAPEX (Capital Expenditures) is deprecating fast (hardware must be replaced every 3-5 years). OPEX (operating expence) is also very high due to energy usage.

Additional comparisons:

Total social media ad revenue + total media and entertainment sector in the us make roughly 3% of US GDP year after year.

Transportation (total final demand is around 8-9% of GDP.

#datavisualization #AI #economics

@bornach@masto.ai @unchartedworlds@scicomm.xyz @brucelawson@social.vivaldi.net

The bonus package has real product and operational milestones. (SpaceX revenue is just 15 billion btw.)

You can hype up market cap for a long time but you can't hype up earnings and revenue for next decade.

Operational:

• Adjusted EBITDA: $50 Billion (1st tranche) up to $400 Billion (for the final tranches).

• revenue: $100 Billion (1st tranche) up to $500 Billion (for the final tranches).

• free cash flow: $5 Billion (1st tranche) up to $50 Billion (for the final tranches).

Product: milestones vehicle deliveries: 20 Million units delivered annually, 20 million active full self driving subscriptions, 1 million Robotaxis in commercial operation, 1 million humanoid robots delivered.

His 2018 milestone was challenging but this is much harder.