Smithsonian Magazine on MSN
Mathematicians puzzled over a famous problem for 80 years. Now, they've used AI to identify a clever solution
Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...
Critics of artificial intelligence caution that, as a relatively new technology, its long-term effects on the human brain are still unknown. But a new study shows that AI could be dangerous even in ...
Using AI chatbots for even just 10 minutes may have a shockingly negative impact on people’s ability to think and problem-solve, according to a new study from researchers at Carnegie Mellon, MIT, ...
The National Council of Teachers of Mathematics makes the argument that teachers, principals, and district leaders must “stay up to date on current AI trends” to prepare students for the future. But ...
After 30 months of fast-paced innovation in quantum algorithms, six research groups are hoping to hit paydirt. But there can be only one big winner—if there is a winner at all. I’m standing in front ...
When a startup struggles, founders usually assume the solution is obvious: more marketing, more hiring, or more capital. But in my experience advising founders, the real issue is usually something ...
GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results