Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help ...

Researchers have found a faster, more accurate way to design magnetic “bottles” that hold plasma for fusion power. Using symmetry theory instead of traditional, slow Newton-based calculations, they ...

Abstract: The neutron energy spectrum and fluence rate constitute critical determinants of tumor absorbed dose and therapeutic efficacy in neutron capture therapy (NCT). Variations in tumor depth and ...

Abstract: Linear temporal logic (LTL) is an intuitive and expressive language to specify complex control tasks, and how to design an efficient control strategy for LTL specification is still a ...

Liam Price just cracked a 60-year-old problem that world-class mathematicians have tried and failed to solve. He’s 23 years old and has no advanced mathematics training. What he does have is a ChatGPT ...

OpenAI's GPT-5.4 Pro model has apparently solved Erdős open math problem #1196. The model reportedly found the solution in about 80 minutes and prepared it as a LaTeX paper in another 30. Formal ...

A Chinese artificial intelligence system has successfully solved a decade-old algebra conjecture, originally proposed by American mathematician Dan Anderson in 2014. Developed by a Peking University ...

A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed ...