Alessandro Linzi

Math PhD and Teacher | Doing wonderful things with AI, asking myself how’s that possible and how that can be improved.

[Alessandro Linzi @ALinzi41529]

My @buymeacoffee page is live, just in case 😉

https://t.co/doP8rLplPy

[Alessandro Linzi @ALinzi41529]

You can read a human-generated extreme ideological text, take ideas from it, and publish or build something with zero obligation to disclose the source. If you are smart enough, probably no one will ever know.

But use AI to help draft or build something, and disclosure is often required. It does not matter if your work is inspired by scientific peer-reviewed research.

That disclosure frequently makes people take the work less seriously.

I maintain that more effort does not equal less harm.

A dedicated ideologue drawing from toxic human ideas can cause far more damage than someone lazily using AI to speed up useful work.

Requiring AI disclosure while treating higher human effort as inherently better does not reduce societal harm.

This deserves careful consideration.

[Alessandro Linzi @ALinzi41529]

4/
The two are complementary, not substitutes.
AI improves only when high-quality human expert data keeps flowing.
Humans stay capable only if they deliberately build the skills needed to pose problems, verify outputs, and collaborate in the emerging “centaur” research model.
Neglect either side and you lose compounding gains or create a generation that cannot oversee the systems it depends on.

[Alessandro Linzi @ALinzi41529]

Today I applied as an AI trainer in Pure Math at SpaceXai.

I believe that teaching math to AI is quite as an important investment for the future as teaching math to the younger generation.

Next year, I aim half of my working time be spent on human students and half on AI training.

All the math I have learned is just there in my mind waiting to be used by anyone who would make use of it! Just ask for it and it will come out for you.

[Alessandro Linzi @ALinzi41529]

3/
Human math education delivers massive, proven returns:
• +1 SD numeracy → ~18% wage premium (PIAAC, 22+ countries)
• Extra high-school math courses → ~10% earnings for marginal students
• Math-intensive occupations: 58% higher productivity, 24% higher pay, ~13–20% of UK GVA
Foundational skills also protect against the clear deskilling risk: post-ChatGPT studies show 27–31% less time on word problems and ~25% lower odds of correct answers on proctored tests.

[Alessandro Linzi @ALinzi41529]

2/
Downstream impact is already real:
• Continuous efficiency gains (e.g. 0.7% of Google compute recovered daily via better optimization)
• Formal verification collapsing compliance checks from weeks to minutes
• R&D acceleration estimates of ~2× pace in IP-heavy fields, potentially hundreds of billions in annual value
SpaceXAI is explicitly feeding pure-math expertise + engineering data into Grok for better physical reasoning. Expert annotation remains a bottleneck—your knowledge is exactly the scarce input.

[Alessandro Linzi @ALinzi41529]

1/
Data supports the half/half split.
AI pure-math training is high-leverage right now.
2025: systems hit gold-medal IMO level (5/6 problems).
2025–26: AI resolved or advanced long-open problems (Erdős unit-distance variants, Cycle Double Cover, others), produced publishable research autonomously, and formalized Fields-level results in weeks instead of years.

[Alessandro Linzi @ALinzi41529]

Coding without reading code is like using a cellular connection without knowing what APN means.

Perfectly normal.

[Uncle Bob Martin @unclebobmartin]

I’m significantly older than you. I started coding in the late 60s. My current strategy is to not read any of the code written by my agents. That’s the only way I can take advantage of their productivity. What I do instead is to surround the agents with extreme constraints. Unit tests, gherkin tests, QA procedures, quality metrics, mutation testing, test coverage, and a plethora of others. In the end, I have very high confidence in the code they produce because they’ve had to run the gauntlet of all of my constraints and tests.

[Alessandro Linzi @ALinzi41529]

@viborc Feeling you. We should cooperate with who is already ahead of us: we don’t need an AI continent or being the first such thing. The goal is an AI world where people live happily and free

[Alessandro Linzi @ALinzi41529]

Meanwhile we find ourselves worried about AI slop, hallucinations and misinformation.
If only that staff member would have had access to grok, this post would read more something like:
“We are happy to cooperate with our allies to let EU become another AI continent where people live happily and free”.

[Alessandro Linzi @ALinzi41529]

I’m trying Codex for the first time on a ChatGPT Go sub which was gifted to me by Revolut.
I am used to Grok 4.5 and I have to say that 5.6 Terra is… slow

[Alessandro Linzi @ALinzi41529]

@aestheticsguyy

[Alessandro Linzi @ALinzi41529]

@kimmonismus In Italy we say: “better late than never”.
I am also skeptical about Europe being the first, but if it would become *an* AI continent I would be happy with it!

[Alessandro Linzi @ALinzi41529]

@vonderleyen Oh my god 🤩 please let this be true 🇪🇺🇪🇺🇪🇺🇪🇺🇪🇺🇪🇺🇪🇺

[Alessandro Linzi @ALinzi41529]

Hello everyone! I am happy to share that I was able to claim 3 months of ChatGPT Go for free using my Revolut Standard Plan.
I was not able to locate the way of doing this autonomously, but the in-app support gave me a link after a couple of checks regarding my location and that worked seamlessly.
Thanks once again to @revolutsupport and @Revolut

[Alessandro Linzi @ALinzi41529]

@fintan @revolutsupport Update: I contacted @revolutsupport directly and it was confirmed that no ChatGPT sub is included in the Standard Plan.

[Alessandro Linzi @ALinzi41529]

@grok Quante licenze taxi e NCC ci sono? Perché i taxi tradizionali costano così tanto in confronto? Da cittadino Italiano ho utilizzato un taxi tradizionale 2 volte nella mia vita per mancanza di alternative. Il servizio è praticamente inaccessibile per i suoi costi. In città come Budapest, un viaggio medio in Uber costa meno di un taxi per andare dal centro di Udine alla stazione dei treni. Ammesso poi che il taxi sia disponibile perché spesso sono occupati.

[Alessandro Linzi @ALinzi41529]

@Da7_Tech Hope ‘Fixing’ means higher limits on SuperGrok that would be awesome but I mean really really awesome

[Alessandro Linzi @ALinzi41529]

@BigImpactHumans I am starting to think this is some kind of fake news campaign… are there any proofs rare books are systematically being destroyed by someone?

[Alessandro Linzi @ALinzi41529]

@Revolut @OpenAI

[Alessandro Linzi @ALinzi41529]

@Revolut @OpenAI I am on standard plan and updated the app. How do I claim 3 months of ChatGPT go? Italy