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
John Loeber
Researcher

John Loeber

@johnloeber

Author of essay about automated theorem proving in mathematics, describing the bitter lesson that engineering doesn't matter compared to base model improvements.

1
Mentions
1
Articles
1
Outlets

Companies Covered

Writes About

Levent AlpögeResearcher
1 article

Articles

Most recent first

Mentioned In

Referenced in coverage

Bitter Lessoned in Automated Theorem Proving
essays.johnloeber.commixedOct 26, 2026

“Author of essay about automated theorem proving in mathematics, describing the bitter lesson that engineering doesn't matter compared to base model improvements.”