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
PM
Researcher

Patrick Massot

Expert in formalized mathematics warning that AI-generated proofs will create a radioactive wasteland destroying formalization benefits.

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 warning that AI-generated proofs will create a radioactive wasteland destroying formalization benefits.”