Awesome that you enjoyed it, thanks for helping us do more Science*!
We didn't use any AI for the notes, or anywhere else, this was made 100% by humans. We'd love to expand on the notes, but our research budget only lasted for a 5-week prototype (for now) so the notes might be a bit brief.