Leon Rofagha
leonrofa.bsky.social
Leon Rofagha
@leonrofa.bsky.social
σ-algebra hobbyist
🤣
On exception give a prize to a woman. Afterwards name a prize after that woman, and only give it to men.
October 2, 2026 at 2:41 PM
Reposted by Leon Rofagha
arXiv has updated our policy on rate limiting for all submitters.

This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors.

Please read our announcement to learn more: https://blog.arxiv.org/2026/10/01/updated-rate-limit-policy/
October 1, 2026 at 7:03 PM
European industry is doing better than you may think
economist.com/business/202...
European industry is doing better than you may think
The firms most exposed to China are suffering. But many are adapting
economist.com
September 28, 2026 at 6:59 PM
And so it starts. I hope the incentives change quickly enough!
There is a strong interest in using grants to buy more tokens. Many people have said that they get more research value in tokens than students: turning down a department-funded PhD studentship in exchange for tokens is surprisingly popular; replacing PDRAs with tokens on grants too.
September 27, 2026 at 2:17 PM
Reposted by Leon Rofagha
“Using a train, a professor ran 800 km in three hours.”
This professor "wrote" over 200 academic papers and 14 books in one year. This is ridiculous. Most people don't even have time to read this many papers and books carefully in a year, let alone write and edit it.

This feels like peak AI slop. I'm curious what other people think about this?
September 25, 2026 at 4:53 PM
ICM 2026 Invited Section Lecture - Rina Foygel Barber
YouTube video by Simons Foundation
www.youtube.com
September 25, 2026 at 1:48 PM
During your PhD: learning to do research — Rianne de Heide
riannedeheide.github.io
September 20, 2026 at 7:00 AM
Such a great write-up
Here’s my first attempt to grapple with AI companies’ conquest of mathematics and our new mathematical condition.
Applied Pure Mathematics
Some thoughts about mathematics as a cultural and social technology.
www.argmin.net
September 18, 2026 at 3:19 PM
CLIMB + Neyman talk with Daniela Witten
YouTube video by Climb Seminars
youtube.com
September 17, 2026 at 7:22 AM
Reposted by Leon Rofagha
September 16, 2026 at 11:02 AM
Reposted by Leon Rofagha
I've written an essay on how I think the mathematics profession should adapt to highly capable AI systems. It's hosted here on "Proofs and Prompts": proofsandprompts.com/2026/09/14/a...
though you should also feel free to complain/comment on my website here: daniellitt.com/blog/2026/9/...
A beginning for mathematics
Daniel Litt, professor at the University of Toronto Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a g…
proofsandprompts.com
September 14, 2026 at 2:17 PM
Reposted by Leon Rofagha
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
Declaration — Math and AI
Read the declaration and add your name.
mathandai.org
September 11, 2026 at 5:40 PM
An interesting read on software production at technology companies. The upshot seems to be that AI does almost all of it and engineers only review particularly risky snippets?
What is happening with code reviews?
AI generates more code than devs can track in 2026, so will the code review process have to adapt – or is it doomed? A look into this decades-old practice and the approaches that could replace it
newsletter.pragmaticengineer.com
September 11, 2026 at 4:46 PM
It seems plausible to me that statistics, computer science and related disciplines will get more mathematical over the coming years as “pure” mathematicians whose funding has dried up find refuge there
September 11, 2026 at 9:16 AM
Reposted by Leon Rofagha
This is just to say

I have solved
the open questions
that were in
your paper

and which
you were probably
saving
for your phd students

Forgive me
they were delicious
so incentive-laden
and followed so readily once your postdoc's drafts mysteriously found their way into my training data
September 10, 2026 at 12:06 AM
Reposted by Leon Rofagha
Anthropic doesn’t have enough compute to service demand; OAI may be demand-bound instead. if so then they’re in a position where they have however much excess capacity and they just need to find the best thing to throw it at, over and over again
September 9, 2026 at 6:02 AM
Reposted by Leon Rofagha
Hey buddy you got any breakthrough proofs you’re working on? No reason, me and my large corporation are just curious
September 9, 2026 at 12:57 AM
The trivialisation of programming is perhaps one bright spot of the effects of AI in research for me. I never enjoyed it and was always terrible at it
September 4, 2026 at 4:47 PM
Reposted by Leon Rofagha
Comments: 32 pages, human work 😜
I count 5 papers already on the arXiv (submitted yesterday; all but #5 in the screenshot below) based on one (1) event in the LZ detector that has a possible dark matter interpretation, which was also announced ... yesterday. If these trends continue...
September 2, 2026 at 4:47 PM
Reposted by Leon Rofagha
My German Applied Microeconomist costume this year will be lit
August 29, 2026 at 5:50 AM
Reposted by Leon Rofagha
David Pollard has a new draft, "Probability tools, tricks, and
miracles" (last updated June 2006). Lots of good things in there, from a quick skim!

And, if nothing else, worth reading for the quality of the writing and the exposition choices and notes.

www.stat.yale.edu/~pollard/Boo...
August 8, 2026 at 10:13 PM
Reposted by Leon Rofagha
sorry for accidentally inventing a swarm of cybersecurity demons, but now that it exists, the only way to stop a bad swarm of cybersecurity demons is a good swarm of cybersecurity demons
August 7, 2026 at 2:37 PM
Reposted by Leon Rofagha
People used to be able to impress and intimidate reviewers with complicated proofs. This will change. In the age of AI inscrutable proofs are cheap. It is understandable proofs that are valuable. Opaque complexity is now it is a sign of laziness or lack of insight.
August 7, 2026 at 1:44 PM