Can artificial intelligence allow computers to ensure safe autonomous systems and advance optimization? Two Princeton professors believe it can, and they received a research grant earlier this year to ...

What happens when things combine? This question lies at the heart of the Borell-Brascamp-Lieb inequality (BBL), a mathematical relation widely applied across many fields of mathematics, science and ...

Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a ...

In a remarkable breakthrough in the field of Mathematical Science, Professor Kyudong Choi from the Department of Mathematical Sciences at UNIST has provided an irrefutable proof that certain spherical ...

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. Computer proof assistants have been an intriguing subplot ...

Two high school seniors have presented their proof of the Pythagorean theorem using trigonometry — which mathematicians thought to be impossible — at an American Mathematical Society meeting. When you ...

Every time Isobel van Hagen publishes a story, you’ll get an alert straight to your inbox! Enter your email By clicking “Sign up”, you agree to receive emails ...

Google recently announced Google Photos. The basic idea is that Photos will fix the problem of photos and photo sharing. I’ll admit that there’s a problem. Even using iOS and Mac OS X, it’s never as ...