Artificial Intelligence to Assist Mathematical Reasoning Proceedings of a Workshop (2023) / Chapter Skim
Currently Skimming:
7 Conclusion
7 Conclusion
Pages 66-68
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 66... ...
to assist mathematical reasoning is, citing the presentations on topics ranging from reinforcement learning to generate counterexamples to conjectures, to formal language to codify mathematical reasoning in machine-processable forms. AI may even assist aspects of mathematics outside of proof such as conjecture forming.
|
From page 67... ...
Ellenberg cited the simile from Rebecca Willett, University of Chicago, that investing in ML without understanding mathematical foundations is like investing in healthcare without understanding biology. He considered it an apt statement precisely because societies do invest in healthcare without understanding biology -- there is so much still not understood in biology -- and the two areas work in an iterative interplay.
|
From page 68... ...
REFERENCE Weil, A
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.