This requires an algorithm: students are taught to stack one number atop another and multiply each digit of the bottom number ...

An OpenAI AI model has solved a mathematical puzzle that has eluded humans for over 50 years. Ethan Knight, a researcher at ...

Grok 4.5 constructed a counterexample proving hypercontractivity fails on the 4-sphere, closing a decades-old gap in ...

Summary: Researchers argue that aphantasia, the complete inability to voluntarily form mental images, fundamentally shatters ...

Google and OpenAI have solved decades-old problems — but the scientific community is beginning to discuss whether limits should be placed on the technology ...

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after ...

An OpenAI model disproved the 80-year-old Erdős unit distance conjecture, and Google DeepMind's AlphaProof Nexus solved nine more open problems days later. Together, these AI math breakthroughs mark a ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

AI success depends on whether enterprise data is ready, reachable, and close enough to the workloads that need it. In this eSpeaks episode, Dell Technologies’ Vrashank Jain explains why fragmented ...

OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...

OpenAI says a new general-purpose reasoning model has produced an original proof that disproves a long-standing conjecture in discrete geometry tied to the planar unit distance problem. The claim ...