رياضيات

كشف باحث يستخدم لغة 'لين' (Lean) للتحقق الصوري عن خلل جوهري في ورقة بحثية فيزيائية مؤثرة نُشرت عام 2006 حول نموذج 'هيجز' المزدوج (two Higgs doublet model). توصل جوزيف توبي-سميث من جامعة باث إلى هذا الاكتشاف أثناء بناء مكتبة لنظريات الفيزياء الموثقة. وقد أقر المؤلفون الأصليون بالخطأ ويعتزمون إصدار تصحيح له.

19 مارس، 2026 من إعداد الذكاء الاصطناعي

حصل عالم الرياضيات جيرد فالتينجز على جائزة أبيل لعام 2026، والتي يطلق عليها عادةً جائزة نوبل للرياضيات، وذلك عن برهانه عام 1983 على تخمين مورديل. وقد حلّ هذا البرهان، الذي اقتُرح في عام 1922، لغزًا استمر 60 عامًا حول حلول بعض المعادلات. حصل فالتينغز أيضًا على ميدالية فيلدز في عام 1986 عن نفس الإنجاز.

دراسة لفيزيائي حول Chess960، وهي نسخة تُختلط فيها مواقع القطع الابتدائية عشوائيًا، تظهر أن ليست كل التهيئات متساوية العدالة تجاه اللاعبين البيض والسود. من خلال تقييم التعقيد باستخدام برمجيات الشطرنج، تحدد البحوث مواقع يمكن أن توازن اللعبة بشكل أفضل. هذا يتحدى الافتراض بأن الاختلاط العشوائي وحده يضمن المساواة في التنسيق الشائع.

29 ديسمبر، 2025 من إعداد الذكاء الاصطناعي

في عام 2025، حلّ فريق بقيادة زاهر هاني في جامعة ميشيغان أحد المشكلات الطويلة الأمد لديفيد هيلبرت، رابطًا بسلاسة الوصفات الرياضية للسوائل عبر مقاييس مختلفة. يربط هذا الاختراق سلوك الجسيمات المجهري بالتدفقات الكبيرة الحجم مثل الماء في حوض الغسيل. يعتمد الإنجاز على تقنيات من نظرية مجال الكم ويعد بآراء حول ديناميكيات الغلاف الجوي والمحيطات.