نعلن اليوم عن Gauss ، أول وكيل إضفاء الطابع الرسمي لدينا أكمل للتو مشروع نظرية الأرقام الأولية القوية لتيري تاو وأليكس كونتوروفيتش في 3 أسابيع - وهو جهد استغرق الخبراء البشريين 18+ شهرا من التقدم الجزئي.