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