Скачать
Testing Artificial Mathematical Intelligence
Автор: Simons Institute for the Theory of Computing
Загружено: 2025-04-10
Просмотров: 1780
Описание:
Emily Riehl (Johns Hopkins University)
https://simons.berkeley.edu/talks/emi...
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
As Thurston describes in his famous essay "On proof and progress in mathematics," the answer to the question "What is it that mathematicians accomplish?" is multifaceted. Inspired by Turing's "Computing machinery and intelligence," we propose a series of tests to help identify whether a generative AI system can meaningfully contribute to the process of doing mathematics.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
