ලීන් 4 (Lean 4) භාවිතයෙන් නිර්මාණය කරන ලද පළමු ආකාරිකව සත්යාපිත 3D CSG (Constructive Solid Geometry) මෙහෙයුම දැන් ලොව පුරා ප්රසිද්ධියට පත් වෙයි. මෙහි මූලිකත්වය නම්, සම්පූර්ණ කර්ණලය (kernel) එක 93 පේළි නිර්දේශයක් මත පදනම්ව සත්යාපනය කර ඇති අතර, AI විසින් ලියන ලද 1,000 + පේළි කේතය මනාව පරීක්ෂා කිරීමේ අවශ්යතාවයක් නැත.
මෙම ව්යාපෘතියේ සාර්ථකත්වය AI‑generated කේතයට විශ්වාස නොකර, මනුෂ්ය පරීක්ෂකයාට පමණක් 93 පේළි නිර්දේශ කියවා, ලීන් පරීක්ෂකය (Lean checker) ධාවනය කිරීමෙන් කර්ණලය නිවැරදි බව තහවුරු කළ හැකි වීමයි. AI එක සෑම විටම 60,000 පේළි පරාක්ෂා ලේඛන (Lean proofs) ලියන නමුත්, ඒවාට මනුෂ්යයාට කිසිදු පරීක්ෂණයක් අවශ්ය නොවේ. මෙම ක්රමය කේතයේ සත්යතාවය සම්පූර්ණයෙන්ම සත්යාපනය කරයි – සර්වර් වෙත දත්ත යැවීමක් නොමැතිව ඔබේ බ්රවුසරයේම ක්රියාත්මක වේ.
වෙබ් ඩෙමෝ එක තුළ ඔබට STL ගොනු ආයාත කර, උදාහරණ මැෂ් (mesh) දෙකක් අන්තර්ගත කර, ඒවායේ නිරුත්තර අන්තර්ගතය (exact intersection) ගණනය කළ හැකිය. කාර්ය සාධනය පරිපූර්ණ නොවූ අතර, 70k ත්රිකෝණ Stanford bunny දෙකක් අන්තර්ගත කිරීමට 24 තත්පරක් ගත වේ. එහෙත් මෙහි අරමුණ කාර්ය සාධනයට වඩා මනුෂ්ය පරීක්ෂණයේ වියදම අඩු කර ගැනීමයි. ඉදිරියේදී සත්යාපිත මෘදුකාංගය සාම්ප්රදායික කේතයක් මෙන්ම වේගවත් විය හැකි බවට විශ්වාසය පවතී.
ශ්රී ලංකාවට ඇති වැදගත්කම
ශ්රී ලංකාවේ තාක්ෂණික අධ්යාපනය, සොෆ්ට්වේයාර් සංවර්ධනය සහ ව්යාපාරික නවෝත්පාදන සඳහා මේ වැනි ප්රගතිමත් ව්යාපෘතියක් විශාල අවස්ථාවක් සපයයි.
- විශ්ව විශ්වාසිත වැඩමුළු: ලීන් 4 සහ සාධනීය සත්යාපනය (formal verification) ගැන දැනුම ලබා ගැනීම, විශ්ව විශ්වාසිත පරිගණක විද්යාත්මක පාඨමාලා නිර්මාණයට උපකාරී වේ.
- AI‑කේත විශ්වාසය: AI විසින් ලියන කේතය පරීක්ෂා නොකළමත්, නිශ්චිතව සත්යාපනය කළ හැකි නිසා, ශ්රී ලංකාවේ තරුණ සංවර්ධකයින්ට AI‑කේත භාවිතය ආරක්ෂිත ලෙස ඉගෙන ගැනීමට පදනමක් ලැබේ.
- ව්යාපාරික නවෝත්පාදන: නවතම 3D මැෂ් සැකසුම්, සත්යාපිත ගණිත ආදර්ශ හා AI‑සහයෝගීතාවයන් සමඟ, නිෂ්පාදන සැලසුම්, ග්රාෆික්ස්, AR/VR වැනි ක්ෂේත්ර වලට තරුණ ව්යාපාරිකයන්ට ව්යාපාරික අවස්ථා සලසයි.
- ආරක්ෂිත මෘදුකාංග: සත්යාපිත කේතය භාවිතා කිරීමෙන් රක්ෂිත පද්ධති, රෝගී පරීක්ෂණ, මූල්ය සේවා වැනි උසස් ආරක්ෂාව අවශ්ය ක්ෂේත්ර වල දෝෂ අවදානම අඩු කරයි.
අනාගතයේදී, මෙම තාක්ෂණය තවත් වේගවත්, කුඩා ප්රමාණයේ මැෂ් සැකසුම් සපයන ආකාරයට සංවර්ධනය කරගත හැකි අතර, ශ්රී ලංකාවේ තාක්ෂණික පදනම තවත් ශක්තිමත් කරනු ඇත.
ඉදිරියට, ලීන් 4 සමඟ AI‑ලේඛන සත්යාපනයේ නව ගමනක් ආරම්භ කර, සත්යාපිත මෘදුකාංගයක් වශයෙන් නව නව අභියෝග ජය ගැනීමට අපි සැරසෙමු.
