क्लाउड ने 11 दिनों में फ़र्मेट को बंद कर दिया: लीन और शून्य की 13.4 मिलियन लाइनें 'यह स्पष्ट है'
एंथ्रोपिक ने फ़र्मेट के अंतिम प्रमेय के पहले पूर्ण कंप्यूटर-जाँचे गए प्रमाण की घोषणा की: क्लाउड ने 11 दिनों में विल्स के प्रमाण को लीन में बदल दिया - 13.4 मिलियन लाइनें, 29,500 प्रमेय, तीन स्वयंसिद्ध।