الذكاء الاصطناعي
10 فقط من أصل 719 مخطوطة رياضية من OpenAI تضمنت إصدارات سلسلة التفكير، وورقة بحثية جديدة تكشف تناقضات بين الإثباتات باللغة الطبيعية وكود Lean.
جارٍ التحميل…
بحث
لا هواتف وخبران عن «Lean»
الذكاء الاصطناعي
10 فقط من أصل 719 مخطوطة رياضية من OpenAI تضمنت إصدارات سلسلة التفكير، وورقة بحثية جديدة تكشف تناقضات بين الإثباتات باللغة الطبيعية وكود Lean.
الذكاء الاصطناعي
نشرت OpenAI 372 نتيجة رياضية أنتجها نموذج داخلي، غالبيتها العظمى جاءت من أمر واحد لوكيل ذكاء اصطناعي. الرياضيون معجبون، ومتشككون في الوقت نفسه.