Some thoughts on automation and mathematical research

IF 2 3区数学 Q1 MATHEMATICS

Bulletin of the American Mathematical Society Pub Date : 2024-02-16 DOI:10.1090/bull/1834

Akshay Venkatesh

引用次数: 2

Abstract

I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.

查看原文本刊更多论文

关于自动化和数学研究的一些想法

我将讨论数学家如何就什么是重要的达成共识，以及自动推理可能会如何影响这一过程。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Bulletin of the American Mathematical Society 数学-数学

CiteScore

2.90

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.