Science New VERITAS project aims to bake AI assurance into scientific infrastructure Hiroshi Nakamura · July 28, 2026