Meta's newest AI discovers stronger and greener concrete formulas