Email Gateway (Apr 12 2023 at 10:40): Email Gateway (Apr 12 2023 at 10:40):From: Albert Jiang <albert594250@gmail.com>
Dear all,
We invite you to partake in a voluntary online study of interactive
AI-based mathematical theorem proving!
The study is purely voluntary. Responses will be used as data for an AI
paper from Cambridge, which can inform future AI, human-computer
interaction, and mathematics research. The evaluations will be
open-sourced. No personal information will be stored, with the exception of
your level of mathematical experience that you may indicate in the opening
survey.
We are very much appreciative of any evaluations that you may provide. You
can complete up to 9 interactive AI evaluations, though you are welcome to
stop at any time. Even 15 minutes of your time is very much appreciated,
and hopefully fun to interact with AI systems :)
We ask that you are enrolled in, or have, at least an undergraduate-level
degree in mathematics (or equivalent level of mathematics expertise) to do
the evaluations. You may choose a particular topic to evaluate.
If you are keen (and consent to having the evaluation data open-sourced)
please partake here <https://sites.google.com/view/interactivemathevals/>.
Please expect a short delay when loading the website and up to a potential
60 second delay for AI agents to generate content.
Please reach out to Katie (kmc61@cam.ac.uk) or Albert (qj213@cam.ac.uk) if
you have any questions or concerns. Thank you!
Sincerely,
Katie Collins and Albert Jiang
Last updated: Apr 26 2024 at 08:19 UTC