Subsequent iterations of Bayesian optimization improved concrete strength and carbon emissions, resulting in the discovery of concrete formulations with improved tradeoffs between curing speed, strength, and sustainability.