By using this technique, Buehler was able to show the AI product to systematically reason over intricate scientific ideas and behaviors. The symbolic interactions introduced by morphisms help it become obvious that the AI isn't basically drawing analogies, but is partaking in deeper reasoning that maps summary constructions across various domains.A