Hrant's braindump

եթե ծրագրավորող եք, մաթեմատիկոս կամ Codex-ի ակտիվ օգտագործող, անպայման կարդացեք էս երկու էջանոց prompt-ը, մի խնայեք

https://x.com/pozsgaybalazs/status/2076652747156275480 էս մարդը հավեսի ա ընկել, էն երկու էջանոց promptը տվել ա իրան հետաքրքրող խնդիրների համար: Տեսել ա, որ մի մասը Claude Fable-ը որ լուծել էր, GPT 5.6-ն էլ ա լուծում, ոգևորվել ա:

սա կարդալուց հետո մտածում ես՝ ինչքան հիմար գործերի վրա ենք ծախսում GPT 5.6 Sol-ը 😀

Իրա ասելով, սա լրիվ «մարդկային» ապացույց ա: Կարող էր լինել ալտերնատիվ իրականություն, որտեղ մարդիկ սա կապացուցեին: Ու փաստորեն կոնկրետ էս հիպոթեզը ավելի հեշտ ապացույց ուներ, քան շատ գիտնականներ կարծում էին: Ասում ա՝ որ կարող ա պարզվի մաթեմի լիքը չլուծված խնդիր կա, որ էդքան էլ բարդ չեն, ինչքան մենք մտածում ենք: Ու էսօրվա AI-ները արդեն կարողանում են շատ տենց խնդիրներ լուծել: Իհարկե, OpenAI-ից մեզ չեն ասում, թե էլ ինչ խնդիրներ են փորձել, որ չի ստացվել ապացուցել

Բայց մի հիանալի գիտնական Մանչեստերի համալսարանից կարդացել ա, ու էստեղ գրել ա, թե ինչ ա մտածում: https://x.com/thomasfbloom/status/2075855061494706240 Իրա ասելով կարճ, սիրուն ապացույց ա: Չի պահանջել ինչ-որ նոր բարդ գաղափարներ: Հեղինակը փորձում ա բացատրել, թե ինչի մարդիկ չեն կարողացել գտնել էս ապացույցը: Ասում ա հիմնական գաղափարը 80ականներին արդեն հայտնի էր, ուրիշ հոդվածներում կար: Բայց էդ գաղափարի հիման վրա կոնկրետ էս հիպոթեզը լուծելը ինչ-որ քայլեր ա պահանջել (փաստորեն), որ մարդիկ չեն բաշարել գտնել: Երևի փորձել են, դեմ են առել դժվարությունների, ու հանձնվել են: Իսկ էս AI-ը չի հանձնվել, բզբզացել ա ու գտել ա ձև դժվարությունները հաղթահարելու:

արդյունքում գտնվել ա էս հիպոթեզի երկու էջանոց ապացույց: Սա ա ապացույցը: Ես չեմ կարդացել մանրամասն, մի քիչ իմ խելքի բան չի, ինչ-որ խմբերի տեսության իդեաներ ա օգտագործում, որոնց ես չեմ տիրապետում: Պետք ա ավելի երկար խորանամ, որ հասկանամ:

OpenAI-ի գիտնականները GPT 5.6 Sol Ultra մոդելին տվել են բացառիորեն երկու էջանոց prompt, որը կարելի ա կարդալ այստեղ, ու ասել են գոնե 8 ժամ գնա մտածի: Ասել են կարող ես մինչև 64 հատ զուգահեռ ագենտներ աշխատացնել, որոնք մտածում են ապացույցի շուրջ: «ագենտ» բառը էս կոնտեքստում կարող եք հասկանալ որպես ChatGPT-ի առանձին չատ: Այսինքն ինքը մինչև 64 հատ զուգահեռ չատ ա բացում, որոնցից ամեն մեկը մի բան մտածում ա, հետո իրար հետ կոմունիկացվում են: Էս երկու էջանոց prompt-ում լիքը հետաքրքիր բան կա, ինստրուկցիաներ են, թե ոնց կառավարել էս ագենտներին, ոնց անել, որ բոլորը նույն ուղղությամբ չմտածեն, երբ «հանձնվեն»՝ թողնեն էդ ապացույցի ուղղությունը, երբ խառնեն երկու ագենտների մտածածները: Հետաքրքիր ա շատ :)

Ժողովուրդ ուրեմն էս քանի օրը GPT 5.6-ի թողարկման հետ հայտարարվեց, որ էդ AI մոդելով OpenAI-ում կարողացել են մաթեմի հայտնի բաց խնդիր լուծել: Վերջին շրջանում սենց բաներ էլի են հնչել, բայց սա առաջին անգամն ա, որ թեման ինձ շատ մոտ ա, ու կարողանում եմ գնահատել արածը: Ուրեմն գրաֆների տեսության մեջ կա Cycle Double Cover Conjecture: Սա հիպոթեզ ա, որ բոլոր գրաֆները, որ կամուրջ չեն պարունակում, կարելի ա ծածկել ցիկլերով էնպես, որ ամեն մի կող ծածկվի ճիշտ երկու անգամ: 1987 թվականին շատ հայտնի գրաֆների տեսության մասնագետ ա էս խնդիրը դրել: Ես էլ հիշում եմ խնդիրը իմ ասպիրանտ ժամանակներից․ երբ ԵՊՀ-ում գրաֆների սեմինարներ էին անում Պետրոսն ու Վահանը, սրա մասին խոսվել ա որպես բաց, չլուծված խնդիր:

Արշավական տեղափոխող բեռնատարների ոլորտում շատ լուրջ իննովացիաներ են եղել վերջին շրջանում

How do we get every business of Armenia to use open AI models?!

Ասում էր որ պետք ա ոչ թե user լինել, այլ creator

The only people in the world that use the word "users" are tech companies and drug dealers. Raffi

I think a lot about sovereign AI. Now Europe hates US and that helps [to develop more diverse AI models] Raffi Krikorian

ManyChat ընկերության տնօրեն Mike Yanը ասում ա, որ իրա կարծիքով SaaS businessները կմնան, որովհետև չնայած հեշտ ա սարքել նույն ֆունկցիոնալով ծրագիր կոդ գրելու իմաստով, բայց էդ նշանակում ա մարդ պիտի դառնա էդ ծրագրի CEOն ու պրոդուկտի ղեկավարը։ Իսկ էդքան գլուխ դնող չի լինի։ Մարդիկ կնախընտրեն SaaSին վճարել, քան թիմից մեկին դնեն որ դառնա քո հիմնական գործի հետ չկապված ծրագրի պրոդուկտի ղեկավար

Աշխատեեեեց! Google Payով մտա մետրո

https://www.facebook.com/share/1BxHejokvd/ Հեսա կստուգենք

Սպիտակ տան Ֆբ էջը բենզալցակայան ա գովազդում

նոր իմացա, որ ուկրաինական ամենատպավորիչ ռազմարդյունաբերական ընկերության Fire Point-ի տնօրենն ու տեխնիկական տնօրենը իմ տարիքի կին ա

Հանկարծ բարդիներն էլ չկտրեն տանեն բուսաբանական :/

https://www.facebook.com/share/18x68EQc2b/ 😄😄