Tacit knowledge and partial automation in mathematics | Fields Institute for Research in Mathematical Sciences

In his insightful essay on the potential impact of automation on future mathematical research, Akshay Venkatesh calls attention to the current mechanisms through which mathematicians negotiate the value of results and reach consensus. My talk will expand on Venkatesh’s discussion by focusing on three topics. First, I will illustrate how the valuation of mathematical work has shifted over time and across different subsets of the mathematical community.

Tacit knowledge and partial automation in mathematics | Fields Institute for Research in Mathematical Sciences Home Tacit knowledge and partial automation in mathematics Speaker: Rodrigo Ochigame, Leiden University Date and Time: Wednesday, October 19, 2022 - 11:15am to 12:30pm Location: The Fields Institute, Room 230 Abstract: In his insightful essay on the potential impact of automation on future mathematical research, Akshay Venkatesh calls attention to the current mechanisms through which mathematicians negotiate the value of results and reach consensus. My talk will expand on Venkatesh’s

related reading

• The fall of the theorem economydavidbessis.substack.com
• SOME THOUGHTS ON AUTOMATION AND MATHEMATICAL RESEARCHmath.ias.edu
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• [2608.16753] Mathematics in the age of AIarxiv.org
• Work hard | What's newterrytao.wordpress.com
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
• Look, Mom, I pressed a button!galoisrepresentations.org
• There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org