التكنولوجيا والابتكار

Claude يصوغ برهان فيرما في Lean خلال 11 يومًا، لكنه لا يقدّم برهانًا جديدًا

Claude يصوغ برهان فيرما في Lean خلال 11 يومًا، لكنه لا يقدّم برهانًا جديدًا

نشرت Anthropic في 4 سبتمبر 2026 صياغة أنشأها Claude خلال 11 يومًا لبرهان مبرهنة فيرما الأخيرة وفحصها Lean. المشروع يحوّل الحجة المعروفة إلى برهان رسمي، ولا يبتكر برهانًا رياضيًا جديدًا.

|التكنولوجيا والابتكار| 2