ಕ್ಲೌಡ್ 11 ದಿನಗಳಲ್ಲಿ ಫರ್ಮಾಟ್ ಅನ್ನು ಸಾಬೀತುಪಡಿಸಿದೆ. ತೀರ್ಪು: SHIP IT.

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

• ಕ್ಲೌಡ್ ಫರ್ಮಾಟ್‌ನ ಕೊನೆಯ ಪ್ರಮೇಯವನ್ನು ಲೀನ್ 4 ರಲ್ಲಿ ಔಪಚಾರಿಕಗೊಳಿಸುತ್ತದೆ
• ಕ್ರೋಮಿಯಂ ಸ್ಯಾಂಡ್‌ಬಾಕ್ಸ್ RCE (CVE-2026-85046), ವಾಸ್ತವದಲ್ಲಿ ದುರುಪಯೋಗಪಡಿಸಲಾಗಿದೆ, $1,000 ಬಹುಮಾನ
• ಶಿನ್ ಜಿನ್-ಸಿಯೋ ಎರಡು-ಕಲ್ಲಿನ ಹ್ಯಾಂಡಿಕ್ಯಾಪ್‌ನೊಂದಿಗೆ ಕಟಾಗೋವನ್ನು ಸೋಲಿಸಿದರು

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

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

0:00 ಫರ್ಮಾಟ್ ತನ್ನ ಅದ್ಭುತ ಪುರಾವೆ ಅಂಚಿನಲ್ಲಿ ಹೊಂದಿಕೆಯಾಗುವುದಿಲ್ಲ ಎಂದು ಹೇಳಿದರು, ಮತ್ತು ಇಂದು ಆಂತ್ರೋಪಿಕ್ ಅಂಚನ್ನು ಪ್ರಕಟಿಸಿತು: ಹದಿಮೂರು ಮಿಲಿಯನ್ ಸಾಲುಗಳ ಲೀನ್, ಮ್ಯಾಥ್‌ಲಿಬ್‌ನ ಐದು ಪಟ್ಟು ದೊಡ್ಡದು, ಪ್ರತಿಯೊಬ್ಬ ಗಣಿತಜ್ಞರೂ ಈಗಾಗಲೇ ಒಂದು ಪ್ರಮೇಯವನ್ನು ಸಾಬೀತುಪಡಿಸಿದ್ದಾರೆ ನಂಬಿದ್ದರು. ಆಂತ್ರೋಪಿಕ್ ಪೋಸ್ಟ್ ಮಾಡಿದಾಗ ಟಿಬಿಲಿಸಿಯಲ್ಲಿ ಹತ್ತು ಹನ್ನೊಂದು ಆಗಿತ್ತು, ಆದ್ದರಿಂದ ಸಹಜವಾಗಿ ನಾನು ಎಚ್ಚರವಾಗಿದ್ದೆ. ನಿನ್ನೆ ಗೂಗಲ್ ಹನ್ನೆರಡು ಭದ್ರತಾ ಪರಿಹಾರಗಳೊಂದಿಗೆ Chrome 152 ಅನ್ನು ಬಿಡುಗಡೆ ಮಾಡಿತು, ಅವುಗಳಲ್ಲಿ ಒಂದು V8 ದೋಷ ಈಗಾಗಲೇ ವಾಸ್ತವದಲ್ಲಿ ದುರುಪಯೋಗಪಡಿಸಲ್ಪಟ್ಟಿತ್ತು, ಮತ್ತು ವರದಿಗಾರನಿಗೆ ಸಾವಿರ ಡಾಲರ್ ಪಾವತಿಸಿತು, ಇದು ನಾವು ನಂತರ ನೋಡುವ ಸೆಡಾನ್‌ಗಿಂತ ಕಡಿಮೆ.

0:26 ನಿನ್ನೆ ಸಹ, ಮಲ್ವಾಡ್ ತನ್ನ ಸಾರ್ವಜನಿಕ ಎನ್‌ಕ್ರಿಪ್ಟ್ ಮಾಡಿದ DNS ಅನ್ನು ನವೆಂಬರ್ 2 ರಂದು ಸ್ಥಗಿತಗೊಳಿಸುವುದಾಗಿ ಹೇಳಿತು ಮತ್ತು ಬದಲಿಗೆ ಅದನ್ನು ಮಾಡಲು Quad9 ಗೆ ಪಾವತಿಸುತ್ತಿದೆ, ಮತ್ತು ಇಂದು ಬೆಳಿಗ್ಗೆ ರಸ್ಟ್ ರಿಯಾಕ್ಟ್ ಕಂಪೈಲರ್ ವೈಟ್‌ನಲ್ಲಿ ಸ್ಥಳೀಯವಾಯಿತು, ಆದರೆ ಹ್ಯಾಕರ್ ನ್ಯೂಸ್ ಐಬಿಎಂ ಬಾಬ್ ಅನ್ನು ಕಂಡುಹಿಡಿಯಿತು, ಒಂದು AI ಕೋಡಿಂಗ್ ಏಜೆಂಟ್. ನಂತರ ಕ್ಲೌಡ್ ಫರ್ಮಾಟ್‌ನ ಕೊನೆಯ ಪ್ರಮೇಯವನ್ನು ಔಪಚಾರಿಕಗೊಳಿಸಿತು, ಮತ್ತು ಅದೇ ಮುಖಪುಟದಲ್ಲಿ ಒಂದು ಕೊರಿಯನ್ ಗ್ರ್ಯಾಂಡ್‌ಮಾಸ್ಟರ್ ಭೂಮಿಯ ಮೇಲಿನ ಪ್ರಬಲ ಗೋ ಇಂಜಿನ್ ಅನ್ನು ಸೋಲಿಸಿದರು, ಆದ್ದರಿಂದ ಇಂದು ಮಾನವೀಯತೆಯು ಎರಡಕ್ಕೆ ಒಂದು ಸಾಧಿಸಿತು. ಈ ವೀಡಿಯೊದಲ್ಲಿ: ಕ್ಲೌಡ್ ವಾಸ್ತವವಾಗಿ ಏನು ಸಾಬೀತುಪಡಿಸಿತು, ಅದರ ವೆಚ್ಚವೇನು,

0:52 ಏಕೆ ಈ ಕುರಿತು ತಮ್ಮ ವೃತ್ತಿಜೀವನವನ್ನು ಕಳೆದ ಗಣಿತಜ್ಞರು ಇದು ಏನನ್ನೂ ಬದಲಾಯಿಸುವುದಿಲ್ಲ ಎಂದು ಹೇಳುತ್ತಾರೆ ಮತ್ತು ಹೇಗಾದರೂ ಸಂತೋಷಪಡುತ್ತಾರೆ, ಮತ್ತು ಗೋದಲ್ಲಿ ಮಾನವನು ಯಂತ್ರವನ್ನು ಹೇಗೆ ಸೋಲಿಸಿದನು. ಇದು ಶುಕ್ರವಾರ, ಸೆಪ್ಟೆಂಬರ್ 4, ಮತ್ತು ಇದು The Daily Diff. ಫರ್ಮಾಟ್‌ನ ಕೊನೆಯ ಪ್ರಮೇಯ: ಯಾವುದೇ ಧನಾತ್ಮಕ ಪೂರ್ಣಾಂಕಗಳು a, b, c n 2 ಕ್ಕಿಂತ ಹೆಚ್ಚಿರುವ ಯಾವುದೇ n ಗೆ a to the n plus b to the n equals c to the n ಅನ್ನು ಪೂರೈಸುವುದಿಲ್ಲ. ಫರ್ಮಾಟ್ ಸುಮಾರು 1637 ರಲ್ಲಿ ಒಂದು ಅಂಚಿನಲ್ಲಿ ಅದನ್ನು ಗೀಚಿದರು ಮತ್ತು ತನ್ನ ಕೆಲಸವನ್ನು ತೋರಿಸದೆ ನಿಧನರಾದರು, ಅವರನ್ನು ತನ್ನ ಯಂತ್ರದಲ್ಲಿ ಕೆಲಸ ಮಾಡುತ್ತದೆ ಎಂದು ಟಿಕೆಟ್ ಮುಚ್ಚಿದ ಮೊದಲ ಡೆವಲಪರ್ ಎಂದು ಪರಿಗಣಿಸಲಾಯಿತು. 1908 ರಲ್ಲಿ 100,000 ಚಿನ್ನದ ಮಾರ್ಕ್‌ಗಳ ಬಹುಮಾನವು ಅದರ ಮೊದಲ ವರ್ಷದಲ್ಲಿ 621 ತಪ್ಪು

1:25 ಪುರಾವೆಗಳನ್ನು ಆಕರ್ಷಿಸಿತು, ಮತ್ತು ಆಂಡ್ರ್ಯೂ ವೈಲ್ಸ್ ಅಂತಿಮವಾಗಿ 1995 ರಲ್ಲಿ ಅದನ್ನು ಪಡೆದರು, 129 ಪುಟಗಳಲ್ಲಿ ಅದು ರೆಫರಿಗಳಿಗೆ ಪರಿಶೀಲಿಸಲು ತಿಂಗಳುಗಳನ್ನು ತೆಗೆದುಕೊಂಡಿತು. ಔಪಚಾರಿಕಗೊಳಿಸುವುದು ಎಂದರೆ ಆ ಪುರಾವೆಯನ್ನು ಮರುಬರೆಯುವುದು ಇದರಿಂದ ಲೀನ್, ಒಂದು ಪುರಾವೆ ಸಹಾಯಕ, ಪ್ರತಿಯೊಂದು ಹಂತವನ್ನೂ ಯಾಂತ್ರಿಕವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದು, ಮತ್ತು ಇಂಪೀರಿಯಲ್‌ನಲ್ಲಿ ಕೆವಿನ್ ಬಝಾರ್ಡ್ 2024 ರಿಂದ ಅದೇ ಕೆಲಸವನ್ನು ಮಾಡಲು ಮಾನವ ಪ್ರಯತ್ನಕ್ಕೆ ನಾಯಕತ್ವ ವಹಿಸಿದ್ದಾರೆ; ನೀಲನಕ್ಷೆ ಮಾತ್ರ 86 ಪುಟಗಳನ್ನು ಒಳಗೊಂಡಿದೆ. ಆಂತ್ರೋಪಿಕ್ ಸಂಶೋಧಕ ಟಿಯಾನಿ ಪೆಂಗ್ ಡಜನ್ಗಟ್ಟಲೆ ಕ್ಲೌಡ್ ಏಜೆಂಟ್‌ಗಳನ್ನು ಅದರತ್ತ ನಿರ್ದೇಶಿಸಿದರು, Prove2Me ಎಂಬ ಪ್ಲಾಟ್‌ಫಾರ್ಮ್‌ನಲ್ಲಿ ಪ್ರಮೇಯ ಹೇಳಿಕೆಗಳ DAG ಅನ್ನು ಇಡುತ್ತದೆ ಆದ್ದರಿಂದ ಏಜೆಂಟ್‌ಗಳಿಗೆ ಮುಂದೆ ಏನು ಸಾಬೀತುಪಡಿಸಬೇಕು ಎಂದು ತಿಳಿದಿರುತ್ತದೆ, ಏಕೆಂದರೆ ಅದು ಇಲ್ಲದೆ ಮೊದಲ

2:00 ಗುಂಪುಗಳು ಯಾರು ಏನು ಸಾಬೀತುಪಡಿಸುತ್ತಿದ್ದಾರೆ ಎಂಬುದನ್ನು ಮರೆತಿದ್ದವು, ಇದು ನಿಮ್ಮ ಆರ್ಕೆಸ್ಟ್ರೇಶನ್ ಪದರವು ಮಾರ್ಕೆಟಿಂಗ್ ಬಜೆಟ್‌ನೊಂದಿಗೆ ರೆಜೆಕ್ಸ್ ಆಗಿರುವಾಗ ಏನಾಗುತ್ತದೆ. ಹನ್ನೊಂದು ದಿನಗಳ ನಂತರ ರೂಟ್ ನೋಡ್ PROVED ಎಂದು ಓದಿದೆ: ಹದಿಮೂರು ಮಿಲಿಯನ್ ಸಾಲುಗಳ ಲೀನ್, 29,500 ಮಧ್ಯಂತರ ಪ್ರಮೇಯಗಳು, ಸುಮಾರು ಆರು ಬಿಲಿಯನ್ ಔಟ್‌ಪುಟ್ ಟೋಕನ್‌ಗಳು ಆಂತರಿಕ ಮಾದರಿಯಿಂದ ಸರಿಸುಮಾರು ಕ್ಲೌಡ್ ಫೇಬಲ್ 5.1 ಗೆ ಹೋಲಿಸಬಹುದು. ಪುರಾವೆಯು ನಿಖರವಾಗಿ ಲೀನ್‌ನ ಮೂರು ಪ್ರಮಾಣಿತ ಅಕ್ಷಸೂತ್ರಗಳ ಮೇಲೆ ನಿಂತಿದ್ದರೆ ಹೊರತು ನಿರ್ಮಾಣ ವಿಫಲವಾಗುತ್ತದೆ: ಕ್ಷಮಿಸಿ, ಸ್ಥಳೀಯವಾಗಿ ನಿರ್ಧರಿಸಲಾಗುವುದಿಲ್ಲ, ಮೋಸವಿಲ್ಲ. ಅದನ್ನು ಪರಿಶೀಲಿಸುವುದು ಸಹ ಅಗ್ಗವಾಗಿಲ್ಲ: ಒಂದು

2:29 ಮೊದಲಿನಿಂದ ನಿರ್ಮಾಣವು ಐದೂವರೆ ಗಂಟೆಗಳನ್ನು ತೆಗೆದುಕೊಂಡಿತು 96 ಕೋರ್‌ಗಳು ಮತ್ತು 153 ಗಿಗಾಬೈಟ್‌ಗಳ RAM ನಲ್ಲಿ, ಮತ್ತು ಪ್ರಮೇಯದ ಹೆಸರುಗಳು ಯಂತ್ರ-ಉತ್ಪಾದಿತವಾಗಿವೆ, ಆದ್ದರಿಂದ ರೆಪೊಸಿಟರಿಯು ಸ್ವತಃ ಓದುವುದಕ್ಕಿಂತ ಪರಿಶೀಲಿಸಲು ಬರೆಯಲಾಗಿದೆ ಎಂದು ವಿವರಿಸುತ್ತದೆ, ಇದು ನಾನು ಎಂಟರ್‌ಪ್ರೈಸ್ ಜಾವಾವನ್ನು ಹೇಗೆ ವಿವರಿಸುತ್ತೇನೆ. ಈಗ ವಿರೋಧಾಭಾಸ. ಆಂತ್ರೋಪಿಕ್‌ನ ಪೋಸ್ಟ್ ಲೀನ್ ನಿಸ್ಸಂದೇಹವಾಗಿ ಸರಿಯಾಗಿರುವುದನ್ನು ಪ್ರದರ್ಶಿಸುತ್ತದೆ ಎಂದು ಹೇಳುತ್ತದೆ. ಕೆವಿನ್ ಬಝಾರ್ಡ್, ಇದನ್ನು ಹಿಂದಿಕ್ಕಿದ ವ್ಯಕ್ತಿ, ಆಂತ್ರೋಪಿಕ್ ಅವರಿಗೆ ನೀಡಿದ 500-ಗಿಗಾಬೈಟ್ ಯಂತ್ರದಲ್ಲಿ ರೆಪೊಸಿಟರಿಯನ್ನು ಕಂಪೈಲ್ ಮಾಡಿದರು, ಅದನ್ನು ಪರಿಶೀಲಿಸಲಾಗಿದೆ ಎಂದು ಖಚಿತಪಡಿಸಿದರು, ಮತ್ತು ನಂತರ ಬರೆದರು,

2:56 ಉಲ್ಲೇಖ, ಗಣಿತೀಯವಾಗಿ ಈ ಕೆಲಸವು ನಮಗೆ ಮೂಲಭೂತವಾಗಿ ಏನನ್ನೂ ಹೇಳುವುದಿಲ್ಲ. ಪ್ರಮೇಯವು ನಿಜ ಎಂದು ಅವರಿಗೆ ಈಗಾಗಲೇ 99.9 ಪ್ರತಿಶತ ಖಚಿತವಾಗಿತ್ತು, ಮತ್ತು ಪುರಾವೆ ಯಾವುದೇ ಹೊಸ ಗಣಿತವನ್ನು ಸೇರಿಸುವುದಿಲ್ಲ; ಅದು ಏನು ತೋರಿಸುತ್ತದೆ ಎಂದರೆ ಸ್ವಯಂಚಾಲಿತ ಔಪಚಾರಿಕೀಕರಣ ಈಗ ಏನು ಮಾಡಬಹುದು, ಮತ್ತು ಆ ಭಾಗದ ಬಗ್ಗೆ ಅವರು ನಿಜವಾಗಿಯೂ ಉತ್ಸುಕರಾಗಿದ್ದಾರೆ. ಅವರಿಗೆ ಐದು ವರ್ಷಗಳಲ್ಲಿ ಒಂದು ಮಿಲಿಯನ್ ಪೌಂಡ್‌ಗಳನ್ನು ನೀಡಲಾಯಿತು; ಆಂತ್ರೋಪಿಕ್ ಹನ್ನೊಂದು ದಿನಗಳನ್ನು ತೆಗೆದುಕೊಂಡಿತು, ಮತ್ತು ಒಬ್ಬ ಕಾಮೆಂಟರ್‌ನ ನ್ಯಾಪ್ಕಿನ್ ಗಣಿತವು ಆರು ಬಿಲಿಯನ್ ಔಟ್‌ಪುಟ್ ಟೋಕನ್‌ಗಳನ್ನು ಪಟ್ಟಿ ಬೆಲೆಯಲ್ಲಿ ಇಡುತ್ತದೆ ಸುಮಾರು 300,000 ಡಾಲರ್, ಆದ್ದರಿಂದ ಯಂತ್ರವು ಅಗ್ಗವಾಗಿತ್ತು, ನೀವು ಯಂತ್ರಕ್ಕೆ ತರಬೇತಿ ನೀಡುವಿಕೆಯನ್ನು ಎಣಿಸದಿದ್ದರೆ, ಅದನ್ನು ಯಾರೂ ಮಾಡುವುದಿಲ್ಲ.

3:24 ಅತ್ಯುತ್ತಮ ವಿವರ: ಅವರು ವೇಲ್ಸ್‌ನಲ್ಲಿ ಸಂಗೀತ ಉತ್ಸವದಲ್ಲಿ ಇರುವಾಗ ಇಮೇಲ್ ಬಂದಿತು ಒಂದು ಬಾರ್ 4G, ಅವರು ಎಂದಿಗೂ ಕೇಳಿರದ ಹೆಸರಿನಿಂದ, ಆದ್ದರಿಂದ ಅವರು ಅದನ್ನು ಹುಚ್ಚು ಎಂದು ತಳ್ಳಿಹಾಕಿದರು ಮತ್ತು ಒಂದು ವಾರದ ನಂತರ ಅದನ್ನು ಓದಿದರು, ಇದು ಯಾವುದೇ ವಿಷಯದ ಸಾಲಿಗೆ ಸರಿಯಾದ ಪ್ರತಿಕ್ರಿಯೆಯಾಗಿದೆ ಎಂಡ್-ಟು-ಎಂಡ್ ಔಪಚಾರಿಕತೆಯನ್ನು ಒಳಗೊಂಡಿದೆ. ಏತನ್ಮಧ್ಯೆ, ಮಾನವರು ಒಂದನ್ನು ಹಿಂದಕ್ಕೆ ಪಡೆದರು. Go ನಲ್ಲಿ ವಿಶ್ವದ ನಂಬರ್ ಒನ್ ಆದ ಶಿನ್ ಜಿನ್-ಸಿಯೋ, KataGo ಅನ್ನು ಸೋಲಿಸಿದರು, ಪ್ರಬಲ ಓಪನ್-ಸೋರ್ಸ್ Go ಎಂಜಿನ್, ಸಿಯೋಲ್‌ನಲ್ಲಿ ಎರಡು ಪಂದ್ಯಗಳನ್ನು ಒಂದಕ್ಕೆ, ಎರಡು ಕಲ್ಲುಗಳೊಂದಿಗೆ ಹ್ಯಾಂಡಿಕ್ಯಾಪ್, ಅಂದಾಜು ಅಗ್ರ ವೃತ್ತಿಪರ ಮತ್ತು ಹೊಸಬ ವೃತ್ತಿಪರರ ನಡುವಿನ ಅಂತರ.

3:50 ನಿರ್ಧಾರಕವು 221 ನಡೆಗಳಲ್ಲಿ 11.5-ಪಾಯಿಂಟ್ ಗೆಲುವಾಗಿತ್ತು, ಮಧ್ಯ-ಪಂದ್ಯದಿಂದ 99 ಪ್ರತಿಶತ ಗೆಲುವಿನ ಸಂಭವನೀಯತೆಯನ್ನು ಹೊಂದಿದ್ದು, ಮತ್ತು ಅವರು 250 ಮಿಲಿಯನ್ ಮನೆಗೆ ತೆಗೆದುಕೊಂಡರು ಗೆದ್ದರು, ಸುಮಾರು 170,000 ಡಾಲರ್, ಜೊತೆಗೆ Genesis G90, ಆದ್ದರಿಂದ ಬಹುಮಾನ ಅತಿಮಾನವ AI ಅನ್ನು ಸೋಲಿಸಲು Google ನ Chrome ಸ್ಯಾಂಡ್‌ಬಾಕ್ಸ್‌ಗೆ 170 ಪಟ್ಟು Google ನ ಬಹುಮಾನ ಪಾರಾಗುವಿಕೆ. ಅವರ ವಿವರಣೆ: ಪ್ರಾರಂಭದಲ್ಲಿ ಅವರು AI ನಡೆಗಳನ್ನು ನಕಲಿಸಿದರು ಮತ್ತು ಸೋತರು; ಅವರು ಗೆದ್ದರು ತಮ್ಮದೇ ಶೈಲಿಯಲ್ಲಿ ಬೋರ್ಡ್ ನಿರ್ಮಿಸುವ ಮೂಲಕ, ಇದು AI ಕುರಿತು ನಾನು ಕೇಳಿದ ಅತ್ಯಂತ ಉಪಯುಕ್ತ ಸಲಹೆಯಾಗಿದೆ ಈ ವರ್ಷ, ಮತ್ತು ಇದು ಬೋರ್ಡ್ ಆಟದಿಂದ ಬಂದಿತು. ಡಿಫ್‌ನಲ್ಲಿ ಇನ್ನೂ ಎರಡು ಸಾಲುಗಳು.

4:22 oxc ನಿಂದ Rust React Compiler ಈಗ ಒಂದು ಧ್ವಜದ ಹಿಂದೆ Vite ನಲ್ಲಿ ಸ್ಥಳೀಯವಾಗಿದೆ; ಒಂದು 1,036-ಫೈಲ್ ಕೋಡ್‌ಬೇಸ್ 14.3 ಸೆಕೆಂಡುಗಳಿಂದ 0.81 ಕ್ಕೆ ಇಳಿಯಿತು ಕಂಪೈಲ್ ಹಂತ, ಹೆಚ್ಚಾಗಿ Babel ಅನ್ನು ಅಳಿಸುವ ಮೂಲಕ package.json, ಇದು ನನ್ನ ಸ್ಕಿನ್‌ಕೇರ್ ದಿನಚರಿಯೂ ಆಗಿದೆ. ಮತ್ತು IBM Bob ಅನ್ನು ಪ್ರಾರಂಭಿಸಿತು, ಇದು Hi ಎಂದು ನಿಮ್ಮನ್ನು ಸ್ವಾಗತಿಸುವ AI ಕೋಡಿಂಗ್ ಪಾಲುದಾರ, ನಾನು ಬಾಬ್, ಉಪ-ಏಜೆಂಟ್‌ಗಳನ್ನು ಹುಟ್ಟುಹಾಕುತ್ತದೆ, ಮೇನ್‌ಫ್ರೇಮ್ ಕೋಡ್ ಅನ್ನು ಆಧುನೀಕರಿಸುತ್ತದೆ, ಮತ್ತು Bobalytics ಎಂಬ ವಿಶ್ಲೇಷಣಾ ಉತ್ಪನ್ನವನ್ನು ರವಾನಿಸುತ್ತದೆ, ಆದ್ದರಿಂದ ಎಲ್ಲೋ ಒಂದು ಬ್ಯಾಂಕ್ ಬಹಳ ಉತ್ಸಾಹಿತವಾಗಿದೆ ಮತ್ತು ಯಾರೂ ಪರವಾನಗಿಯನ್ನು ಓದಲಿಲ್ಲ.

4:51 ಒಂದು ಶುಕ್ರವಾರಕ್ಕೆ ಅದು ಬಹಳಷ್ಟು ಅಂಚು; ನಾನು ಅದನ್ನು ಹೇಳುವುದನ್ನು ಕೇಳುವುದಕ್ಕಿಂತ ಇದನ್ನು ಓದಲು ನೀವು ಬಯಸಿದರೆ, ಡಿಫ್ ಪ್ರತಿ ಬೆಳಿಗ್ಗೆ ನಿಮ್ಮ ಇನ್‌ಬಾಕ್ಸ್‌ನಲ್ಲಿ ಇಳಿಯುತ್ತದೆ — daily diff dot ನಲ್ಲಿ ಉಚಿತವಾಗಿದೆ dev, ಕೆಳಗೆ ಲಿಂಕ್. ಆದ್ದರಿಂದ, ಇಂದಿನ ತೀರ್ಪು: ship it. ಕರ್ನಲ್ ಹೌದು ಎನ್ನುತ್ತದೆ, Buzzard ಹೌದು ಎನ್ನುತ್ತದೆ, ಗಣಿತ ಬದಲಾಗಿಲ್ಲ, ಆದರೆ ನಾವು ಗಣಿತವನ್ನು ಪರಿಶೀಲಿಸುವ ವಿಧಾನ ಈಗಷ್ಟೇ ಬದಲಾಗಿದೆ. ಅದು ಇಂದಿನ ಡಿಫ್. ನಾನು Axrisi ನಿಂದ Niko.

5:09 ಜವಾಬ್ದಾರಿಯುತವಾಗಿ ವಿಲೀನಗೊಳಿಸಿ.

ಮೂಲಗಳು

1. Anthropic — Formalizing Fermat's Last Theoremwww.anthropic.com
2. The proof (Lean 4, Apache-2.0)github.com
3. Kevin Buzzard — FLT: Anthropic has beaten me to itxenaproject.wordpress.com
4. HN threadnews.ycombinator.com
5. KED Global — Shin defeats KataGowww.kedglobal.com
6. HNnews.ycombinator.com
7. Chrome 152 release notes (CVE-2026-85046)chromereleases.googleblog.com
8. NVDnvd.nist.gov
9. Mullvad — shutting down public encrypted DNSmullvad.net
10. Rust React Compiler native in Viteblog.master.dev
11. IBM Bobbob.ibm.com