SOME THOUGHTS ON AUTOMATION AND MATHEMATICAL RESEARCH
math.ias.edu · 3,714 words · saved by 1 readers
N/A
SOME THOUGHTS ON AUTOMATION AND MATHEMATICAL RESEARCH AKSHAY VENKATESH The deeper one digs the spade, the harder the digging gets; maybe it has become too hard for us unless we are given some outside help, be it even by such devilish devices as high-speed computing machines. (Weyl, [6].) Introduction. In 2017 Deepmind’s Alphazero taught itself chess and Go “overnight,” surpassing human performance and apparently reconstructing a good part of accu- mulated knowledge about chess openings. We will…
saved by
related reading
- Solve math, solve everything. — Math, Inc.math.inc
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- The fall of the theorem economydavidbessis.substack.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- [2608.16753] Mathematics in the age of AIarxiv.org
- Look, Mom, I pressed a button!galoisrepresentations.org
- A somewhat optimistic view of AI in mathematicsproofsandprompts.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- A beginning for mathematicsdaniellitt.com
- Declaration — Math and AImathandai.org
- A Workaphile’s Apologymoalquraishi.wordpress.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com