The vast majority of training data for Harmonic's Aristotle model is synthetic data generated by ..., Sonic AI
“The vast majority of training data for Harmonic's Aristotle model is synthetic data generated by the model itself, enabled by the ability to machine-check the validity of mathematical proofs.”