A 14-year-old student from Williamsburg, Virginia, has become one of 30 finalists in a national science competition after ...

Chinese AI math proof reaches a new milestone: Shanghai AI Lab's Shusheng-S2 helped resolve the 31-year-old Ghys conjecture, ...

A mathematical model predicts that competition among mobile genetic elements can lead to low-cost host-benefiting defenses or ...

Researchers at Chungnam National University have developed a mathematical model and web-based tool that predict individual ...

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 ...

OpenAI plans to release hundreds of AI-generated math solutions on GitHub, including formal Lean 4 proofs for longstanding open problems.

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier lab.

A University of Queensland researcher has developed a new mathematical model to explain the evolution of the universe which, for the first time, includes collapsing regions of matter and expanding ...

In the pursuit of athletic excellence, a team of researchers has developed a groundbreaking mathematical model that precisely demonstrates the impact of physiological and psychological factors on ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. OpenAI researchers have made rapid progress with an unnamed internal frontier reasoning ...

The Covid-19 pandemic has triggered a wave of severe economic disruption around the world, causing widespread chaos, profound changes in the business landscape and overwhelming operational challenges.