Claude Opus 4.6 көйгөйдү чечүүдө бир сааттай убакыт жумшап, ийгиликтүү иш алып барды, бул автоматташтырылган математикалык ой жүгүртүүдөгү жаңы горизонтторду баса белгилейт. Укумуштуулар, анын ичинде Кнут, ИИнин чыгармачылык чечимдерди издөөгө болгон жөндөмүн көрүп, таң калышты. Бул тапшырманы Кнут бир нече жыл мурун сунуштаган жана ал багытталган графты үч гамильтонов циклга — ар бир чокусун бир жолу гана өтүүчү жабык жолдорго бөлүүгө байланыштуу болгон. Изилдөөчү Филип Стапперс бул тапшырманы ИИге өткөрүп берди, ал чечүү процессинде бардык кадамдарын документтештирди.
Quantum Zeitgeist маалыматтарына ылайык, башында Claude эвристикалык ыкмаларды, мисалы, "талчыктарды" (түйүндөрдүн топтору) анализдөө жана отжигин имитациялоону колдонгон. Бул ыкмалар бөлүкчө чечимдерди берсе да, жалпы конструктивдүү жактан чечимдерди камсыз кылган эмес. Иш процессинде "Клод" маанилүү ачылыш жасады: "Отжигин имитациясы чечимдерди таба алат, бирок жалпы конструкцияны бербейт. Таза математика керек", — бул ИИнин өз чектөөлөрүн түшүнүү жана ыкманы өзгөртүү зарылдыгын билдирет.
Модельдин математикалык мыйзамдылыктарды аныктоого көңүл буруусу негизги учур болуп калды. Эки өлчөмдүү серпантин функцияларын жана граф структурасын изилдеп жатып, "Клод" ар бир "талчыктын" тандоосу бир координатадан көз каранды экенин байкады. Бул ачылыш гамильтонов циклдарды куруу үчүн модульдук арифметикага негизделген эрежени формулировкалоого алып келди.
Эреже төмөнкүчө: үч координата i, j, k үчүн модуль m боюнча сумма эсептелет (s = (i+j+k) mod m). s мааниси жана учурдагы координаталарга негизделип, кийинки чокусуна өтүү үчүн кайсы координатаны өзгөртүү керектиги аныкталат. Бул эрежени системалуу түрдө колдонуу менен үч керектүү циклды алууга болот.
Стапперс "Клод" тарабынан иштелип чыккан программаны Pythonда 3төн 101ге чейинки бардык так эмес маанилер үчүн тестирлеп, чечимдин иштээрин тастыктады. Бул ага тапшырма так эмес параметрлер үчүн чечилген деген жыйынтык чыгарууга мүмкүндүк берди. Акырында Кнут "абдан кызыктуу" деп атаган катуу математикалык далил сунушталды.
Дональд Кнут ким. Ал америкалык окумуштуу, Стэнфорд университетинин эмерит-профессору жана информатика тармагында эң көп цитаталанган авторлордун бири. Кнут 19 монографиянын автору, программалоо боюнча белгилүү китептердин жана TeX, METAFONT сыяктуу бир катар популярдуу программалык технологиялардын жана системалардын иштеп чыгуучусу. Анын "Программалоо искусствосу" информатика тармагында классика болуп эсептелет.
Февралда Google DeepMind Aletheia ИИсин, Gemini Deep Think моделине негизделген, сунуштады. Математика боюнча адистешкен бул система, бир нече ачык математикалык тапшырмаларды ийгиликтүү чечип, өз жөндөмдөрүн көрсөттү.
Claude AI математикалык тапшырмаларды чечүү жөндөмүн биринчи жолу K-News сайтында көрсөттү.
