Autonomous vehicles have made remarkable progress over the past decade, accumulating millions of miles and performing well on highways, in controlled test areas, and in select urban zones. However, ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

By applying new methods of machine learning to quantum chemistry research, Heidelberg University scientists have made significant strides in computational chemistry. They have achieved a major ...

Quantum computers promise to solve problems far beyond the reach of today’s machines, but building them is incredibly difficult. One of the biggest challenges is simply reading the information stored ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

Abstract: Science and engineering problems fall in the category of complex conceptual problems that require specific conceptual information (CI) like mathllogic-related know-how, process information, ...

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

The Space Launch System rocket program is now a decade and a half old, and it continues to be dominated by two unfortunate traits: It is expensive, and it is slow. The massive rocket and its ...

One American company is working to replace a key, rare earth mineral used by the military by using a technology of its own. LightPath Technologies , an Orlando, Florida-based optics and photonics ...