Related papers: Prove or Disprove. 100 Conjectures from the OEIS
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
Recently, G. Mason has produced a counterexample of order 128 to a conjecture in conformal field theory and tensor category theory in [Ma]. Here we easily produce an infinite family of counterexamples, the smallest of which has order 72.
The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$…
Unexpectedness is a central concept in Simplicity Theory, a theory of cognition relating various inferential processes to the computation of Kolmogorov complexities, rather than probabilities. Its predictive power has been confirmed by…
We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and theoretical physics in 2017, we summarize how this emerging field has…
Recently Z.W.Sun found over hundred conjectured formulas for 1/pi. Many of them were proved by H.H.Chan, J.Wan andW.Zudilin (see [3], [8] in the paper). Here we show that several other formulas in [6] are simple transformations of known…
This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including…
We survey Kondrat'ev--Landis' conjecture, providing an up-to-date account of the main advances and describing the techniques developed. We complement the overview with references and formulations of the problem in further closely connected…
This book provides a comprehensive and accessible introduction to the emerging field of AI for mathematics. It covers the core principles and diverse applications of using artificial intelligence to advance mathematical research. Through…
The odds theorem and the corresponding solution algorithm (odds algorithm) are tools to solve a wide range of optimal stopping problems. Its generality and tractability have caught much attention. (Google for instance "Bruss odds" to obtain…
This book introduces to the theory of probabilities from the beginning. Assuming that the reader possesses the normal mathematical level acquired at the end of the secondary school, we aim to equip him with a solid basis in probability…
In this note, we establish the validity of a conjecture recently proposed in Mathematics Magazine and connect it to the existing interesting results
There is no trivial mathematics, there are only trivial mathematicians! A mathematician is trivial if he or she believes that there exists trivial mathematics. Being a non-trivial mathematician myself, I will describe ten different proofs…
This is a introductory survey of some recent developments of "Galois ideas" in Arithmetic, Complex Analysis, Transcendental Number Theory and Quantum Field Theory, and of some of their interrelations.
In this paper, we give a simple counter example to the famous Hodge conjecture.
Combinatorics is a powerful tool for dealing with relations among objectives mushroomed in the past century. However, an more important work for mathematician is to apply combinatorics to other mathematics and other sciences not merely to…
Explanations play a variety of roles in various recommender systems, from a legally mandated afterthought, through an integral element of user experience, to a key to persuasiveness. A natural and useful form of an explanation is the…
The plausibility of uncommon events and miracles based on testimony of such an event has been much discussed. When analyzing the probabilities involved, it has mostly been assumed that the common events can be taken as data in the…
This paper covers two topics: first an introduction to Algorithmic Complexity Theory: how it defines probability, some of its characteristic properties and past successful applications. Second, we apply it to problems in A.I. - where it…
This panel draws on research of the teaching of mathematical proof, conducted in five countries at different levels of schooling. With a shared view of proof as essential to the teaching and learning of mathematics, the authors present…