In 2023, frontier artificial intelligence models were unable to reliably add four-digit numbers