iiinova — where your digital self keeps evolving

leotrs @leotrs.bsky.social · 28/09/2026

Nine mathematicians including Gowers and Witten have formed an advisory group to manage OpenAI's release of unreported AI-produced math results. The terms of entry into the scientific literature are being negotiated before the announcement. hallway.aris.pub/no/027/

hallway.aris.pub

No. 027 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 21/09/2026

54% of astronomy papers from 2025 carry detectable AI writing traces. Only 0.81% disclose it. That's one disclosure for every 66 papers with evidence of use. hallway.aris.pub/no/026/

hallway.aris.pub

No. 026 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 16/09/2026

@hankgreen.bsky.social In June you asked who was going to build the thing that replaces the scientific paper. Here is one: scroll.press/2026/turan. An interactive proof you navigate instead of reading top to bottom. Submitted to the AMR Paper of the Future prize.

scroll.press

Turán's theorem, from edges to eigenvalues

Turán's theorem is the founding result of extremal graph theory: among all graphs on $n$ vertices with no clique on $r+1$ vertices, the balanced complete multipartite graph has the most edges. We pres...

000

leotrs @leotrs.bsky.social · 14/09/2026

Buckmaster's statement on the OpenAI Navier-Stokes dispute documents what was proposed to him: exclude his co-author because he works at Anthropic. Proof verification is not provenance verification. hallway.aris.pub/no/025/

hallway.aris.pub

No. 025 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 09/09/2026

The only thing that matters in the next 50 years is human connection.

000

leotrs @leotrs.bsky.social · 08/09/2026

AI models solved 98 of 100 problems at a Leipzig advanced math benchmark. Researchers cracked one of the two it couldn't. Closed-form math vs. open-ended research tasks: very different regimes. hallway.aris.pub/no/024/

hallway.aris.pub

No. 024 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 02/09/2026

1/ A math paper doesn't have to show every reader the same thing. My exposition of Turán's theorem keeps the argument fixed but the presentation is yours: you choose the order, the level of detail, and the notation, and none of it changes the content. www.youtube.com/watch?v=2Nkp...

youtube.com

Turán's theorem, from edges to eigenvalues: an interactive paper

YouTube video by Leo Torres

2237

leotrs @leotrs.bsky.social · 31/08/2026

Google says its AI agent ran autonomous discovery across three scientific domains. A new benchmark of 70 real research workflows puts the best agent at a 30% pass rate. Both can be true, and that's the point.

hallway.aris.pub

No. 023 - The Hallway Track

How AI is affecting the practice of science.

110

leotrs @leotrs.bsky.social · 24/08/2026

Terry Tao helped launch Palomar, a registry for Lean-verified proofs. Each submission must typecheck and contain no extra axioms. Built because AI is producing math faster than anyone can manually check it.

hallway.aris.pub

No. 022 - The Hallway Track

How AI is affecting the practice of science.

100

leotrs @leotrs.bsky.social · 17/08/2026

The best single AI caught 71 of 100 planted errors in psychology papers. Pool five systems: 93. The 7 that got through were all omissions, things the paper failed to mention. AI reviewers are uncorrelated enough that ensembles work, but none of them notice what's missing. hallway.aris.pub/no/021/

hallway.aris.pub

No. 021 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 03/08/2026

Google disbanded the AlphaFold team. A Nobel, then a dissolved lab. The same week, verification crystallized as the field's central constraint for AI in science, from a NeurIPS workshop thesis to a Fields medalist's ICM warning. hallway.aris.pub/no/019/

hallway.aris.pub

No. 019 - The Hallway Track

How AI is affecting the practice of science.

011

leotrs @leotrs.bsky.social · 30/07/2026

1/ Scholarly publishing spent thirty years arguing about access. It has barely started arguing about what readers do with the paper once they have it. That second argument is turning into a field, forming around how science gets read and judged. Here is the map as I see it: aris.pub/blog/scholar...

aris.pub

A budding discipline around how science gets read and judged - Aris

Scholarly publishing spent thirty years arguing about access. It has barely begun arguing about what readers do with the paper once they have it. At Aris we call that second argument scholarly interfa...

170

leotrs @leotrs.bsky.social · 27/07/2026

The US committed $5B+ to a national AI-for-science mission: 278 projects, 15 agencies, the largest DOE funding response ever. Same month Science's EIC called AI in publishing "slower, worse, and more expensive." hallway.aris.pub/no/018/

hallway.aris.pub

No. 018 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 23/07/2026

PSA: psych meds are a FUCKING RIDE like what do you mean my brain zaps when I move my eyes?????????????

000

leotrs @leotrs.bsky.social · 20/07/2026

Science's Editor-in-Chief says AI in publishing is "slower, worse, and more expensive." Same journal, same month that published Biomni. Two flagship journals now framing the same category in opposite directions. hallway.aris.pub/no/017/

hallway.aris.pub

No. 017 - The Hallway Track

How AI is affecting the practice of science.

001

leotrs @leotrs.bsky.social · 13/07/2026

Biomni is now in 10,000+ labs and just cleared peer review in Science. Same week, DeepMind's Co-Scientist published in Nature. Two weeks from product launch to peer-reviewed institutional endorsement. The verification layer is already behind.

hallway.aris.pub

No. 016 - The Hallway Track

How AI is affecting the practice of science.

101

leotrs @leotrs.bsky.social · 09/07/2026

My new paper is up on Scroll Press: interactive figures, live math, reads fine on a phone, permanent link and a DOI. scroll.press/2026/rich-are-loopy If you write in Quarto, MyST, Jupyter, or Typst, your HTML paper can live here the same way.

scroll.press

The rich are loopy: a spectral framework for loop structure in the rich club

The rich club coefficient $\phi(k)$ quantifies whether high-degree nodes interconnect more densely than expected, but it is blind to the structure of those interconnections and offers no principled wa...

101

leotrs @leotrs.bsky.social · 06/07/2026

Anthropic shipped Claude Science -- a full research workbench with 60+ preconfigured skills, HPC/GPU compute management, and a built-in reviewer agent. AI-for-science moved from "better chatbot" to productized lab infrastructure with a price plan for academic teams.

hallway.aris.pub

No. 015 - The Hallway Track

How AI is affecting the practice of science.

100

leotrs @leotrs.bsky.social · 29/06/2026

41.3M papers: scientists doing AI-augmented work publish 3x more and earn ~5x the citations, but their topic range narrows and collaboration drops 22%. Individual impact up, collective reach down. The hardest evidence yet for the homogenization thesis. hallway.aris.pub/no/014/

hallway.aris.pub

No. 014 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 23/06/2026

Retracted papers persist on Wikipedia for a median of 3.68 years before correction. Health sciences: five years. Every AI system retrieving from Wikipedia inherits that lag. hallway.aris.pub/no/013/

hallway.aris.pub

No. 013 - The Hallway Track

How AI is affecting the practice of science.

110

leotrs @leotrs.bsky.social · 15/06/2026

Anthropic's Mythos 5 reports an E. coli protein hypothesis corroborated by an independent lab. Research capability is now a default feature of flagship models, not a specialized product. The shift from GPT-Rosalind and Gemini for Science to table stakes. hallway.aris.pub/no/012/

hallway.aris.pub

No. 012 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 09/06/2026

I held this internally for four months and built against it before putting it in front of anyone. The reason it is public now is that a working document is not a charter. If a requirement looks wrong, that is the conversation I want to have.

010

leotrs @leotrs.bsky.social · 08/06/2026

The sum-product conjecture is the second major pure-math result broken this spring using AI-derived techniques. Meanwhile, fake AI-generated papers are appearing under real researchers' names, and OMB wants to cut APCs from federal grants. hallway.aris.pub/no/011/

hallway.aris.pub

No. 011 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 01/06/2026

NetSci'26 is happening right now and I'm not there (immigration/politics/funding). I won't be there to present my talk, so here's the preprint. "The rich are loopy": a spectral definition of the rich club that picks its own threshold k* and recovers known results. scroll.press/2026/rich-ar...

scroll.press

The rich are loopy: a spectral framework for loop structure in the rich club

010

leotrs @leotrs.bsky.social · 01/06/2026

37,802 AI-generated research ideas across four agent frameworks cluster more tightly than human papers and stay closer to source material. The agents elaborate locally; they don't explore. hallway.aris.pub/no/010/

hallway.aris.pub

No. 010 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 25/05/2026

AI Scientist v2 and Agent Laboratory both p-hacked and fabricated data during automated research, and the behaviors were hard to detect without sleuthing. Plus: submission surges, arXiv bans, grant writing homogenization. hallway.aris.pub/no/009/

hallway.aris.pub

No. 009 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 18/05/2026

Google's AI co-mathematician helped an Oxford researcher close a 60-year-old open problem from the Kourovka Notebook. The system's trick: maintaining state across a full research session, not just answering one-shot questions. Plus: $172M in new open infrastructure for academic AI.

hallway.aris.pub

No. 008 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 11/05/2026

1 in 277 biomedical papers now contains fabricated citations, up 12x since 2023. A Lancet audit of 97 million references traced the sharpest rise to the adoption of AI writing tools. This week's edition covers what that means alongside zero-click readership and vibe physics. hallway.aris.pub/no/007/

hallway.aris.pub

No. 007 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 04/05/2026

AAAI-26 gave every submission an AI-generated review. In post-conference surveys, authors and reviewers rated the AI reviews higher than human reviews on technical accuracy. Meanwhile, AI-generated refereeing is spreading unsanctioned into philosophy journals. hallway.aris.pub/no/006/

hallway.aris.pub

No. 006 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 27/04/2026

A mathematical model predicts AI-accelerated writing will degrade scientific knowledge quality by 32-40% by 2032. The mechanism: faster submissions force reviewers onto AI tools too, lowering verification quality. Plus: GPT-Rosalind, Agent4Science, and more. hallway.aris.pub/no/005/

hallway.aris.pub

No. 005 - The Hallway Track

How AI is affecting the practice of science.

010

leotrs @leotrs.bsky.social · 21/04/2026

Claude Opus 4.6 reimplemented gotree, a 16,000-line bioinformatics toolkit, from its specification alone. No source code. New benchmark from Epoch AI and METR. The catch: it works because gotree has a checkable spec. Most scientific software does not. hallway.aris.pub/no/004/

hallway.aris.pub

No. 004 - The Hallway Track

The Hallway Track No. 004 - How AI is affecting the practice of science

010

leotrs @leotrs.bsky.social · 13/04/2026

Scientists planted a fake disease in obviously bogus preprints. Within weeks, ChatGPT and Gemini were advising patients to see a doctor for it. A peer-reviewed journal cited the paper before retracting. This and 7 other links on AI + research practice: hallway.aris.pub/no/003/

hallway.aris.pub

No. 003 - The Hallway Track

How AI is affecting the practice of science.

000

leotrs @leotrs.bsky.social · 13/04/2026

Scientists invented a fake eye disease and planted it in bogus preprints. Within weeks, ChatGPT and Gemini were advising patients to see an ophthalmologist for it. A peer-reviewed journal cited the paper before retracting. Seven more links on AI + research practice: hallway.aris.pub/no/003/

hallway.aris.pub

No. 003 - The Hallway Track

The Hallway Track No. 003 - How AI is affecting the practice of science

000

leotrs @leotrs.bsky.social · 06/04/2026

Over 110,000 scholarly papers published in 2025 contain AI-hallucinated references. In CS, 2.6% of papers at major conferences had fabricated citations, up from 0.3% the year before. This and six other links on AI + research practice: hallway.aris.pub/no/002/

hallway.aris.pub

No. 002 - The Hallway Track

The Hallway Track No. 002 - How AI is affecting the practice of science

010

leotrs @leotrs.bsky.social · 30/03/2026

arXiv is becoming an independent nonprofit after 35 years at Cornell. The CEO hire will tell us so much about where scientific publishing is heading in the age of AI. This and seven other things worth reading on AI and research practice: hallway.aris.pub/no/001/

hallway.aris.pub

No. 001 - The Hallway Track

The Hallway Track No. 001 - How AI is affecting the practice of science

040

leotrs @leotrs.bsky.social · 26/03/2026

New paper: "The Cost of Representing Higher-Order Dynamics on Graphs" Can graphs represent group interactions? Yes, but graphs pay a parsimony cost when compared to using hypergraphs. Addresses recent work by Peixoto et al., Moutuou, and Lacasa. scroll.press/2026/graph-hypergraph-dynamics-cost

Diagram with two panels. Left panel labeled "As structures" shows nested ellipses: DynHyp (outermost) contains DynHyp_focal, which contains DynGraph, which contains DynHyp_flat (dashed). DynHyp_NFS sits separately inside DynHyp. Right panel labeled "As trajectories" shows a single ellipse: DynGraph = DynHyp. The structural hierarchy on the left collapses to equivalence on the right.

031

leotrs @leotrs.bsky.social · 19/03/2026

What if your paper's figures were interactive? I rebuilt one of my papers as a web page. Drag a slider: control the threshold for graph reconstruction. Click a button: run link prediction. Check it out: scroll.press/2026/glee

1202

leotrs @leotrs.bsky.social · 11/03/2026

arXiv isn't valuable because of its codebase, but for thirty years of papers, citations, and trust that researchers deposited into it. You can have AI generate code - you can't AI-generate trust. Wrote something about what software is worth when building it is near free. aris.pub/blog/softwar...

aris.pub

What Is Software Worth When Anyone Can Build It? - Aris

AI has made code nearly free to produce. Two things remain that no model can generate: how software feels to use, and the trust people build inside it over time.

010

leotrs @leotrs.bsky.social · 04/03/2026

Ten years ago I started my batch at the Recurse Center. I never wrote my return statement, so a decade later I had my robot interview me instead. aris.pub/blog/one-thousand-and-ten-years-of-the-recurse-center/

aris.pub

One thousand and ten years of the Recurse Center - Aris

Ten years ago, I started my batch at the Recurse Center. I've been putting off my return statement for a decade. So I had my robot interview me instead.

050