Mathematical methods and human thought in the age of AI

Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the province of humans. As these tools become exponentially sophisticated and pervasive, the justifications for their rapid development and integration into society are frequently called into question, particularly as they consume finite resources and pose existential risks to the livelihoods of those skilled individuals they appear to replace. In this paper, we consider the rapidly evolving impact of AI to the traditional questions of philosophy with an emphasis on its application in mathematics and on the broader real-world outcomes of its more general use. We assert that artificial intelligence is a natural evolution of human tools developed throughout history to facilitate the creation, organization, and dissemination of ideas, and argue that it is paramount that the development and application of AI remain fundamentally human-centered. With an eye toward innovating solutions to meet human needs, enhancing the human quality of life and expanding the capacity for human thought and understanding, we propose a pathway to integrating AI into our most challenging and intellectually rigorous fields to the benefit of all humankind.

Side-Effectful Expressions in C · Luna’s Blog

Toward automated verification of unreviewed AI-generated code - Peter Lavigne

Constraints that could make unreviewed AI-generated code trustworthy.

A new start after 60: I baked a pie every day for a year – and it changed my life

Vickie Hardin Woods was worried she would lose her identity when she retired. Instead, she came up with a plan that made her feel more creative, connected and valued than ever

The Work Behind the Writing: On Writers and Their Day Jobs

For nineteen years, until his retirement in 1885, Herman Melville would awake, slick back his dark hair and unsnarl the snags from his beard, don a uniform of dark navy pilot cloth and affix to his…