justreadthis.ai
ArchivePeopleAboutSubscribe
justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

© 2026 justreadthis.ai

AboutArchivePrivacyTerms
← Back to People
Alex Kontorovich
Researcher

Alex Kontorovich

Head of Infrastructure Services

LinkedIn@AlexKontorovich

Expert in formalized mathematics discussing the need for canonization and smart abstractions in autoformalized proofs.

1
Mentions
1
Articles
1
Outlets

Companies Covered

Articles

Most recent first

Mentioned In

Referenced in coverage

The fall of the theorem economy
davidbessis.substack.comcautiousApr 22, 2026

“Expert in formalized mathematics discussing the need for canonization and smart abstractions in autoformalized proofs.”