AIκ° μ¬λμ μλͺ μ λ€λ£¨λ μ§λ¨μ μ¬μ©λλ€λ©΄, μ°λ¦¬λ λ¨μν μ±λ₯μ΄ μλλΌ μ¦λͺ κ°λ₯ν κ²°μ μ μꡬν΄μΌ ν©λλ€.
μ΄μ @ungateAI μ μ§λ¨ μμ΄μ νΈμ DeepProveκ° ν΅ν©λλ©΄μ λͺ¨λ μΆλ‘ μ΄ zk μ¦λͺ μΌλ‘ κ°μΈμ§λλ€ β λ―Όκ°ν νμ λ°μ΄ν°λ κ·Έλλ‘ λ³΄νΈλλ©΄μλμ.
π‘ λͺ¨λΈμ΄ λ³μ‘°λμ§ μμλμ§
π‘ μ§λ¨μ΄ μ ννλμ§
π‘ κ·μ κΈ°κ΄κ³Ό νμκ° μ λ’°ν μ μλμ§
β DeepProveκ° λͺ¨λ κ²μ μνΈνμ μΌλ‘ μ¦λͺ ν©λλ€.
β νμ λ°μ΄ν° λ ΈμΆ μμ΄ μ§λ¨ μ¦λͺ
β AI λͺ¨λΈ μ체λ λΉκ³΅κ° λ° λ³μ‘° λ°©μ§
β κΈ°μ‘΄ zkMLλ³΄λ€ μ΅λ 1000λ°° λΉ λ₯Έ μλ
λ³μμ μ΄μ νλΌμ΄λ²μμ μ± μμ±μ λμμ κ°μΆ κ²μ¦ κ°λ₯ν μ°ν© νμ΅ μλλ₯Ό Lagrange x Ungateμ ν¨κ» μ΄ μ μμ΅λλ€.
π± μλ¬Έ 보기