On August 7, mathematician Greg Bak

On August 7, mathematician Greg Baker noted on his blog that he had seen a draft of a claimed proof by Deolalikar although among experts a draft had apparently been circulating for a few days. Deolalikar's proof works by connecting certain ideas in computer science and finite model theory to ideas in statistical mechanics. The proof works by showing that if certain problems known to be in NP were also in P then those problems would have impossible statistical properties. Computer scientists and mathematicians have expressed a variety of opinions about Deolalikar's proof, ranging from guarded optimism to near certainty that the proof is incorrect. Scott Aaronson of the Massachusetts Institute of Technology has expressed his pessimism by stating that he will give $200,000 of his own money to Deolalikar if the proof turns out to be valid. Others have raised specific technical issues with the proof but noted that the proof attempt presented interesting new techniques that might be relevant to computer science whether or not the proof turns out to be correct. Richard Lipton, a professor of computer science at Georgia Tech, has said that "the author certainly shows awareness of the relevant obstacles and command of literature supporting his arguments." Lipton has listed four central objections to the proof, none of which are necessarily fatal but may require more work to address. On August 11, 2010, Lipton reported that consensus of the reviewers was best summarized by mathematician Terence Tao, who expressed the view that Deolalikar's paper probably did not give a proof that P!=NP even after major changes, unless substantial new ideas are added.

ผลลัพธ์ (ไทย) 1:

บน 7 สิงหาคม นักคณิตศาสตร์เบเกอร์กาไว้บนบล็อกของเขาว่า เขาได้เห็นร่างของหลักฐานที่อ้างสิทธิ์โดย Deolalikar แม้ว่าผู้เชี่ยวชาญ แบบร่างได้เห็นได้ชัดว่าการหมุนเวียนกี่วัน หลักฐานของ Deolalikar ทำงาน ด้วยการเชื่อมต่อความคิดบางอย่างในวิทยาการคอมพิวเตอร์และทฤษฎีรูปแบบจำกัดความคิดในกลศาสตร์เชิงสถิติ หลักฐานการทำงาน โดยแสดงว่า ปัญหาบางอย่างใน NP ได้ P ยัง แล้วปัญหาดังกล่าวจะมีคุณสมบัติทางสถิติได้ นักวิทยาศาสตร์คอมพิวเตอร์และ mathematicians ได้แสดงความคิดเห็นที่หลากหลายเกี่ยวกับหลักฐานของ Deolalikar ตั้งแต่มองในแง่ดีมั่นที่ใกล้แน่นอนว่า หลักฐานที่ไม่ถูกต้อง สก็อตต์ Aaronson ของสถาบันเทคโนโลยีแมสซาชูเซตส์ได้แสดง pessimism เขา โดยระบุว่า เขาจะให้ $200000 เงินเขาเอง Deolalikar ถ้าจะพิสูจน์ถูกต้อง อื่น ๆ ได้ยกปัญหาทางเทคนิคเฉพาะ ด้วยหลักการ แต่ตั้งข้อสังเกตว่า ความพยายามหลักฐานนำเสนอเทคนิคใหม่ที่น่าสนใจที่อาจเกี่ยวข้องกับวิทยาการคอมพิวเตอร์หรือไม่หลักฐานจะออกมาถูกต้อง ริชาร์ด Lipton อาจารย์วิทยาศาสตร์คอมพิวเตอร์ที่จอร์เจียเทค กล่าวว่า "ผู้เขียนแน่นอนแสดงจิตสำนึกของอุปสรรคที่เกี่ยวข้องและการประกอบการสนับสนุนอาร์กิวเมนต์ของเขา" Lipton ได้แสดงการคัดค้านกลางสี่เพื่อพิสูจน์ ซึ่งจะจำเป็นต้องร้ายแรง แต่อาจต้องใช้เพื่อที่อยู่ เมื่อ 11 สิงหาคม 2010, Lipton รายงานว่า มติของผู้ตรวจทานเป็นส่วนสรุป โดยนักคณิตศาสตร์ Terence เต่า ที่แสดงมุมมองที่กระดาษของ Deolalikar อาจไม่ได้ให้หลักฐานที่ P ! = NP แม้หลังจากการเปลี่ยนแปลงที่สำคัญ เว้นแต่มีเพิ่มแนวคิดใหม่ที่พบ

ผลลัพธ์ (ไทย) 2:

เมื่อวันที่ 7 สิงหาคมคณิตศาสตร์เกร็กเบเกอร์ตั้งข้อสังเกตในบล็อกของเขาว่าเขาได้เห็นร่างของหลักฐานโดยอ้างว่า Deolalikar แม้ว่าในหมู่ผู้เชี่ยวชาญร่างได้รับการเห็นได้ชัดว่าการไหลเวียนไม่กี่วัน หลักฐาน Deolalikar ทำงานโดยการเชื่อมต่อความคิดบางอย่างในวิทยาการคอมพิวเตอร์และทฤษฎีแบบจำลองแน่นอนความคิดในกลศาสตร์สถิติ หลักฐานการทำงานโดยแสดงให้เห็นว่าถ้าปัญหาบางอย่างที่รู้จักกันที่จะอยู่ในนั้นยังมีปัญหาใน P แล้วปัญหาเหล​​่านั้นจะมีคุณสมบัติทางสถิติเป็นไปไม่ได้ นักวิทยาศาสตร์และนักคณิตศาสตร์คอมพิวเตอร์ได้แสดงความหลากหลายของความคิดเห็นเกี่ยวกับหลักฐานของ Deolalikar ตั้งแต่มองในแง่ดีที่จะรักษาความเชื่อมั่นที่อยู่ใกล้ที่หลักฐานไม่ถูกต้อง สกอตต์ Aaronson ของสถ​​าบันเทคโนโลยีแมสซาชูเซตได้แสดงความหวังของเขาโดยระบุว่าเขาจะให้ $ 200,000 เงินของตัวเองของเขาที่จะ Deolalikar ถ้าพิสูจน์จะออกมาเป็นที่ถูกต้อง อื่น ๆ ได้ยกปัญหาทางเทคนิคเฉพาะที่มีหลักฐาน แต่ตั้งข้อสังเกตว่ามีความพยายามหลักฐานที่นำเสนอเทคนิคใหม่ที่น่าสนใจที่อาจจะเกี่ยวข้องกับวิทยาการคอมพิวเตอร์หรือไม่ว่าหลักฐานจะออกมาเป็นที่ถูกต้อง ริชาร์ดลิปตันศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์ที่จอร์เจียเทคได้กล่าวว่า "แน่นอนผู้เขียนแสดงให้เห็นถึงการรับรู้ของอุปสรรคที่เกี่ยวข้องและคำสั่งของวรรณกรรมสนับสนุนข้อโต้แย้งของเขา." ลิปตันได้ระบุไว้สี่คัดค้านกลางในการพิสูจน์ไม่มีใครที่มีความจำเป็นต้องร้ายแรง แต่อาจต้องทำงานมากขึ้นเพื่อที่อยู่ เมื่อวันที่ 11 สิงหาคม 2010, ลิปตันรายงานว่าฉันทามติของผู้แสดงความคิดเห็นสรุปที่ดีที่สุดโดยนักคณิตศาสตร์ Terence เต่าที่แสดงมุมมองว่ากระดาษ Deolalikar อาจจะไม่ได้ให้หลักฐานที่ P! = NP แม้หลังจากการเปลี่ยนแปลงที่สำคัญเว้นแต่ความคิดใหม่ ๆ ที่สำคัญมีการเพิ่ม .

ผลลัพธ์ (ไทย) 3:

ในวันที่ 7 สิงหาคม , นักคณิตศาสตร์เกรกเกอร์กล่าวในบล็อกของเขาว่าเขาได้เห็นร่างของ อ้างหลักฐานโดย deolalikar แม้ว่าในหมู่ผู้เชี่ยวชาญร่างคงวนเวียนอยู่ไม่กี่วัน deolalikar หลักฐานทำงานโดยการเชื่อมต่อความคิดบางอย่างในวิทยาศาสตร์คอมพิวเตอร์ทฤษฎีแบบจำลองไฟไนต์ความคิดในกลศาสตร์สถิติพิสูจน์ผลงาน โดยแสดงให้เห็นว่าถ้าปัญหาบางอย่างที่รู้จักกันเป็น NP ก็ P แล้วปัญหาเหล่านั้นจะมีคุณสมบัติทางสถิติที่เป็นไปไม่ได้ นักวิทยาศาสตร์และนักคณิตศาสตร์คอมพิวเตอร์ได้แสดงความหลากหลายของความคิดเห็นเกี่ยวกับ deolalikar หลักฐาน ตั้งแต่เฝ้ามองในแง่ดีไปใกล้ มั่นใจว่าหลักฐานไม่ถูกต้องสก็อตอาเรินสันของ Massachusetts Institute of Technology ได้แสดงอคติของเขา โดยระบุว่า เขาจะให้ $ 200000 เงินของตัวเอง deolalikar ถ้าพิสูจน์ออกมา เป็นใช้ได้คนอื่น ๆได้ยกประเด็นทางเทคนิคที่เฉพาะเจาะจง มีหลักฐาน แต่สังเกตว่าหลักฐานที่พยายามนำเสนอน่าสนใจ เทคนิคใหม่ ที่อาจเกี่ยวข้องกับคอมพิวเตอร์หรือไม่ว่าหลักฐานจะออกที่ถูกต้อง ริชาร์ดลิปตัน ศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์ที่จอร์เจีย เทคได้กล่าวว่า " ผู้เขียนก็แสดงความตระหนักของอุปสรรคที่เกี่ยวข้องและคำสั่งของวรรณคดีสนับสนุนอาร์กิวเมนต์ของเขา " ลิปตันมีอยู่สี่กลางคัดค้านหลักฐานไม่มี ซึ่งต้องร้ายแรงแต่อาจต้องทำงานมากขึ้นเพื่อที่อยู่ ที่สิงหาคม 11 , 2010 , ลิปตัน รายงานว่า มติของผู้ตรวจทานที่ดีที่สุดสรุปโดยนักคณิตศาสตร์ Terence เต๋าที่แสดงมุมมองที่กระดาษ deolalikar คงไม่ได้ให้หลักฐานว่า P ! = NP แม้หลังจากที่การเปลี่ยนแปลงที่สำคัญ นอกจากความคิดใหม่ มากมาย มีการเพิ่ม