Eğer kitlesel bir çevrimiçi işbirliği kurulursa, makul bir başarı şansı olan sorunlara odaklanmaya çalışmalıdır. Antik çağın üç klasik yapım problemine "çemberin karesini alma", "bir açıyı çarpma" ve "bir küpü ikiye katlama" denir. Modern matematik her üçünü de çözdü, ancak çok daha önemli olan, daha önce Descartes devrimiydi, bu da matematiğin kendisini pusula ve düz yapıların zihinsel hapishanesinden kurtarmasını sağladı. Yunanlıların göksel mekanik hesaplamalar için verimli epicycle yaklaşım şemasında görüldüğü gibi, pratik bir hesaplama aracı olarak pusula ve düz çizgi kullandığına dikkat edin .
Grafik teorisinden çözülen varsayımların pek çok varsayımı ve genellemesi, işbirliği yoluyla çözümlere uygun olmalıdır. Bununla birlikte, işbirlikleriyle ilgili tipik deneyim, 2-4 üyeli ekiplerin önemli ölçüde daha büyük ekiplerden çok daha etkili olduğunu göstermektedir. Bu alanda çok başarılı bir ekibin bir örneği, güçlü mükemmel grafik varsayımı, dört renk teoreminin genellemeleri ve grafikle ilgili küçük varsayımlar gibi sorunlara saldıran N. Robertson, PD Seymour ve R. Thomas. Yeni sonuçların duyurulması ile bunların gerçek yayınlanması arasında geçen süre, aynı alandaki diğer araştırmacı ekipleri için de çok uzun sürdü ve buradaki saf iş yükü hacminin işleri yavaşlattığını, böylece işbirliğinin (zaten gerçekleşen) yararlı olabileceğini gösteriyor. hızlandırmak için. (BEN'
Şu anda sezgisel mantığın bütünlüğünün bilgisayar destekli kanıt çürütmesinin pratik uygulamalarındaki rolünü anlamaya çalışıyorum. Ancak, kitlesel çevrimiçi işbirlikleri ile gerçekten kanıt yapmayı planlıyorsanız, sağlam bir bilgisayar destekli kanıt yansıtma sisteminin yerinde olması gerçekten önemli olabilir. Sonuçta, ortak çalışanlarınızı yeterince iyi tanımıyorsanız, yaptıkları her şeyi kontrol etmek için önemli miktarda zaman harcamadan katkılarına güvenip güvenemeyeceğinizi nasıl değerlendirebilirsiniz? (Bilgisayar bilimcileri bu tür geri bildirimlerle daha az rutin gösterirken, matematikçilerin çürümeyi kanıtlamak ve doğrudan kişisel geri bildirim gibi olumlu yönlerinin tadını çıkarmak için daha fazla kullandıkları izlenimine sahibim.) Her neyse,