Arb Research Uses GPT-5.4 to Generate Proofs of Theorem 1.1

Original post

GL#1480@GLEECHOPARArb|@ARBRESEARCH

I'm glad to be with you, Samwise Gamgee

9:57 AM · May 18, 2026 View on X