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
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- The fall of the theorem economydavidbessis.substack.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- Declaration — Math and AImathandai.org
- Work hard | What's newterrytao.wordpress.com
- A somewhat optimistic view of AI in mathematicsproofsandprompts.com
- Knowledge Collapse - Boston Reviewbostonreview.net
- principia labsprincipialabs.org
- Look, Mom, I pressed a button!galoisrepresentations.org