bir modelin çözülmemiş matematik problemlerine ispat taslakları üretmesi. ekim ayında paylaşılan 719 çalışmanın yaklaşık 300 tanesi lean ile biçimsel olarak kontrol edildi; kalan sonuçların uzmanlarca okunup doğrulanması gündemin önemli parçası oldu.
şükela: tümü
|
bugün
başlıkta ara
