For the first time, computer scientists and mathematicians have used artificial intelligence to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory.
Mathematics
Dec 1, 2021
6
2499
Using AI and computer automation, Technion researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They ...
Mathematics
Feb 5, 2021
3
9256
Is it possible to deduce the shape of a drum from the sounds it makes? This is the kind of question that Iosif Polterovich, a professor in the Department of Mathematics and Statistics at Université de Montréal, likes to ...
Mathematics
Mar 1, 2024
1
352
Carnegie Mellon University computer scientists and mathematicians have resolved the last, stubborn piece of Keller's conjecture, a geometry problem that scientists have puzzled over for 90 years.
Mathematics
Oct 6, 2020
1
1207
This may sound like a familiar kind of riddle: How many brilliant mathematicians does it take to come up with and prove the Kelmans-Seymour Conjecture?
Mathematics
May 25, 2016
1
1775
A mystery of mathematics that has remained unsolved for more than 150 years can be unraveled thanks to a completely unexpected approach coming from statistical physics. This is the important conclusion of Giuseppe Mussardo, ...
Mathematics
Nov 23, 2021
2
1353
A team of researchers at the Israel Institute of Technology has built what they describe as a Ramanujan machine—a device that automatically generates conjectures (mathematical statements that are proposed as true statements) ...
The Sensitivity Conjecture has stood as one of the most important, and baffling, open problems in theoretical computer science for nearly three decades. It appears to have finally met its match through work by Hao Huang, ...
Mathematics
Jul 10, 2019
0
1976
Monstrous moonshine, a quirky pattern of the monster group in theoretical math, has a shadow - umbral moonshine. Mathematicians have now proved this insight, known as the Umbral Moonshine Conjecture, offering a formula with ...
Mathematics
Dec 15, 2014
2
1
(Phys.org)—A group of mathematicians specializing in arithmetic geometry met for five days earlier this month in an attempt to understand a proof constructed by Shinichi Mochizuki, of Kyoto University posted online back ...
