์ด์ ๋ AI๊ฐ ๋๋ก , ์ฌ์ด๋ฒ์ , ISR(์ ๋ณดยท๊ฐ์ยท์ ์ฐฐ)๊น์ง ์ํํ๋ ์๋. ๊ทธ๋ฌ๋ ๊ตญ๊ฐ ์๋ณด์์ โAI๋ฅผ ๋ฏฟ๋๋คโ ๋ง์ผ๋ก๋ ์ถฉ๋ถํ์ง ์์ต๋๋ค.
Lagrange์ DeepProve(zkML ๊ธฐ๋ฐ ๊ตญ๋ฐฉ AI ๊ฒ์ฆ ๊ธฐ์ ) ๋ AI๊ฐ ๋ด๋ฆฐ ๋ชจ๋ ํ๋จ๊ณผ ํ๋์ ์ํธํ์ ์ผ๋ก ์ฆ๋ช ํฉ๋๋ค.
DeepProve๊ฐ ๊ฐ๋ฅํ๊ฒ ํ๋ ๊ฒ
ยท AI ๋ชจ๋ธ์ด ์ค๊ณ๋๋ก ์๋ํ๋์ง ์ฆ๋ช
ยท ์ ๋ ฅ ๋ฐ์ดํฐ๊ฐ ์กฐ์๋์ง ์์์์ ๋ณด์ฅ
ยท ์ถ๋ ฅ ๊ฒฐ๊ณผ๊ฐ ์ ํํ๊ณ ์๋ณ์กฐ ๋ถ๊ฐ๋ฅํจ์ ์ฆ๋ช
ยท ์ ํฌ ํ์ฅ ์์ค์์๋ ์๋ ๊ฐ๋ฅํ ๋ณด์ยท์ถ์ ๊ฐ๋ฅ์ฑ ํ๋ณด
๊ฒฐ๊ณผ์ ์ผ๋ก ๊ตญ๋ฐฉ AI์ ํ์ํ ํต์ฌ ๊ฐ์น ์ ๊ณต
โ ์ ๋ขฐ ๊ฐ๋ฅํ ์์จ์ฑ (Trusted Autonomy)
โ ๋ฐ์ดํฐ ๋ฐ ์์ ๋ฌด๊ฒฐ์ฑ ํ๋ณด
โ AI ์์ฌ๊ฒฐ์ ๊ณผ์ ์ ์ถ์ ยท๊ฐ์ฌ ๊ฐ๋ฅ
โ ๋ฒยท๊ท์น์ ๋ถํฉํ๋ โํฉ๋ฒ์ AIโ ๊ตฌํ
๊ตญ๋ฐฉ AI์ ๊ฒฝ์๋ ฅ์ ์๋๋ ์ฐ์ฐ๋ ฅ์ด ์๋๋ผ ์ฆ๋ช ๊ฐ๋ฅ์ฑ(Provability) ์ด ๋ ๊ฒ์ ๋๋ค.
๐ฑ ์๋ฌธ ๋ณด๊ธฐ