เป็นที่รู้จักกันดีว่ามีมือสมัครเล่นมากมาย - รวมอยู่ด้วยตัวเอง - ผู้ที่มีความสนใจในปัญหา P กับ NP นอกจากนี้ยังมีมือสมัครเล่นหลายคนที่ยังพยายามรวมตัวกันเพื่อแก้ไขปัญหา
ปัญหาหนึ่งที่ฉันคิดว่าชุมชน TCS ทนทุกข์ทรมานจากอัตราส่วนความสนใจสมัครเล่นต่อผู้เชี่ยวชาญค่อนข้างสูง สิ่งนี้นำไปสู่ผู้เชี่ยวชาญที่ถูกน้ำท่วมพร้อมหลักฐานพิสูจน์ว่า P! = NP และฉันได้อ่านว่าพวกเขาผิดหวังและท่วมท้นค่อนข้างเข้าใจได้จากสถานการณ์นี้ Oded Goldreich ได้เขียนเกี่ยวกับปัญหานี้และระบุว่าเขาปฏิเสธที่จะตรวจสอบหลักฐาน
ในขณะเดียวกันเมื่อพูดจากมุมมองของมือสมัครเล่นฉันสามารถยืนยันได้ว่ามีบางสิ่งที่น่าผิดหวังสำหรับผู้ที่ชื่นชอบ TCS ที่ไม่ใช่ผู้เชี่ยวชาญในทุกระดับของความสามารถมากกว่าสร้างหลักฐานที่ดูเหมือนจะถูก แต่ขาดทั้งสองอย่าง ความสามารถในการค้นหาข้อผิดพลาดในการพิสูจน์ตัวเองและความสามารถในการพูดคุยกับทุกคนที่สามารถพบข้อผิดพลาดในการพิสูจน์ของคุณ เมื่อเร็ว ๆ นี้ RJ ลิปตันเขียนถึงปัญหาของมือสมัครเล่นที่พยายามจริงจัง
ฉันมีข้อเสนอสำหรับการแก้ไขปัญหานี้และคำถามของฉันคือคนอื่นคิดว่ามันสมเหตุสมผลหรือไม่หรือมีปัญหา
ฉันคิดว่าผู้เชี่ยวชาญควรเรียกเก็บเงินจำนวนมาก แต่สมเหตุสมผล (พูดว่า 200 - 300 USD) เพื่อแลกเปลี่ยนเพื่อยอมรับการอ่านหลักฐานในรายละเอียดและค้นหาข้อผิดพลาดเฉพาะในนั้น สิ่งนี้จะทำให้สำเร็จสามสิ่ง:
- มือสมัครเล่นจะมีวิธีที่ชัดเจนในการพิสูจน์และประเมินผลของพวกเขาอย่างจริงจัง
- ผู้เชี่ยวชาญจะได้รับการชดเชยตามเวลาและพลังงานที่ใช้ไป
- จะมีค่าใช้จ่ายสูงมากที่กำหนดในการตรวจสอบหลักฐานว่าจำนวนการพิสูจน์ที่มือสมัครเล่นส่งไปลงอย่างมาก
คำถามของฉันคือคำถามนี้เป็นข้อเสนอที่สมเหตุสมผลหรือไม่ เห็นได้ชัดว่าฉันไม่มีความสามารถที่จะทำให้ผู้เชี่ยวชาญยอมรับสิ่งที่ฉันแนะนำ อย่างไรก็ตามฉันหวังว่าผู้เชี่ยวชาญจะอ่านสิ่งที่ฉันเขียนและตัดสินใจว่ามันสมเหตุสมผล