#mathematics

OpenAI के शोधकर्ता Sebastian Bubeck और Ernest Ryu का तर्क है कि गणित AI के लिए एक निर्णायक मानदंड बन गया है, क्योंकि इसमें सही तर्क की लंबी शृंखलाएँ, त्रुटि-सुधार और सत्यापित परिणाम चाहिए।

एक नया विकसित गणितीय उपकरण शोधकर्ताओं को जटिल knots में अंतर करने का अधिक व्यावहारिक तरीका दे सकता है, जो topology और संबंधित विज्ञानों में लंबे समय से चुनौती बना हुआ है.

After a breakout year of progress, artificial intelligence is moving from math competitions into frontline research, helping mathematicians generate conjectures, test ideas, and prove new results faster.

Researchers reported an AI approach inspired by the logic of Rubik’s Cube solving that can simplify particle physics equations, linking a familiar puzzle strategy to a difficult mathematical problem in high-energy theory

दशकों की रुकी हुई प्रगति के बाद, शोधकर्ताओं का मानना है कि नए गणितीय औजार अब यह समझाने लगे हैं कि परमाणु नाभिकों को एक साथ बांधने वाला बल दृश्य पदार्थ बनाने वाले भारी कण कैसे उत्पन्न करता है।

24 वर्षीय Stanford dropout द्वारा संचालित और $64M फंडिंग प्राप्त स्टार्टअप Axiom Math ने Axplorer जारी किया है — एक मुफ्त AI टूल जो Mac Pro पर वही काम दो-ढाई घंटे में कर देता है, जिसके लिए पहले तीन सप्ताह तक सुपरकंप्यूटर चलाना पड़ता था।

Artificial intelligence is reshaping how mathematicians discover proofs and explore conjectures, triggering what experts call the biggest shift in the field's history.