احتمالا همه می‌دونند که یه حدسی هست به اسم The Twin Prime Conjecture… — Pure Mathematics — TG.ME

Forwarded fromMAMathematical Musings

احتمالا همه می‌دونند که یه حدسی هست به اسم The Twin Prime Conjecture که می‌گه: اعداد اول جفت که فاصله‌شون از هم دوتا است، بی‌نهایت هست، مثلا (۳,۵), (۵,۷), (۱۱ ,۱۳),... این هنوز اثبات نشده ولی ثابت شده که pn+1−pn≤246 برای بی‌نهایت عدد اول. آقای Zhang معروف، اولین کسی بود که یه کران برای اون به دست آورد و بعد James Maynard که مدال فیلدز رو هم برده کران ۶۰۰ رو به دست آورد و بعدا در Polymath8b که یه پروژه آنلاین با مشارکت ریاضیدان‌ها است این عدد ۲۴۶ رو به دست آوردند. عددی که آقای Zhang بدست آورده بود این بود: 7×10⁷ در این مقاله. و حالا ظاهرا شرکت Axiom این قضیه رو در Lean formalize کرده. بهش می‌گن BGP246 یعنی Bounded Gap Prime 246. https://primegaps.axiommath.ai/

1