Carina Hong, 24, raised $64 million to build an AI mathematician that discovers new theorems and solves century-old problems.

The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat’s Last ...

CHONGQING, CHINA - MAY 11: In this photo illustration, the logo of Bit Digital, Inc. and its Nasdaq ticker symbol BTBT are displayed on a smartphone screen, with the company's latest stock market ...

Digital asset company Bit Digital has pivoted its corporate treasury strategy from Bitcoin to Ether, saying the shift reflects its conviction that Ethereum will “rewrite the entire financial system.” ...

Former Bitcoin mining firm Bit Digital fell sharply this week, with its share price tumbling almost 19% over the five-day period to close at $1.99 on Friday, with a 15% drop in just 24 hours. The ...

They are used to steer a horse, but some think placing a hunk of metal in their mouths and tugging on it is cruel. A few riders have found another way. By Sarah Maslin Nir As Brendan Wise gallops his ...

Harvard might be America’s most elite university — but now it’s offering remedial math classes. The school’s math department is providing a new scaled-back math class for freshmen who are apparently ...

Your average daily heart rate is a useful metric; so is your daily step count. Combining the two might be even better. By Matt Richtel Many people use a smartwatch to monitor their cardiovascular ...

When building a tool arsenal for at-home or professional use, it's relatively easy to keep the big stuff in mind. The larger, more prominent tools of the trade tend to come first, and if you know ...

Qubits are the fundamental building blocks of quantum computers — and, when fitted into these machines — rely on the weird laws of quantum mechanics to process calculations in parallel. When you ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...