ಸುದ್ದಿಯಲ್ಲಿ ಏಕಿದೆ?
ಸೆಪ್ಟೆಂಬರ್ 4, 2026 ರಂದು ಆಂಥ್ರೋಪಿಕ್ (Anthropic), ತನ್ನ ಕ್ಲಾಡ್ (Claude) ಸಿಸ್ಟಮ್ ಫೆರ್ಮಾಟ್ಸ್ ಲಾಸ್ಟ್ ಥಿಯರಮ್ನ ಸಂಪೂರ್ಣ ಕಂಪ್ಯೂಟರ್-ಪರೀಕ್ಷಿತ ಪುರಾವೆಯನ್ನು ನಿರ್ಮಿಸಿದೆ ಎಂದು ಘೋಷಿಸಿತು. ಈ ಆವೃತ್ತಿಯಲ್ಲಿ ಪ್ರಮೇಯದ ನವೀಕೃತ ಪ್ರಸಾರದ ಹಿಂದಿನ ಬೆಳವಣಿಗೆಯೇ ಈ ಪ್ರಕಟಣೆಯಾಗಿದೆ. ಆಂಡ್ರ್ಯೂ ವೈಲ್ಸ್ (Andrew Wiles) ಈಗಾಗಲೇ ಈ ಫಲಿತಾಂಶವನ್ನು ಸ್ಥಾಪಿಸಿದ್ದರು, ಪ್ರಕಟಿತ ಪುರಾವೆ 1995 ರಲ್ಲಿ ಹೊರಬಂದಿತು. ಇಲ್ಲಿ ಹೊಸದೇನಿದೆ ಎಂದರೆ ಔಪಚಾರಿಕೀಕರಣ (formalisation): ಪುರಾವೆಯನ್ನು ಪರಿಶೀಲಿಸುವ ಪ್ರೋಗ್ರಾಂ ಹಂತ-ಹಂತವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಭಾಷೆಯಲ್ಲಿ ತಾರ್ಕಿಕತೆಯನ್ನು ವ್ಯಕ್ತಪಡಿಸುವುದು. ಈ ಕಾರ್ಯವು ಲೀನ್ ಅನ್ನು ಬಳಸಿದೆ ಮತ್ತು ಹನ್ನೊಂದು ದಿನಗಳವರೆಗೆ ಹೆಚ್ಚಾಗಿ ಸ್ವಾಯತ್ತ ಚಟುವಟಿಕೆಯನ್ನು ತೆಗೆದುಕೊಂಡಿತು ಎಂದು ಆಂಥ್ರೋಪಿಕ್ ಹೇಳುತ್ತದೆ. ಇದು ಸಾರ್ವಜನಿಕ ಸಂಶೋಧನಾ ಭಂಡಾರದಿಂದ ಬೆಂಬಲಿತವಾದ ಕಂಪನಿಯ ವರದಿ ಸಾಧನೆಯಾಗಿದೆ, ಪ್ರಮೇಯದ ಹೊಸ ಆವಿಷ್ಕಾರವಲ್ಲ. ಸುದೀರ್ಘವಾದ ಗಣಿತದ ವಾದಗಳನ್ನು ಕೈಯಾರೆ ಕೂಲಂಕಷವಾಗಿ ಪರಿಶೀಲಿಸುವುದು ಕಷ್ಟಕರವಾದ್ದರಿಂದ ಇದು ಮುಖ್ಯವಾಗಿದೆ. ಔಪಚಾರಿಕ ಹೇಳಿಕೆ ಮತ್ತು ಅದರ ಊಹೆಗಳು ಉದ್ದೇಶಿತ ಗಣಿತಶಾಸ್ತ್ರಕ್ಕೆ ಹೊಂದಿಕೆಯಾಗುವ ಷರತ್ತಿನ ಮೇಲೆ, ಯಂತ್ರ ತಪಾಸಣೆ ಕಠಿಣ ಪರಿಶೀಲನಾ ಮಾರ್ಗವನ್ನು ಸೇರಿಸಬಹುದು.
ಒಂದು ಕಠಿಣ ಪ್ರಮೇಯದ ಹಿಂದಿನ ಸರಳ ಪ್ರಶ್ನೆ
ಈ ಪ್ರಮೇಯವು an + bn = cn ಸಮೀಕರಣಕ್ಕೆ ಸಂಬಂಧಿಸಿದೆ. ಘಾತಾಂಕ (exponent) ಎರಡಾದಾಗ, ಧನಾತ್ಮಕ ಪೂರ್ಣ-ಸಂಖ್ಯೆಯ ಪರಿಹಾರಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆ: 3² + 4² = 5², ಏಕೆಂದರೆ 9 + 16 = 25. ಘಾತಾಂಕವು ಎರಡಕ್ಕಿಂತ ದೊಡ್ಡದಾದ ಪೂರ್ಣಾಂಕವಾದಾಗ ಅಂತಹ ಯಾವುದೇ ಪರಿಹಾರವಿಲ್ಲ ಎಂಬುದು ಫೆರ್ಮಾಟ್ಸ್ ಹಕ್ಕು.
ಧನಾತ್ಮಕ ಪೂರ್ಣಾಂಕಗಳ ನಿರ್ಬಂಧವು ಅತ್ಯಗತ್ಯ. ಇದು ಹೇಳಲಾದ ಸಮಸ್ಯೆಯಿಂದ ಶೂನ್ಯ, ಋಣಾತ್ಮಕ ಮೌಲ್ಯಗಳು ಮತ್ತು ಭಿನ್ನರಾಶಿಗಳನ್ನು ಹೊರತುಪಡಿಸುತ್ತದೆ. ಶೂನ್ಯವನ್ನು ಅನುಮತಿಸುವುದರಿಂದ 0n + 1n = 1n ನಂತಹ ಉದಾಹರಣೆಗಳನ್ನು ತಕ್ಷಣವೇ ರಚಿಸುತ್ತದೆ. ಅದು ಫೆರ್ಮಾಟ್ಸ್ ಪ್ರಮೇಯವನ್ನು ವಿರೋಧಿಸುವುದಿಲ್ಲ; ಇದು ಕೇಳಲಾಗುತ್ತಿರುವ ಪ್ರಶ್ನೆಯ ಪರಿಸ್ಥಿತಿಗಳನ್ನು ಬದಲಾಯಿಸುತ್ತದೆ.
ಹಲವು ಸಂಭಾವ್ಯ ಸಂಖ್ಯೆಗಳನ್ನು ಪರೀಕ್ಷಿಸುವುದರಿಂದ ಪ್ರತಿ ಧನಾತ್ಮಕ ಪೂರ್ಣಾಂಕಕ್ಕೂ ಹಕ್ಕು ಸಾಬೀತಾಗುವುದಿಲ್ಲ. ಪರಿಗಣಿಸಲು ಅನಂತ ಸಂಖ್ಯೆಯ ಸಂಯೋಜನೆಗಳು ಮತ್ತು ಘಾತಾಂಕಗಳಿವೆ. ಒಂದು ಪುರಾವೆಯು ಒಂದು ದೊಡ್ಡ ಹುಡುಕಾಟವು ಯಾವುದೇ ವಿನಾಯಿತಿಯನ್ನು ಕಂಡುಹಿಡಿಯಲಿಲ್ಲ ಎಂದು ವರದಿ ಮಾಡುವುದಕ್ಕಿಂತ ಹೆಚ್ಚಾಗಿ, ಎಲ್ಲವನ್ನೂ ಒಳಗೊಂಡಿರುವ ಕಾರಣವನ್ನು ಸ್ಥಾಪಿಸಬೇಕು. ಈ ವ್ಯತ್ಯಾಸವು ಗಣಿತದ ಪುರಾವೆಯನ್ನು ಪ್ರಭಾವಶಾಲಿ ಸಂಖ್ಯಾತ್ಮಕ ಪ್ರಯೋಗದಿಂದ ಪ್ರತ್ಯೇಕಿಸುತ್ತದೆ.
ವೈಲ್ಸ್ ಕೆಲಸ ಈಗಾಗಲೇ ಏನನ್ನು ಸಾಧಿಸಿತ್ತು
ಫೆರ್ಮಾಟ್ ಹದಿನೇಳನೇ ಶತಮಾನದಲ್ಲಿ ಸಮಸ್ಯೆಯನ್ನು ಹೇಳಿದ್ದರು, ಆದರೆ ಸಾಮಾನ್ಯ ಪುರಾವೆ ಶತಮಾನಗಳವರೆಗೆ ಅಸ್ಪಷ್ಟವಾಗಿ ಉಳಿದಿತ್ತು. ರಿಚರ್ಡ್ ಟೇಲರ್ ಅವರ ಪ್ರಮುಖ ಕೊಡುಗೆಯೊಂದಿಗೆ ವೈಲ್ಸ್ 1994 ರಲ್ಲಿ ನಿರ್ಣಾಯಕ ಕೆಲಸವನ್ನು ಪೂರ್ಣಗೊಳಿಸಿದರು. ಪತ್ರಿಕೆಗಳು 1995 ರಲ್ಲಿ ಪ್ರಕಟವಾದವು. ಪೂರ್ಣಗೊಳಿಸುವಿಕೆ ಮತ್ತು ಪ್ರಕಟಣೆಯ ದಿನಾಂಕಗಳನ್ನು ಪ್ರತ್ಯೇಕವಾಗಿ ಇಟ್ಟುಕೊಳ್ಳುವುದರಿಂದ ಒಂದೇ ಪ್ರಗತಿಯ ಎರಡು ವಿವರಣೆಗಳು ವಿರೋಧಾತ್ಮಕವಾಗಿ ತೋರುವುದನ್ನು ತಪ್ಪಿಸುತ್ತದೆ.
ಪುರಾವೆಯ ಮಾರ್ಗವು ಫೆರ್ಮಾಟ್ನ ಸಮೀಕರಣವನ್ನು ಎಲಿಪ್ಟಿಕ್ ಕರ್ವ್ಗಳು ಮತ್ತು ಮಾಡ್ಯುಲರ್ ಫಾರ್ಮ್ಗಳೊಂದಿಗೆ ಸಂಪರ್ಕಿಸಿದೆ. ಎಲಿಪ್ಟಿಕ್ ಕರ್ವ್ಗಳು ಸಾಮಾನ್ಯ ಎಲಿಪ್ಸ್ಗಳಲ್ಲ, ನಿರ್ದಿಷ್ಟ ಘನ ಸಮೀಕರಣಗಳಿಂದ ವಿವರಿಸಲಾದ ಗಣಿತದ ವಸ್ತುಗಳಾಗಿವೆ. ಮಾಡ್ಯುಲರ್ ಫಾರ್ಮ್ಗಳು ಹೆಚ್ಚು ರಚನಾತ್ಮಕ ಕಾರ್ಯಗಳಾಗಿವೆ. ಹಿಂದಿನ ಕೆಲಸವು ಫೆರ್ಮಾಟ್ನ ಹಕ್ಕಿನ ಕಾಲ್ಪನಿಕ ವಿನಾಯಿತಿಯನ್ನು ಅಸಾಮರಸ್ಯದ ಗಣಿತದ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಹೊಂದಿರುವ ಎಲಿಪ್ಟಿಕ್ ಕರ್ವ್ನೊಂದಿಗೆ ಜೋಡಿಸಿತ್ತು.
ವೈಲ್ಸ್ ಸೆಮಿಸ್ಟೇಬಲ್ ಎಲಿಪ್ಟಿಕ್ ಕರ್ವ್ಸ್ (semistable elliptic curves) ಎಂದು ಕರೆಯಲ್ಪಡುವ ವರ್ಗಕ್ಕೆ ಅಗತ್ಯವಾದ ಮಾಡ್ಯುಲಾರಿಟಿ ಫಲಿತಾಂಶವನ್ನು ಸ್ಥಾಪಿಸಿದರು. ಹಿಂದಿನ ಸಂಪರ್ಕದೊಂದಿಗೆ ಸಂಯೋಜಿಸಿದಾಗ, ಇದು ಕಾಲ್ಪನಿಕ ವಿನಾಯಿತಿಯನ್ನು ತಳ್ಳಿಹಾಕಿತು. ಅಬೆಲ್ ಪ್ರಶಸ್ತಿಯ (Abel Prize) ಉಲ್ಲೇಖವು ಆ ವಿಚಾರಗಳ ಸರಪಳಿಯನ್ನು ವಿವರಿಸುತ್ತದೆ. ಆದ್ದರಿಂದ ಸಾಧನೆಯು ಸಂಖ್ಯೆಗಳ ಮೂಲಕ ಅಂತ್ಯವಿಲ್ಲದ ಹುಡುಕಾಟವಲ್ಲ, ಆದರೆ ಗಣಿತದ ವಿವಿಧ ಕ್ಷೇತ್ರಗಳನ್ನು ಸಂಪರ್ಕಿಸುವ ರಚನಾತ್ಮಕ ವಾದವಾಗಿದೆ.
ಲೀನ್ ಏನನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ
ತರಬೇತಿ ಪಡೆದ ಓದುಗರು ದಿನನಿತ್ಯದ ಹಂತಗಳನ್ನು ಪೂರೈಸಬಲ್ಲವರಾಗಿದ್ದರಿಂದ, ಲಿಖಿತ ಪುರಾವೆಯು ಅವುಗಳನ್ನು ಹೇಳದೆ ಬಿಡುತ್ತದೆ. ಔಪಚಾರಿಕೀಕರಣವು ವ್ಯಾಖ್ಯಾನಗಳು ಮತ್ತು ತಾರ್ಕಿಕ ಅವಲಂಬನೆಗಳನ್ನು ಸಾಫ್ಟ್ವೇರ್ಗೆ ಸಾಕಷ್ಟು ನಿಖರಗೊಳಿಸುತ್ತದೆ. ಲೀನ್ ಈ ಉದ್ದೇಶಕ್ಕಾಗಿ ಬಳಸಲಾಗುವ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆ ಮತ್ತು ಪ್ರೂಫ್ ಅಸಿಸ್ಟೆಂಟ್ ಆಗಿದೆ. ಪ್ರೂಫ್ ಅಸಿಸ್ಟೆಂಟ್ ಎನ್ನುವುದು ಔಪಚಾರಿಕ ಗಣಿತದ ವಾದಗಳನ್ನು ನಿರ್ಮಿಸಲು ಮತ್ತು ಪರಿಶೀಲಿಸಲು ಇರುವ ವ್ಯವಸ್ಥೆಯಾಗಿದೆ.
ಲೀನ್ನ ದಾಖಲಾತಿಯು, ಪುರಾವೆಯನ್ನು ನಿರ್ಮಿಸಲು ಸಹಾಯ ಮಾಡುವ ಸಾಧನಗಳನ್ನು, ಅದನ್ನು ಪರಿಶೀಲಿಸುವ ಚಿಕ್ಕ ವಿಶ್ವಾಸಾರ್ಹ ಘಟಕದಿಂದ ಪ್ರತ್ಯೇಕಿಸುತ್ತದೆ. ಆ ಘಟಕವನ್ನು ಕರ್ನಲ್ (kernel) ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸ್ವಯಂಚಾಲಿತ ವಿಧಾನಗಳು ತಾರ್ಕಿಕತೆಯನ್ನು ಪ್ರಸ್ತಾಪಿಸಬಹುದು ಅಥವಾ ಜೋಡಿಸಬಹುದು, ಆದರೆ ಪರಿಣಾಮವಾಗಿ ಉಂಟಾಗುವ ಪುರಾವೆ ವಸ್ತುವು ಪರಿಶೀಲನಾ ನಿಯಮಗಳನ್ನು ಪೂರೈಸಬೇಕು. ನಿರರ್ಗಳವಾದ ವಿವರಣಾತ್ಮಕ ಪಠ್ಯವು, ಸ್ವತಃ, ಅಂಗೀಕರಿಸಲ್ಪಟ್ಟ ಪುರಾವೆಯಲ್ಲ.
ಇದು ಉತ್ಪಾದನೆ ಮತ್ತು ಪರಿಶೀಲನೆಯ ನಡುವೆ ಉಪಯುಕ್ತ ಪ್ರತ್ಯೇಕತೆಯನ್ನು ಸೃಷ್ಟಿಸುತ್ತದೆ. ವಾದವನ್ನು ಹುಡುಕುವಾಗ ಸಿಸ್ಟಮ್ ವಿಫಲ ಪ್ರಯತ್ನಗಳನ್ನು ಮಾಡಬಹುದು; ಆ ಪ್ರಯತ್ನಗಳು ಕೇವಲ ವಿಶ್ವಾಸದಿಂದ ಹುಟ್ಟಿಕೊಂಡಿವೆ ಎಂಬ ಕಾರಣಕ್ಕಾಗಿ ಮೌಲ್ಯೀಕರಿಸಲಾಗುವುದಿಲ್ಲ. ಅಂತಿಮ ಔಪಚಾರಿಕ ಹೇಳಿಕೆ, ಅದು ಬಳಸುವ ಊಹೆಗಳು ಮತ್ತು ಆ ಊಹೆಗಳನ್ನು ತೀರ್ಮಾನಕ್ಕೆ ಸಂಪರ್ಕಿಸುವ ಪರಿಶೀಲಿಸಿದ ತಾರ್ಕಿಕತೆಯೇ ಇಲ್ಲಿ ಮುಖ್ಯ.
ಸಾರ್ವಜನಿಕ ಬಿಡುಗಡೆಯು ಏನು ಹೇಳುತ್ತದೆ
ಆಂಥ್ರೋಪಿಕ್ ಬಿಡುಗಡೆಯನ್ನು ಮೊದಲ ಸಂಪೂರ್ಣ ಕಂಪ್ಯೂಟರ್-ಪರೀಕ್ಷಿತ ಪುರಾವೆ ಎಂದು ವಿವರಿಸುತ್ತದೆ ಮತ್ತು ಅಂದಾಜು ಹದಿಮೂರು ಮಿಲಿಯನ್ ಸಾಲುಗಳ ಲೀನ್ ಕೋಡ್ ಅನ್ನು ವರದಿ ಮಾಡುತ್ತದೆ. ಆ ಪ್ರಮಾಣ ಮತ್ತು ಆದ್ಯತೆಯ ಕ್ಲೈಮ್ಗಳು ಕಂಪನಿಯ ಖಾತೆಗೆ ಸೇರಿವೆ. ಈ ಕೆಲಸವು ಯಾವುದೇ ವ್ಯಾಖ್ಯಾನಗಳು, ಲೈಬ್ರರಿಗಳು ಅಥವಾ ಹಿಂದಿನ ಔಪಚಾರಿಕೀಕರಣದ ಪ್ರಯತ್ನಗಳಿಲ್ಲದೆ ಪ್ರಾರಂಭಿಸುವ ಬದಲು ಮಾನವ ಗಣಿತ ಮತ್ತು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಮುಕ್ತ-ಮೂಲ ಯೋಜನೆಗಳ ಆಧಾರದ ಮೇಲೆ ನಿರ್ಮಿಸುತ್ತದೆ.
ರಿಪೊಸಿಟರಿಯು ಕನಿಷ್ಠ ಮೂರು ಧನಾತ್ಮಕ ನೈಸರ್ಗಿಕ ಸಂಖ್ಯೆಗಳು ಮತ್ತು ಘಾತಾಂಕಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಫೆರ್ಮಾಟ್ಸ್ ಫಲಿತಾಂಶವನ್ನು ಹೇಳುತ್ತದೆ. ಇದು ಅಪೂರ್ಣ ಪುರಾವೆ ಪ್ಲೇಸ್ಹೋಲ್ಡರ್ಗಳನ್ನು ಮತ್ತು ಲೀನ್ನ ಪ್ರಮಾಣಿತ ಅಡಿಪಾಯಗಳನ್ನು ಮೀರಿದ ಹೆಚ್ಚುವರಿ ಊಹೆಗಳನ್ನು ಹೊರಗಿಡುವ ಉದ್ದೇಶವನ್ನು ಹೊಂದಿರುವ ತಪಾಸಣೆಗಳನ್ನು ವಿವರಿಸುತ್ತದೆ. ಎರಡನೇ ಕರ್ನಲ್ ಅನುಷ್ಠಾನವನ್ನು ಬಳಸಿಕೊಂಡು ಪರಿಶೀಲನೆಯನ್ನು ಸಹ ಇದು ವರದಿ ಮಾಡುತ್ತದೆ. ಈ ದಾಖಲೆಗಳು ಕೇವಲ ಪ್ರಚಾರದ ಶೀರ್ಷಿಕೆಯನ್ನು ಅವಲಂಬಿಸಲು ಓದುಗರನ್ನು ಕೇಳುವ ಬದಲು, ಪರಿಶೀಲನಾ ವಿಧಾನವನ್ನು ಪರಿಶೀಲಿಸುವಂತೆ ಮಾಡುತ್ತವೆ.
ಔಪಚಾರಿಕ ಪ್ರಸ್ತಾಪವನ್ನು ಪರಿಶೀಲಿಸುವುದು ಮತ್ತು ಅದು ಉದ್ದೇಶಿತ ನೈಜ ಪ್ರಶ್ನೆಯನ್ನು ವ್ಯಕ್ತಪಡಿಸುತ್ತದೆಯೇ ಎಂದು ನಿರ್ಧರಿಸುವುದರ ನಡುವೆ ಇನ್ನೂ ವ್ಯತ್ಯಾಸವಿದೆ. ಬದಲಾದ ವ್ಯಾಖ್ಯಾನಗಳೊಂದಿಗೆ ಸರಿಯಾಗಿ ಪರಿಶೀಲಿಸಿದ ಹೇಳಿಕೆಯು ವಿಭಿನ್ನವಾದದ್ದನ್ನು ಸಾಬೀತುಪಡಿಸಬಹುದು. ರೆಪೊಸಿಟರಿಯು ಸ್ಟೇಟ್ಮೆಂಟ್ ಮ್ಯಾಚಿಂಗ್ ಅನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ಪರಿಹರಿಸುತ್ತದೆ. ಲೀನ್ನ ಸ್ವಂತ ಮಾರ್ಗದರ್ಶನವು ಅದೇ ರೀತಿ ವಿಶ್ವಾಸಾರ್ಹ ಅಡಿಪಾಯ ಮತ್ತು ನಿಖರವಾದ ಸೂತ್ರೀಕರಣವನ್ನು ಪುರಾವೆಯನ್ನು ನಿರ್ಣಯಿಸುವ ಭಾಗವಾಗಿ ಪರಿಗಣಿಸುತ್ತದೆ.
ತೀರ್ಮಾನ
ಸೆಪ್ಟೆಂಬರ್ ಬೆಳವಣಿಗೆಯು ಸ್ಥಾಪಿತ ಗಣಿತಶಾಸ್ತ್ರದ ಹೊಸ ಪರಿಶೀಲನಾ ಕಲಾಕೃತಿಗೆ ಸಂಬಂಧಿಸಿದೆ, ಫೆರ್ಮಾಟ್ಸ್ ಸಮಸ್ಯೆಯ ಮೊದಲ ಪರಿಹಾರವಲ್ಲ. ಇದರ ಪ್ರಾಮುಖ್ಯತೆಯು ಮೆಕ್ಯಾನಿಕಲ್ ತಪಾಸಣೆ ಮತ್ತು ಹೆಚ್ಚಿನ ತಪಾಸಣೆಗಾಗಿ ತಾರ್ಕಿಕತೆಯ ದೊಡ್ಡ ಸರಪಳಿಯನ್ನು ಲಭ್ಯವಾಗುವಂತೆ ಮಾಡುವುದರಲ್ಲಿದೆ. ಶಾಶ್ವತವಾದ ಕೊಡುಗೆಯು ಆ ಔಪಚಾರಿಕ ಕೆಲಸದ ವಿಶ್ವಾಸಾರ್ಹತೆ ಮತ್ತು ಮರುಬಳಕೆಯ ಮೇಲೆ ಅವಲಂಬಿತವಾಗಿರುತ್ತದೆ, ಕೇವಲ ವೇಗ ಅಥವಾ ಉತ್ಪತ್ತಿಯಾದ ಕೋಡ್ನ ಪರಿಮಾಣದ ಮೇಲಲ್ಲ.