Can Artificial Intelligence be used to find out reasonable conjectures or even to turn them into theorems by discovering a proof ? If yes, and after a proof is indeed found through AI, can one instruct the AI program to explain how did it found the proof ?
2026-02-23 04:56:31.1771822591
Can Artificial Intelligence be used to find out reasonable conjectures or even to turn them into theorems by discovering a proof?
335 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in SOFT-QUESTION
- Reciprocal-totient function, in term of the totient function?
- Ordinals and cardinals in ETCS set axiomatic
- Does approximation usually exclude equality?
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Online resources for networking and creating new mathematical collaborations
- Random variables in integrals, how to analyze?
- Could anyone give an **example** that a problem that can be solved by creating a new group?
- How do you prevent being lead astray when you're working on a problem that takes months/years?
- Is it impossible to grasp Multivariable Calculus with poor prerequisite from Single variable calculus?
- A definite integral of a rational function: How can this be transformed from trivial to obvious by a change in viewpoint?
Related Questions in RESEARCH
- Online resources for networking and creating new mathematical collaborations
- What to do about the third derivative of a twice differentiable function?
- Is there active research on topological groups?
- Model parameters unknown
- Where does the Jordan canonical form show up in more advanced mathematics?
- Visualization vs memorization of mathematical knowledge
- Math Research Opportunities for a Senior in High School
- Equilibrium proof question in research paper.
- Closed form expression for a Gamma-like integral involving a powered Appell hypergeometric function
- Have seen long proofs in articles some with $15$+ lemmas for a single theorem. How does a writer keep track of and manage so many lemmas?
Related Questions in COMPUTER-ASSISTED-PROOFS
- What do you think of this visual category theory tool? See any issues? Would you use it?
- Conjectures Disproven by the use of Computers?
- Why is there not a system for computer checking mathematical proofs yet (2018)?
- Subtyping of Prop in Coq. Implementation of Ackermann class theory. First-order theories.
- Is there little more advanced alternative of "DC Proof"? (it's a proof assistant)
- Strategy for finding trapping region of a discrete Dynamical System (Hénon map)
- Are there any proof assistants based on logic programming?
- Have there been any computer proofs that were found to contain bugs post-publication?
- Is there a theorem prover that works in natural language?
- What language are axioms expressed in?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
These kind of AI already exist. Here is a related wikipedia article.
There are however some problems... what do we mean by a "Reasonable conjecture" and what do we mean by "exaplaining a proof"?
The Theorem provers can allways give you an explanation, however these are usually 1000 lines of long logical formulas, which in some sence is quite impossible to read through, or at least not what you expect when you want and explanation.
Which questions one should prove and what is a "reasonable conjecture" is a very philosophical question. If you ask top researchers for "pointless research" in their field, they will probably be able to point such out, but that does not mean that the "pointless research" is not new and is not true.
Now what you probably wanted to know is if all mathematical research can currently be swapped by good AIs, where the answer is obviously no. However, in time...