AI Chat AI Image Generator AI Video Text to Speech

Automated Mathematics and the Reconfiguration of Proof and Labor

09/20/2023

∙

by Rodrigo Ochigame, et al.

∙

∙

This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.

page 1

page 2

page 3

page 4

research

∙ 01/10/2017

Towards Smart Proof Search for Isabelle

Despite the recent progress in automatic theorem provers, proof engineer...

0 Yutaka Nagashima, et al. ∙

research

∙ 06/12/2018

Goal-Oriented Conjecturing for Isabelle/HOL

We present PGT, a Proof Goal Transformer for Isabelle/HOL. Given a proof...

0 Yutaka Nagashima, et al. ∙

research

∙ 09/26/2017

Tensors Come of Age: Why the AI Revolution will help HPC

This article discusses how the automation of tensor algorithms, based on...

0 John L. Gustafson, et al. ∙

research

∙ 06/03/2019

On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods

In this paper we examine the potential of computer-assisted proof method...

0 Jeffrey Uhlmann, et al. ∙

research

∙ 07/05/2021

Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities

We present a framework for automating generative deep learning with a sp...

46 Sebastian Berns, et al. ∙

research

∙ 04/02/2018

Learning to Reason with HOL4 tactics

Techniques combining machine learning with translation to automated reas...

0 Thibault Gauthier, et al. ∙

research

∙ 07/02/2019

Formalizing the Solution to the Cap Set Problem

In 2016, Ellenberg and Gijswijt established a new upper bound on the siz...

0 Sander R. Dahmen, et al. ∙