لما الطالب الجامعي يتفوق على العباقرة

في قصة غريبة زي القصص دي، mathematicians بقوا سنين طويلة convinced إن guess معين عن "عكس"_functions الرياضية دي صح. بس محدش قدر يثبته. وفجأة، واحد استخدم AI يبحث عن مثال ينقض الفكرة — ولاقاه! والمثال ده قصير لدرجة إنك تقدر تكتبه في tweet واحد.

مش هائل؟

Levent Alpöge، اللي شغال في Anthropic (الشركة اللي ورا AI Claude)، announced على X إنه استخدم Claude Fable 5 إنه يلقى counterexample لـ Jacobian conjecture. ومعناها إنه literally اكتشف إن الحدس اللي mathematicians بنوه عليه لحد الآن غلط — في أبعاد معينة على الأقل.

بس القصة مش مجرد "AI عمل حاجة حلوة". في حاجة شبهPOETIC في الكيفية اللي اتplayed بيها ده.

إيه بالظبط Jacobian Conjecture؟

خليني أحاول أشرحها بشكل يفهمه أي حد — لأن شرح Wikipedia بيخلي دماغي تدور.

تخيل عندك function، اللي هيbasically آلة، بتديها أرقام وبتطلع أرقام تانية حسب قاعدة معينة. Jacobian conjecture في النهاية بتسأل: هل تقدر دايمًا "تنسف" أو تعكس الآلة دي؟ يعني تلاقي function تانية ترجع اللي عملته.

تخيلها كده: لو الـ function دي بتحرك نقاط في space، الحدس بيقول إن مادام الـ function ما بتسحقش أو تطوي الـ space بطريقة معينة (الرياضيين يقيسوا ده باستخدام حاجة اسمها "Jacobian determinant")، يبقى لازم تلاقي reverse function ترجع كل حاجة لمكانها.

منطقي، صح؟

المشكلة إنه مفيش حد قدر يثبت إن ده true دايمًا. لحد النهاردة، اللي AI وقف في جانبنا وكده.

المفاجأة: أبسط مما أي حد توقع

اللي خلى mathematicians يتكلموا بكثرة: الـ counterexample اللي Alpöge لقاه صغير جدًا. زي محرج صغير. يناسب post واحد على السوشيال ميديا.

الأمر المحرج في finding counterexample للـ conjecture ده: لازم تبني function من نوع معين — واحد مش يطوي الـ space، وفي نفس الوقت ما يقدرش ينعكس. الطلبين دول apparent بيبدو متناقضين، بس somehow بيقدروا يتعايشوا في أبعاد معينة.

والموضوع اللي خلاني أقف: experts كانوا بيتوقعوا إن أمثلة زي كده إما مش موجودة أصلاً، أو هتبقى mega معقدة. وبدلاً من كده، Claude لقى حاجة قريبة جدًا وelegant، لدرجة إن واحد من Math Stack Exchange users قال من سنين: "طالب جامعي ذكي ممكن يكتب الـ formula ببساطة" اللي هتكسر الكلام كله.

طييب، بقى ده واقع. الـ formula قصير لدرجة إن mathematicians تانيين verifyوه في seconds بعد ما Alpöge نشره.

ليه ده مهم ليك؟

عارف إنك هتقول: "إيه，这条 math thing اللي على الأرجح مش هتأثر عليا؟ ليه أهتم؟"

سؤال منطقي. وده رأيي: القصة دي مش فعلاً عن الـ math. عن إيه اللي بتRepresentative.

عندنا era بحيث AI بيصير شريك حقيقي في human discovery — مش مجرد tool بيعمل tasks ضيقة، لكن حاجة تقدر helpنا نتفكر بطرق جديدة. اللي AI model صدر من أسبوعين يساعد ي cracking مشكلة عمرها ~90 سنة؟ ده حاجة مذهلة.

ده برضو بيماشى pattern بنشوفه أكتر وأكتر: AI بيعمل genuine contributions في fields اتظن إنها محصنة ضد automation. mathematicians، physicists، programmers — دول مش professions حد توقع AI هيffect them. بس ها نحن هنا.

الـ conjecture النسخة التانية (من 1884!) لسه مش محلولة، بالموي. يبقى في شغل لسه. بس للأبعاد التالتة وما فوقها؟ الأمر settled.

الصورة الكبرى

اللي شدني أكتر: القصة دي بتقولنا إيه عن intuition في الرياضيات. لعقود، experts صدقوا إن Jacobian conjecture على الأرجح صح. بنوا careers حول ده. والآن، بحث سريع من AI أظهر إن الحدس ده كان غلط — على الأقل للأبعاد العالية.

في lesson هناك: حتى الناس اللي عندهم عبقرية بيقدروا miss حاجة obvious لو كانوا بيشوفوا في الاتجاه الغلط. ممكن أحيانًا كل اللي محتاجه عين جديدة — أو set جديد من neural networks — توضح الحاجة اللي قدام الجميع.

أيًا كان رأيك في AI، أعتقد نقدر كلنا نتفق: دول times غريبة ومثيرة عشان نكون عايشين فيها.