Should Exist Index
An AI mathematical collaborator that proposes and proves abstractions
The goal of the Exponentiating Mathematics (expMath) program is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions.