William,
not exactly an answer to your question but BOTEC estimate for FrontierMath costs: $400k — $2M
William,
not exactly an answer to your question but BOTEC estimate for FrontierMath costs: $400k — $2M