ಆಲ್ಫಾಪ್ರೂಫ್ ಕೋಡ್ ಮತ್ತು ಸಿಗ್ನಲ್: ಯಂತ್ರ-ಕೋಡ್ ಭದ್ರತಾ ಪುರಾವೆಗಳು ಮತ್ತು ವಿಶ್ವಾಸಾರ್ಹ ಊಹೆಗಳನ್ನು ಪರಿಶೀಲಿಸಲಾಗಿದೆ

ಈ ವೀಡಿಯೊ ಏನನ್ನು ಒಳಗೊಂಡಿದೆ

• AI ಏಜೆಂಟ್‌ಗಳು ಅಭ್ಯರ್ಥಿ ಪುರಾವೆಗಳನ್ನು ಉತ್ಪಾದಿಸುತ್ತವೆ; ಲೀನ್‌ನ ಕರ್ನಲ್ ಮಾನವ-ಅನುಮೋದಿತ ಔಪಚಾರಿಕ ಹಕ್ಕನ್ನು ಸ್ಥಾಪಿಸುತ್ತದೆಯೇ ಎಂದು ಪರಿಶೀಲಿಸುತ್ತದೆ.
• ಪರಿಶೀಲಿಸಿದ ಗುರಿಯು ನಿರ್ದಿಷ್ಟ ಕಂಪೈಲ್ ಮಾಡಿದ ಲಿಬ್ಸಿಗ್ನಲ್ CLI ಹಾರ್ನೆಸ್ ಆಗಿದೆ, ವಿಶ್ವಾಸಾರ್ಹ ಶಬ್ದಾರ್ಥಗಳು ಮತ್ತು ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಒಪ್ಪಂದಗಳೊಂದಿಗೆ.
• ಕಂಪೈಲ್ ಮಾಡಿದ ಬೈನರಿಯನ್ನು ಸಾಬೀತುಪಡಿಸುವುದು ಆ ಬೈನರಿಯ ಹೇಳಲಾದ ಗುಣಲಕ್ಷಣಗಳಿಗಾಗಿ ವಿಶ್ವಾಸಾರ್ಹ ಮೂಲದಿಂದ ರಸ್ಟ್ ಕಂಪೈಲರ್ ಅನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆ.
• ಸಂಶೋಧಕರು ತಮ್ಮ ಸಾಂಕೇತಿಕ ಭದ್ರತಾ ಪ್ರಮೇಯವನ್ನು ಉಲ್ಲಂಘಿಸುವ ಹಿಂದೆ ಸರಿಪಡಿಸಿದ ದೋಷಗಳ ಎರಡು ಪ್ರತ್ಯೇಕ ಮರುಪರಿಚಯಗಳನ್ನು ವರದಿ ಮಾಡುತ್ತಾರೆ.
• ಹೋಲಿಕೆದಾರರು ಪ್ರಮೇಯ ಮತ್ತು ಪ್ರತಿ ಅವಲಂಬಿತ ವ್ಯಾಖ್ಯಾನವನ್ನು ಸಂರಕ್ಷಿತ ಅನುಮೋದಿತ ನಿರ್ದಿಷ್ಟತೆಯ ವಿರುದ್ಧ ಪರಿಶೀಲಿಸುತ್ತಾರೆ; ತಿದ್ದುಪಡಿಗಳು ಪ್ರತ್ಯೇಕವಾಗಿ ಪರಿಶೀಲಿಸಿದ ಪ್ರಕ್ರಿಯೆಯ ಮೂಲಕ ಹೋಗುತ್ತವೆ.

ಅನುವಾದಿತ ಪ್ರತಿಲೇಖನ

ಮೂಲ ಇಂಗ್ಲಿಷ್ ನಿರೂಪಣೆಯಿಂದ ಅನುವಾದಿಸಲಾಗಿದೆ. ಲಭ್ಯವಿರುವ ಆಡಿಯೋ ಮತ್ತು ಶೀರ್ಷಿಕೆಗಳನ್ನು YouTube ನಿಯಂತ್ರಿಸುತ್ತದೆ.

AI ಭದ್ರತಾ ಪುರಾವೆಯನ್ನು ಯಾರು ಪರಿಶೀಲಿಸುತ್ತಾರೆ?

0:00 AI ಭದ್ರತಾ ಆಡಿಟ್ ಇನ್ನೂ ಚಾಟ್‌ಬಾಟ್ ಅನ್ನು ನಂಬಿದಂತೆ ಧ್ವನಿಸುತ್ತದೆ. ಗೂಗಲ್‌ನ ಹೊಸ ಸಿಗ್ನಲ್ ಫಲಿತಾಂಶವು ಗಣಿತದ ಪುರಾವೆಗಳನ್ನು ಪ್ರತ್ಯೇಕ ಕರ್ನಲ್‌ನೊಂದಿಗೆ ಬರುತ್ತದೆ ಪರಿಶೀಲಿಸುತ್ತದೆ. ಈ ವೀಡಿಯೊದಲ್ಲಿ, ಗೂಗಲ್ ಏನು ಸಾಬೀತುಪಡಿಸಿತು? ಮತ್ತು ಗೋಲ್ ಪೋಸ್ಟ್‌ಗಳನ್ನು ಚಲಿಸುವ ಏಜೆಂಟ್ ಅನ್ನು ಅವರು ಹೇಗೆ ತಡೆಯುತ್ತಾರೆ? ಇಲ್ಲಿ ಉಪಯುಕ್ತ ಉತ್ತರವಿದೆ. ಮಾದರಿಗಳು ಅಭ್ಯರ್ಥಿ ಪುರಾವೆಗಳನ್ನು ಬರೆಯುತ್ತವೆ, ಮತ್ತು ಲೀನ್ ಪುರಾವೆಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ ಮಾನವ-ಅನುಮೋದಿತ ಹಕ್ಕಿನ ವಿರುದ್ಧ ಆಯ್ದ ಕಂಪೈಲ್ ಮಾಡಿದ ಕೋಡ್ ಬಗ್ಗೆ. ಮಾನವರು ಇನ್ನೂ ಹಕ್ಕು ಮತ್ತು ಊಹೆಗಳನ್ನು ಹೊಂದಿದ್ದಾರೆ.

0:21 ಮಾದರಿಯ ವಿಜಯ ಭಾಷಣವನ್ನು ನಂಬದೆ ನೀವು ಫಲಿತಾಂಶವನ್ನು ಪರಿಶೀಲಿಸಬಹುದು. ಪ್ರತ್ಯೇಕ ಪರಿಶೀಲನೆಯು ಪ್ರಶ್ನೆಯನ್ನು ನಿಧಾನವಾಗಿ ಬದಲಾಯಿಸುವುದನ್ನು ಹಿಡಿಯುತ್ತದೆ. ನಾವು ಅದನ್ನು ವ್ಯಾಖ್ಯಾನಗಳಿಗೆ ಅನುಸರಿಸುತ್ತೇವೆ. ಇದು ಮಂಗಳವಾರ, ನವೆಂಬರ್ ಹತ್ತನೇ ತಾರೀಕು, ಮತ್ತು ಇದು ದಿ ಡೈಲಿ ಡಿಫ್. ಆಲ್ಫಾಪ್ರೂಫ್ ಕೋಡ್ ಎಂದರೆ ಗೂಗಲ್‌ನ ಸಾಫ್ಟ್‌ವೇರ್ ನಿರ್ದಿಷ್ಟತೆಗಳನ್ನು ಬರೆಯುವ ಚೌಕಟ್ಟು ಮಾನವ ಮಾರ್ಗದರ್ಶನದೊಂದಿಗೆ ಮತ್ತು AI ಏಜೆಂಟ್‌ಗಳೊಂದಿಗೆ ಪರಿಶೀಲಿಸಿದ ಪುರಾವೆಗಳನ್ನು ಉತ್ಪಾದಿಸುವುದು. ಈ ಅಧ್ಯಯನವು ಲಿಬ್ಸಿಗ್ನಲ್, ಸಿಗ್ನಲ್‌ನ ಸಂದೇಶ ಕಳುಹಿಸುವಿಕೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುವ ರಸ್ಟ್ ಲೈಬ್ರರಿಯನ್ನು ಗುರಿಯಾಗಿಸುತ್ತದೆ ನಿರ್ದಿಷ್ಟ ಕಮಾಂಡ್-ಲೈನ್ ಪ್ರೋಗ್ರಾಂನ ಒಳಗೆ ಪ್ರೋಟೋಕಾಲ್.

0:45 ಗೂಗಲ್ ಇಂದು ಕೆಲಸವನ್ನು ಘೋಷಿಸಿತು. ಇದರ ಕಾಗದವು ಐದು ಸಂಶೋಧಕರು ನಾಲ್ಕು ವಾರಗಳ ಕಾಲ ಕೆಲಸ ಮಾಡಿದರು ಎಂದು ಹೇಳುತ್ತದೆ. ಏಜೆಂಟ್‌ಗಳು ಪುರಾವೆಗಳನ್ನು ಬರೆದರೆ, ಮಾನವರು ತಮ್ಮ ಹೆಚ್ಚಿನ ಶ್ರಮವನ್ನು ವ್ಯಯಿಸಿದರು ನಿರ್ದಿಷ್ಟತೆಗಳು. ಅವಶ್ಯಕತೆಗಳು ಇನ್ನಷ್ಟು ದುಬಾರಿಯಾದ ಮಾರ್ಗವನ್ನು ಕಂಡುಕೊಂಡಿವೆ ಸಭೆಗಳು. ನಿರ್ದಿಷ್ಟತೆಯು ಪ್ರೋಗ್ರಾಂ ಏನು ಮಾಡಬೇಕು ಎಂದು ಹೇಳುತ್ತದೆ,

ಹಕ್ಕು ಹೇಗೆ ಪುರಾವೆ ಗುರಿಯಾಗುತ್ತದೆ?

0:59 ಆಕ್ರಮಣಕಾರನು ಏನು ನಿಯಂತ್ರಿಸುತ್ತಾನೆ, ಮತ್ತು ವಾದಕ್ಕೆ ಯಾವ ಊಹೆಗಳು ಬೇಕು. ಪರಿಶೀಲಕರು ಭದ್ರತಾ ಜನರು ಕಾಳಜಿವಹಿಸುವ ವಿಷಯವನ್ನು ಇದು ಸೆರೆಹಿಡಿಯುತ್ತದೆಯೇ ಎಂದು ಕೇಳುತ್ತಾರೆ. ದುರ್ಬಲ ಪ್ರಶ್ನೆಗೆ ಸುಂದರವಾಗಿ ಪರಿಶೀಲಿಸಿದ ಉತ್ತರವು ಆ ಪ್ರಶ್ನೆಯನ್ನು ಹಾಗೇ ಉಳಿಸುತ್ತದೆ. ತಂಡವು ಸಿಗ್ನಲ್‌ನ ಹ್ಯಾಂಡ್‌ಶೇಕ್ ಮತ್ತು ಅದರ ಸಂದೇಶ-ಕೀ ಕುರಿತ ಹಿಂದಿನ ಸಂಶೋಧನೆಯ ಮೇಲೆ ನಿರ್ಮಿಸುತ್ತದೆ ರಾಚೆಟ್. ಔಪಚಾರಿಕ ವಿಶ್ಲೇಷಣೆಗಳು ಈಗಾಗಲೇ ಆ ವಿನ್ಯಾಸಗಳನ್ನು ಅಧ್ಯಯನ ಮಾಡಿದೆ. ಗೂಗಲ್‌ನ ಹಕ್ಕು ಅವರ ಭದ್ರತಾ ವಾದಗಳನ್ನು ಮಾರ್ಪಡಿಸದ ಉತ್ಪಾದನೆಗೆ ಸಂಪರ್ಕಿಸುತ್ತದೆ ಲೈಬ್ರರಿಯ ಕಂಪೈಲ್ ಮಾಡಿದ ಅನುಷ್ಠಾನ, ಅಲ್ಲಿ ವಿನ್ಯಾಸವು ಸಂಪರ್ಕವನ್ನು ಬದುಕುಳಿಯಬೇಕು ನಿಜವಾದ ಕೋಡ್‌ನೊಂದಿಗೆ. ಸಿಗ್ನಲ್‌ನ ಮುಖ್ಯ ತಂತ್ರಜ್ಞಾನ ಅಧಿಕಾರಿ, ಎಹ್ರೆನ್ ಕ್ರೆಟ್,

1:27 ಹಿಂದಿನ ಪರಿಶೀಲನೆಯ ಸಣ್ಣ ವ್ಯಾಪ್ತಿಗಳ ಆಚೆಗೆ ವಿಸ್ತರಣೆಯನ್ನು ವಿವರಿಸುತ್ತದೆ. ಅನುಷ್ಠಾನದ ವಿವರಗಳಲ್ಲಿ ಕ್ರಮರಹಿತವಾಗಿ ಸೇರಿವೆ ಸಂದೇಶಗಳು ಮತ್ತು ಆರ್ಕೈವ್ ಮಾಡಿದ ಸೆಷನ್‌ಗಳು ವಿಳಂಬಿತ ಸಂದೇಶಗಳು. ನಿಮ್ಮ ಸೊಗಸಾದ ರೇಖಾಚಿತ್ರವು ಎಸೆದ ರಸೀದಿಗಳನ್ನು ನಿಜವಾದ ಸಾಫ್ಟ್‌ವೇರ್ ಇಡುತ್ತದೆ ದೂರ. ಸಂಶೋಧಕರು ಮಾರ್ಪಡಿಸದ ರಸ್ಟ್ ಲೈಬ್ರರಿಯನ್ನು ಪ್ರಮಾಣಿತದೊಂದಿಗೆ ಕಂಪೈಲ್ ಮಾಡುತ್ತಾರೆ

ಕಂಪೈಲ್ ಮಾಡಿದ ಬೈನರಿಯನ್ನು ಏಕೆ ಸಾಬೀತುಪಡಿಸಬೇಕು?

1:41 ಕಂಪೈಲರ್ ಅನ್ನು ಆರ್ಮ್ ಅರವತ್ತನಾಲ್ಕು ಲಿನಕ್ಸ್ ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದಾಗಿದೆ. ಅವರ ಪ್ರಮೇಯಗಳು ಔಪಚಾರಿಕ ಸೂಚನಾ ಮಾದರಿಯನ್ನು ಬಳಸಿಕೊಂಡು ಆ ಬೈನರಿಯನ್ನು ವಿವರಿಸುತ್ತವೆ, ಮೂಲ ಮತ್ತು ಆಪ್ಟಿಮೈಸ್ ಮಾಡಿದ ಯಂತ್ರ ಕೋಡ್ ನಡುವಿನ ಅಂತರವನ್ನು ತಲುಪುತ್ತದೆ. ಹೇಳಲಾದ ಗುಣಲಕ್ಷಣವನ್ನು ಮುರಿಯುವ ಕಂಪೈಲರ್ ದೋಷವು ಅದರ ಪ್ರಮೇಯವನ್ನು ಸುಳ್ಳು ಮಾಡುತ್ತದೆ. ಆದ್ದರಿಂದ ಕಂಪೈಲರ್ ಈ ಬೈನರಿಗಾಗಿ ವಿಶ್ವಾಸಾರ್ಹ ನೆಲೆಯನ್ನು ಬಿಡುತ್ತದೆ. ನೀವು ಇನ್ನೂ ಸೂಚನಾ ಮಾದರಿ ಮತ್ತು ಲೀನ್‌ನ ಪರಿಶೀಲಕವನ್ನು ನಂಬುತ್ತೀರಿ. ವಿಶ್ವಾಸದ ಗಡಿ ಬದಲಾಗಿದೆ, ಮತ್ತು ಅದಕ್ಕೆ ಒಂದು ವಿಳಾಸವಿದೆ. ಸುಮಾರು ಆರು ಮಿಲಿಯನ್ ಐದು ಲಕ್ಷ ಪರಿಶೀಲಿಸಿದ ಪುರಾವೆ ಸಾಲುಗಳು ಸರಿಸುಮಾರು ಇಪ್ಪತ್ತಾರು ಸಾವಿರ

2:06 ವಿಶ್ವಾಸಾರ್ಹ ನಿರ್ದಿಷ್ಟತೆ ಮತ್ತು ಸೂಚನಾ-ಶಬ್ದಾರ್ಥದ ಸಾಲುಗಳ ಮೇಲೆ ನಿಂತಿವೆ. ಇವು ಕಲಾಕೃತಿಗಳ ಎಣಿಕೆಗಳು. ಅವುಗಳನ್ನು ಬುದ್ಧಿಮತ್ತೆಯ ಅಂಕಗಳೆಂದು ಪರಿಗಣಿಸುವುದು ಅಭಿವರ್ಧಕರನ್ನು ಗಾತ್ರದಿಂದ ಶ್ರೇಣೀಕರಿಸಿದಂತೆ ಅವರ ನೋಡ್ ಮಾಡ್ಯೂಲ್ ಫೋಲ್ಡರ್.

ಯಾವ ಭದ್ರತಾ ಗುಣಲಕ್ಷಣಗಳು ಅನುಷ್ಠಾನದ ಅಂತರವನ್ನು ಬದುಕುಳಿದವು?

2:16 ವಾದಗಳು ಸಂದೇಶದ ಗೌಪ್ಯತೆ ಮತ್ತು ದೃಢೀಕರಣವನ್ನು ಒಳಗೊಂಡಿವೆ, ಹೇಳಲಾದ ಮಾದರಿಗಳ ಅಡಿಯಲ್ಲಿ ಮುಂದಕ್ಕೆ ರಹಸ್ಯ ಮತ್ತು ರಾಜಿ ನಂತರದ ಭದ್ರತೆಯೊಂದಿಗೆ. ಆ ಕೊನೆಯ ಎರಡು ಕದ್ದ ಕೀ ಹಾನಿ ಮತ್ತು ತಾಜಾ ನಂತರದ ಚೇತರಿಕೆಯ ಮಿತಿಗಳನ್ನು ವಿವರಿಸುತ್ತವೆ ವಿನಿಮಯಗಳು. ಪ್ರತಿ ಗ್ಯಾರಂಟಿಗೆ ಆಕ್ರಮಣಕಾರ ಮತ್ತು ಸೆಷನ್ ಮೇಲೆ ಷರತ್ತುಗಳಿವೆ. ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಆದಿಮಗಳು ವಿಶ್ವಾಸಾರ್ಹ ಒಪ್ಪಂದಗಳ ಹಿಂದೆ ಕುಳಿತಿವೆ. ಪುರಾವೆ ಆ ರೂಟಿನ್‌ಗಳು ನಿರ್ದಿಷ್ಟಪಡಿಸಿದಂತೆ ವರ್ತಿಸುತ್ತವೆ ಎಂದು ಊಹಿಸುತ್ತದೆ ಮತ್ತು ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಮೇಲೆ ಅವಲಂಬಿತವಾಗಿದೆ ಭದ್ರತಾ ಊಹೆಗಳು. ಒಂದು ಪುರಾವೆ ಕ್ರಿಪ್ಟೋಗ್ರಫಿಯನ್ನು ಆದರ್ಶೀಕರಿಸುತ್ತದೆ; ಇನ್ನೊಂದು ಬಗ್ಗೆ ತರ್ಕಿಸುತ್ತದೆ ಆಕ್ರಮಣಕಾರನ ಯಶಸ್ಸಿನ ಸಂಭವನೀಯತೆಗಳು.

2:42 ಎರಡೂ ಅವು ಒಳಗೊಂಡಿರುವ ಸನ್ನಿವೇಶಗಳ ಮೇಲೆ ನಿರ್ಬಂಧಗಳನ್ನು ಹೊಂದಿವೆ. ಯಾವ ಬಿಲ್ಡ್, ಯಾವ ಆಸ್ತಿ ಮತ್ತು ಯಾವ ಊಹೆಗಳನ್ನು ಕೇಳಿ. ಈ ಫಲಿತಾಂಶವು ಸಂಶೋಧಕರ ಕಮಾಂಡ್-ಲೈನ್ ಹಾರ್ನೆಸ್‌ಗೆ ಸಂಬಂಧಿಸಿದೆ. ಗುಂಪು ಸಂದೇಶ ಕಳುಹಿಸುವಿಕೆಯು ಭವಿಷ್ಯದ ಕೆಲಸವಾಗಿದೆ, ಮತ್ತು ಕಂಪ್ಯೂಟೇಶನಲ್ ಮಾದರಿಯು ಹೊರಗಿಡುತ್ತದೆ ಬಹು-ಸಾಧನ ಸ್ಥಿತಿ. ಪ್ರತಿ ಸಿಗ್ನಲ್ ಸ್ಥಾಪನೆಯನ್ನು ದೋಷ-ಮುಕ್ತ ಎಂದು ಕರೆಯುವುದು ಹೊರಗಿದೆ ಪ್ರಮೇಯ. ಸಂಶೋಧಕರು ಹಿಂದೆ ಸರಿಪಡಿಸಿದ ಎರಡು ಸಿಗ್ನಲ್ ದೋಷಗಳನ್ನು ಮರುಪರಿಚಯಿಸಿದರು

ನಿರ್ದಿಷ್ಟತೆಯು ಮುರಿದ ಕೋಡ್ ಅನ್ನು ತಿರಸ್ಕರಿಸಬಹುದೇ?

3:02 ಪ್ರತ್ಯೇಕ ಪ್ರತಿಗಳು ಮತ್ತು ಅವುಗಳನ್ನು ಕಂಪೈಲ್ ಮಾಡಿದರು. ಪರಿಶೀಲಿಸಿದ ಪುರಾವೆಗಳು ಆ ಬೈನರಿಗಳು ಸಾಂಕೇತಿಕ ಭದ್ರತಾ ಪ್ರಮೇಯವನ್ನು ಉಲ್ಲಂಘಿಸಿವೆ ಎಂದು ತೋರಿಸಿದೆ. ನಿಜವಾದ ಮುರಿದ ಅನುಷ್ಠಾನಗಳನ್ನು ನಿರ್ದಿಷ್ಟತೆಯು ತಿರಸ್ಕರಿಸಬಹುದೇ ಎಂದು ಅದು ಪರೀಕ್ಷಿಸಿತು. ನಿಮ್ಮ ಹಸಿರು ಚೆಕ್‌ಮಾರ್ಕ್‌ಗೆ ಕೆಂಪು ಪರೀಕ್ಷೆ ಬೇಕು. ಗೂಗಲ್ ಪರಿಶೀಲನಾ ಸೂಚನೆಗಳೊಂದಿಗೆ ನಿರ್ದಿಷ್ಟತೆಗಳು ಮತ್ತು ಪುರಾವೆಗಳನ್ನು ಪ್ರಕಟಿಸುತ್ತದೆ. ರೆಪೊಸಿಟರಿಯು ಸ್ವಚ್ಛ ನಿರ್ಮಾಣವು ಗಂಟೆಗಳು ಮತ್ತು ಗಣನೀಯ ಮೆಮೊರಿಯನ್ನು ತೆಗೆದುಕೊಳ್ಳುತ್ತದೆ ಎಂದು ಹೇಳುತ್ತದೆ. ಪ್ರಕಟಣೆಯನ್ನು ಓದುವುದು ಲ್ಯಾಪ್ಟಾಪ್‌ನಲ್ಲಿ ಗಮನಾರ್ಹವಾಗಿ ಸುಲಭವಾಗಿದೆ. ಹಾರ್ಡ್‌ವೇರ್ ಮಾದರಿ ಮತ್ತು ವಿಶ್ವಾಸಾರ್ಹ ಒಪ್ಪಂದಗಳಿಗೆ ಇನ್ನೂ ಪರಿಶೀಲನೆ ಬೇಕು.

3:26 ನಾನು ಈ ಸಂಚಿಕೆಗಾಗಿ ಬೃಹತ್ ಕಲಾಕೃತಿಯನ್ನು ಮರುನಿರ್ಮಿಸಿಲ್ಲ. ನಾವು ಪ್ರಕಟಿತ ಫಲಿತಾಂಶ ಮತ್ತು ಅದರ ಗಡಿಗಳನ್ನು ವರದಿ ಮಾಡುತ್ತಿದ್ದೇವೆ. ಹೊರಗಿನವರಿಗೆ ಅದನ್ನು ಪರಿಶೀಲಿಸಲು ಒಂದು ಮಾರ್ಗವಿದೆ, ಇದು ಇನ್ನೊಬ್ಬ AI ಗಿಂತ ನನಗೆ ಹೆಚ್ಚು ಮುಖ್ಯವಾಗಿದೆ ವಿಜಯ ಲ್ಯಾಪ್. ಈಗ ಬಲೆ.

ಸರಿಯಾದ ಪುರಾವೆ ತಪ್ಪು ಪ್ರಶ್ನೆಗೆ ಉತ್ತರಿಸಬಹುದೇ?

3:36 ಲೀನ್ ಏನೂ ಕೇಳದ ಹೇಳಿಕೆಯ ಸರಿಯಾದ ಪುರಾವೆಯನ್ನು ಸ್ವೀಕರಿಸಬಹುದು. ಅಸಾಧ್ಯ ಊಹೆಗಳು ಪ್ರಮೇಯವನ್ನು ನಿರರ್ಥಕಗೊಳಿಸಬಹುದು. ಮುಖ್ಯ ಪ್ರಮೇಯದ ಕೆಳಗೆ ಹುದುಗಿರುವ ವ್ಯಾಖ್ಯಾನವನ್ನು ಬದಲಾಯಿಸುವುದರಿಂದ ದುರ್ಬಲಗೊಳ್ಳಬಹುದು ಗುರಿ. ಈ ವಿರುದ್ಧ ಕಾಗದವು ವಿನ್ಯಾಸಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ. ಗೇಟ್‌ಕೀಪರ್ ಹಿಡಿದಿಟ್ಟುಕೊಂಡ ಅನುಮೋದಿತ ನಿರ್ದಿಷ್ಟತೆಯನ್ನು ಇಡುತ್ತದೆ ಅದನ್ನು ಪುರಾವೆ ಏಜೆಂಟ್‌ಗಳು ಬರೆಯಲು ಸಾಧ್ಯವಿಲ್ಲ. ಅವರು ಪ್ರತ್ಯೇಕ ತಿದ್ದುಪಡಿ ಪ್ರಕ್ರಿಯೆಯ ಮೂಲಕ ತಿದ್ದುಪಡಿಗಳನ್ನು ಪ್ರಸ್ತಾಪಿಸಬಹುದು. ಭದ್ರತಾ ದುರ್ಬಲಗೊಳ್ಳುವಿಕೆಯನ್ನು ಸಂಭಾವ್ಯ ದೋಷವಾಗಿ ಹೆಚ್ಚಿಸಲಾಗುತ್ತದೆ. ಸಾಬೀತುಪಡಿಸುವವರ ಯಶಸ್ಸಿನ ಘೋಷಣೆಗೆ ಇಲ್ಲಿ ಅಧಿಕಾರವಿಲ್ಲ.

4:00 ಮಾನವರು ವಿಶ್ವಾಸಾರ್ಹ ಊಹೆಗಳಿಗೆ ಬದಲಾವಣೆಗಳನ್ನು ನಿರ್ಣಯಿಸುತ್ತಾರೆ, ನೇರವಾಗಿ ಅಥವಾ ಅವರ ನೀತಿಯ ಮೂಲಕ, ಮತ್ತು ಪ್ರತಿ ಅಭಿಯಾನದ ನಂತರ ತಿದ್ದುಪಡಿಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತಾರೆ. ತಜ್ಞರ ತೀರ್ಪು ಹೂಕ್‌ಗೆ ಉಳಿದಿದೆ. ಏಜೆಂಟ್ ಬೇರೆ ನಿಯೋಜನೆಯನ್ನು ವಿನಂತಿಸಬಹುದು. ಅದು ತನ್ನನ್ನು ತಾನೇ ಪಾಸ್ ಗ್ರೇಡ್ ನೀಡಲು ಸಾಧ್ಯವಿಲ್ಲ.

ಚಲಿಸುವ ಗೋಲ್ ಪೋಸ್ಟ್‌ಗಳನ್ನು ಯಾವುದು ಹಿಡಿದಿಟ್ಟುಕೊಳ್ಳುತ್ತದೆ?

4:13 ಇಲ್ಲಿ ಭರವಸೆಯ ಪರಿಶೀಲನೆ ಇದೆ. ಲೀನ್‌ನ ಹೋಲಿಕೆದಾರರು ಪ್ರಮೇಯವನ್ನು ಮತ್ತು ಅದು ಅವಲಂಬಿಸಿರುವ ಪ್ರತಿ ವ್ಯಾಖ್ಯಾನವನ್ನು ಹೋಲಿಸುತ್ತಾರೆ ಆ ಸಂರಕ್ಷಿತ ಅನುಮೋದಿತ ಪ್ರತಿಯೊಂದಿಗೆ. ಇದು ಅನುಮತಿಸಲಾದ ತತ್ವಗಳನ್ನು ಸಹ ಪರಿಶೀಲಿಸುತ್ತದೆ ಮತ್ತು ತಾಜಾ ಕರ್ನಲ್‌ನಲ್ಲಿ ಪುರಾವೆಯನ್ನು ಮರುಪ್ಲೇ ಮಾಡುತ್ತದೆ. ಆದ್ದರಿಂದ ಸಹಾಯಕ ವ್ಯಾಖ್ಯಾನವನ್ನು ನಿಧಾನವಾಗಿ ದುರ್ಬಲಗೊಳಿಸುವುದು ಬದಲಾಗುತ್ತದೆ ಹೋಲಿಸಿದಾಗ. ಸ್ವೀಕರಿಸಿದ ಪುರಾವೆ ಅನುಮೋದಿತ ಗುರಿಯನ್ನು ಸ್ಥಾಪಿಸಬೇಕು. ಅದು ಇನ್ನೂ ಪ್ರಬಲ ಗುರಿಯನ್ನು ಮತ್ತು ಪ್ರಾಮಾಣಿಕ ಊಹೆಗಳನ್ನು ಆಯ್ಕೆಮಾಡುವ ಜವಾಬ್ದಾರಿಯನ್ನು ಮಾನವರಿಗೆ ನೀಡುತ್ತದೆ. ನಿಮ್ಮ ಸ್ವಂತ AI ವರ್ಕ್‌ಫ್ಲೋಗಾಗಿ, ಅಂಗೀಕಾರ ಮಾನದಂಡಗಳನ್ನು ಹೊರಗೆ ಇರಿಸಿ

4:37 ಕೆಲಸಗಾರನ ಸಂಪಾದನೆ ಅನುಮತಿಗಳು ಮತ್ತು ಪ್ರಸ್ತಾಪಿತ ಬದಲಾವಣೆಗಳನ್ನು ಪ್ರತ್ಯೇಕವಾಗಿ ಪರಿಶೀಲಿಸಿ. ಗೂಗಲ್‌ನ ಫಲಿತಾಂಶವು ಆ ಪ್ರತ್ಯೇಕತೆಯನ್ನು ನಿಖರಗೊಳಿಸುತ್ತದೆ. ಪುರಾವೆ ಬರೆಯುವವರು ಕೆಲಸ ಮಾಡುತ್ತಾರೆ; ಪರಿಶೀಲನಾ ಗಡಿ ಅದು ಎಣಿಸುತ್ತದೆಯೇ ಎಂದು ನಿರ್ಧರಿಸುತ್ತದೆ. ನಾನು ಹೇಳುವುದನ್ನು ಕೇಳುವುದಕ್ಕಿಂತ ಇದನ್ನು ಓದಲು ನೀವು ಬಯಸಿದರೆ, ಡಿಫ್ ನಿಮ್ಮ ಇನ್‌ಬಾಕ್ಸ್‌ನಲ್ಲಿ ಬರುತ್ತದೆ ಪ್ರತಿದಿನ ಬೆಳಿಗ್ಗೆ, daily diff dot dev ನಲ್ಲಿ ಉಚಿತವಾಗಿ, ಕೆಳಗೆ ಲಿಂಕ್ ಇದೆ. ಆದ್ದರಿಂದ ಇಂದಿನ ತೀರ್ಪು SHIP IT.

ನಾನು ಈ ಪುರಾವೆ ವರ್ಕ್‌ಫ್ಲೋವನ್ನು ರವಾನಿಸುತ್ತೇನೆಯೇ?

4:54 ಅನುಮೋದಿತ ಹಕ್ಕು ಪ್ರತ್ಯೇಕವಾಗಿ ಉಳಿದಿರುವ ಕಾರಣ ನಾನು ಈ ಪರಿಶೀಲಿಸಿದ-ಪುರಾವೆ ವರ್ಕ್‌ಫ್ಲೋವನ್ನು ರವಾನಿಸುತ್ತೇನೆ ಉತ್ತರವನ್ನು ಉತ್ಪಾದಿಸುವ ಏಜೆಂಟ್‌ನಿಂದ. ನಾನು ಪ್ರತಿ ಫಲಿತಾಂಶಕ್ಕೆ ವ್ಯಾಪ್ತಿ ಮತ್ತು ಊಹೆಗಳನ್ನು ಲಗತ್ತಿಸುತ್ತೇನೆ. ಚಂದಾದಾರರಾಗಿ, ಬೆಲ್ ಒತ್ತಿರಿ, ಮತ್ತು ನೀವು ಅದನ್ನು ಸ್ಟ್ಯಾಂಪ್ ಮಾಡಿದ್ದರೆ ಕಾಮೆಂಟ್‌ಗಳಲ್ಲಿ ನನಗೆ ತಿಳಿಸಿ ಬೇರೆ. ಮತ್ತು ಅದು ಇಂದಿನ ಡಿಫ್. ನಾನು ಆಕ್ಸ್ರಿಸಿಯಿಂದ ನಿಕೋ. ಜವಾಬ್ದಾರಿಯುತವಾಗಿ ವಿಲೀನಗೊಳಿಸಿ.

ಮೂಲಗಳು

1. AlphaProof Code: Verifying Signal's Security at the Machine-Code Level — technical scope, trusted base and gatekeepingSwarat Chaudhuri and colleagues / Google DeepMind and Google
2. Introducing AlphaProof Code — November 10 announcement and attributed Signal CTO responsePushmeet Kohli and Swarat Chaudhuri / Google DeepMind
3. Code-verification repository — initial commit, public artifacts and checking instructionsGoogle DeepMind / GitHub
4. The PQXDH Key Agreement Protocol — older official specification and prior-analysis contextEhren Kret and Rolfe Schmidt / Signal
5. The Double Ratchet Algorithm — Triple Ratchet sectionTrevor Perrin, Moxie Marlinspike and Rolfe Schmidt / Signal
6. Google DeepMind leadership — Demis Hassabis's relevant lab identityGoogle DeepMind
7. Demis Hassabis in 2025 — authentic portrait, cropped/resized/compressed and unflipped; no background removal or generated expression/detail; lab identity only, no authorship, proof writing, current reaction or endorsementChristopher P. Michel / Cmichel67 / Wikimedia Commons
8. Portrait licence — CC BY-SA 4.0; attribution, adaptation disclosure and ShareAlikeCreative Commons
9. Expanding Brain template — cropped/captioned artifact-count satire, brief transformed <=2s commentary; no benchmark, hosting licence, legal-clearance or blanket reuse claimImgflip / user-uploaded meme template
10. Tom and Jerry — Boomerang Official actual animated reaction, silent resized/captioned 1.875s excerpt; brief transformed process commentary, no actual researcher or executive reaction, hosting licence, legal-clearance or blanket reuse claimBoomerang Official / GIPHY / Tom and Jerry
11. Boomerang GIF source link — uploader-provided provenanceBoomerang
12. AlphaProof Code discussion — attention context, anonymous opinions excluded from factual proof claimsHacker News
13. Code-verification licence — Apache 2.0 for Google code, third-party licences retainedGoogle / GitHub