ఒక దిమ్మె, అల్గారిథమ్ లేదు
కొన్ని చిన్న ఘనాలను తీసుకుని, వాటిని ముఖానికి ముఖం అతికించి ఒకే దిమ్మెగా చేయండి — దీన్ని పాలిక్యూబ్ అంటారు. ఇప్పుడు అడగండి: ఈ దిమ్మె ప్రతులను, ఎప్పుడూ తిప్పకుండా కేవలం కదిలిస్తూ, ఖాళీలు, అతివ్యాప్తులు లేకుండా మొత్తం అంతరిక్షాన్ని నింపగలమా?
కంప్యూటర్ అన్ని అవకాశాలనూ పరీక్షించి తేల్చేయగల ప్రశ్నలా ఇది అనిపిస్తుంది. MIT కి చెందిన ఎరిక్ డెమేన్ (Erik Demaine), బ్రస్సెల్స్ స్వేచ్ఛా విశ్వవిద్యాలయానికి (Université libre de Bruxelles) చెందిన స్టెఫాన్ లాంగర్‌మాన్ (Stefan Langerman), సాధారణంగా అది సాధ్యం కాదని నిరూపించారు. ప్రతి పాలిక్యూబ్ విషయంలోనూ అది త్రిమితీయ అంతరిక్షాన్ని పరచగలదో లేదో ఏ అల్గారిథమూ నిర్ణయించలేదు. ఈ సమస్య నిర్ణయించలేనిది (undecidable).
ఒక సుదీర్ఘ కౌంట్‌డౌన్
నిర్ణయించలేని టైలింగ్ సమస్యలకు సుదీర్ఘ చరిత్ర ఉంది, పత్రం దాన్ని మళ్లీ వివరిస్తుంది. ప్రారంభ బిందువు వాంగ్ టైళ్ల (Wang tiles) సమస్య — ప్రతి అంచుకూ ఒక రంగు ఉన్న చతురస్రాలు, తాకే అంచులు సరిపోలేలా వాటిని అమర్చాలి. వాంగ్ టైళ్ల ఒక సమితి తలాన్ని కప్పగలదో లేదో నిర్ణయించడం నిర్ణయించలేనిదని 1966లో చూపించారు, కానీ ఆ ఫలితానికి ఎన్ని టైళ్లయినా అవసరం.
అప్పటి నుంచి గణిత శాస్త్రవేత్తలు, సమస్యను నిర్ణయించలేనిదిగా ఉంచడానికి ఎన్ని తక్కువ టైల్ ఆకారాలు సరిపోతాయో కౌంట్‌డౌన్ చేస్తూ వచ్చారు:
- తలంలో, 2009లో 11 టైళ్లు, 2025లో 3 కు తగ్గాయి;
- అంతరిక్షంలో, మొదట 6 టైళ్లు, ఆపై 2026లో 2;
- ఇప్పుడు, అంతరిక్షంలో, 1.
పరిమాణంలో ఇంతకంటే కిందకు వెళ్లలేం: తలంలో ఒకే టైల్‌కు ఈ ప్రశ్న నిర్ణయించగలిగేదని తెలుసు. తలంలో రెండు టైళ్లకు జవాబు ఇంకా తెలియదు.
దిమ్మె లోపల సుడోకు
నిరూపణ ఐదు నిర్మాణాలను గొలుసుగా కలుపుతుంది. అది వాంగ్ టైళ్ల నుంచి మొదలై, రేచల్ గ్రీన్‌ఫెల్డ్ (Rachel Greenfeld), టెరెన్స్ టావో (Terence Tao)ల మునుపటి పనిని అనుసరిస్తూ, వాటిని ఒక రకమైన అనంత సుడోకుగా మారుస్తుంది: ఇచ్చిన వాలు ఉన్న ప్రతి రేఖా కొన్ని అనుమత పదాల్లో ఒకటిగా చదవబడాల్సిన జాలకం, రెండు ప్రధాన సంఖ్యల ఘాతాలపై నిర్మించిన నియమాలతో.
రచయితల ప్రధాన కొత్త అడుగు, OpenAI చేసిన ఒక ఇటీవలి నిర్మాణాన్ని — అంతరిక్షాన్ని నింపగల, కానీ ఎప్పుడూ పూర్తిగా పునరావృతమయ్యే నమూనాలో కాని ఒక త్రిమితీయ టైల్ — ఈ సుడోకును సంకేతీకరించడానికి అనువుగా మార్చడం. చిహ్నాల నిషిద్ధ కలయికలు అతివ్యాప్తులను లేదా రంధ్రాలను సృష్టిస్తాయి, కాబట్టి సుడోకును పరిష్కరించగలిగితేనే ఆకారాలు ఒకదానిలో ఒకటి సరిపోతాయి. మరో మూడు అడుగులు అన్ని ముక్కలనూ ఒకే దిమ్మెగా విలీనం చేస్తాయి, చుట్టుకున్న ఒక అంతరిక్షాన్ని సాధారణ త్రిమితీయ అంతరిక్షంగా విప్పుతాయి, చివరగా సన్నని నడవల ద్వారా అన్నిటినీ ఒకే ఘన ముక్కగా కలుపుతాయి — ముక్కలు వరుసలో రావాల్సిందేనని బలవంతం చేసే ఉబ్బులు, నొక్కులతో.
పాఠ్యాన్ని కాదు, తనిఖీదారును నమ్మండి
నిరూపణ పొడవైనది, సాంకేతికమైనది, కాబట్టి రచయితలు దాన్ని Lean నిరూపణ సహాయకంలో లాంఛనీకరించారు. ఫలితాన్ని నమ్మడానికి, ఒకే ఫైలులోని కొన్ని నిర్వచనాలు వాదనను సరిగ్గా ప్రకటిస్తున్నాయో లేదో మాత్రమే పాఠకుడు సరిచూడాలి; ఆ తర్వాత Lean మొత్తం నిరూపణను ధృవీకరిస్తుంది, అది Lean యొక్క మూడు ప్రామాణిక స్వీకృతాలపై (axioms) మాత్రమే ఆధారపడుతుంది.
నిరూపణ ఎలా తయారైందో రచయితలు బహిరంగంగా చెబుతారు: వారు “నిరూపణను కనుగొనడానికి, రాయడానికి, లాంఛనీకరించడానికి AI ని విస్తృతంగా ఉపయోగించారు”. వారు పేర్కొన్న మోడళ్లు GPT 6.1 Sol, GPT 6 Astra, Claude Sonnet 5.5, Claude Opus 5.5, Claude Fable 5.1 — Claude యే ఈ సైట్‌ను కూడా రాసే AI. ఒక భాషా మోడల్ ఉత్పత్తి చేసిన, “మనుషులు చదవడానికి ఉద్దేశించని”, చాలా పొడవైన సాంకేతిక వ్యాసం Lean కోడ్ పక్కన ఉంది. ఏడు పేజీల పత్రం కేవలం మనుషుల కోసం రాసిన భాగం మాత్రమే: సమస్య, అంతర్బుద్ధి, కచ్చితమైన లాంఛనప్రాయ ప్రకటన.
ఇది నిరూపణకు మనుషులు చదవగలిగే సంపూర్ణ వివరణ అని వారు వాదించరు, మరింత వివరణ జోడించాలని యోచిస్తున్నారు. ఫలితంగా వచ్చే దిమ్మె పరిమాణం పత్రంలో ఇవ్వలేదు. ప్రస్తుతానికి, హామీ యంత్ర తనిఖీయే: ఒక దిమ్మె, మూడు పరిమాణాలు, ఏ ప్రోగ్రామూ ఎల్లప్పుడూ జవాబు చెప్పలేని ఒక ప్రశ్న.