± HEALTH Adequate self-harm surveillance is a key part of suicide prevention. Our previous research demonstrated that…± HEALTH Breast cancer remains the most commonly diagnosed malignancy among women globally, with disproportionately hi…+ HEALTH Background The prevalence of depression is higher among older adults with chronic diseases and cognitive impa…± HEALTH Purpose To compare the information quality, accuracy, and readability of patient-directed responses generated…± HEALTH Objective Comparative evaluations of machine learning (ML) and logistic regression (LR) for clinical predicti…± HEALTH Introduction Alzheimer's disease (AD) is a progressive neurodegenerative disorder for which early diagnosis-p…+ HEALTH Background Accurate identification of ganglionated bowel is essential during laparoscopic pull-through for Hi…+ CLIMATE Accurate prediction of ash fusion temperatures (AFTs) is crucial for ensuring the operational efficiency and…
TruaceTracing the truth around AIMonday, September 14, 2026
Subscribe

Science · Mathematics

AllBiology & MedicinePhysics & MaterialsChemistryAstronomy & SpaceMathematicsClimate

3 stories · page 1 of 1

Both readings

OpenAI claims to have solved maths problem that stumped humans for decades

OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour. The company behind ChatGPT said it had cracked the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute to highlight some of the biggest unsolved puzzles in the field. However, the announcement swiftly became mired in controversy after mathematician Tristan Buckmaster, a professor…

The Guardian · Science

OpenAI claims to have solved maths problem that stumped humans for decades
Surprising AI breakthroughs raise soul-searching questions for mathematicians | Letter
Evidence-backed problem

Surprising AI breakthroughs raise soul-searching questions for mathematicians | Letter

I share Kasra Rafi and Bruce Schneier’s impression that recent mathematical breakthroughs by AI consist in clever recombination of existing ideas, not development of truly novel theory (No, AI doesn’t mean the end of mathematics – at least not yet, 25 August). The question is: what happens to mathematics if this changes? Like many mathematicians, I have done much soul-searching in recent weeks, especially since a key problem in my own field of group theory (the existence of non-sofic groups) was solved this mont…

Science
Thinking Machines: Mathematical Reasoning in the Age of LLMs
Both readings

Thinking Machines: Mathematical Reasoning in the Age of LLMs

Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. This progress has naturally motivated efforts to extend these models to mathematics, both in its traditional form, expressed through natural-style mathematical language, and in its formalized counterpart, expressed in a symbolic syntax suitable for automatic verification. Yet, despite apparent parallels between programming and proof cons…

Science