Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
Created by
- Haebom
Category
Empty
μ μ
James Owen Weatherall, Jesse Wolfson
π‘ κ°μ
λ³Έ λ
Όλ¬Έμ μνμ μ¦λͺ
μ μΈμλ‘ μ κ°μΉμ μμ΄ νμ μ¦λͺ
μμ€ν
μΌλ‘ νμν κ°λ₯ν 'μ νμ±'μ΄ νμμ μ΄κ±°λ μΆ©λΆμ‘°κ±΄μ΄ μλμ μ£Όμ₯ν©λλ€. μ΄λ₯Ό ν΅ν΄ μνκ³Ό λ
Όλ¦¬μ κ΄κ³μ λν κ΄μ μ μ μνλ©° νμμ μ νμ±μ μν μ λͺ
νν ν©λλ€. λμκ° μλ μ 리 μ¦λͺ
κΈ°μ μνμ λν AI μ μ©μ κ΄ν μ΅κ·Ό λ
Όμμ λν μ€μμ±μ λ
Όν©λλ€.
π μμ¬μ λ° νκ³
β’
μνμ μ¦λͺ
μ μΈμλ‘ μ κ°μΉλ νμμ μ νμ±μλ§ κ΅νλμ§ μμΌλ©°, μΈκ°μ μ§κ΄μ΄λ μ°½μμ±μ΄ κΈ°μ¬ν μ μμμ μμ¬ν©λλ€.
β’
AI κΈ°λ° μλ μ 리 μ¦λͺ
κΈ°μ νκ³λ₯Ό μ΄ν΄νκ³ , μΈκ°κ³Ό AIμ νμ
μ ν΅ν μν μ°κ΅¬ λ°μ μ λν μλ‘μ΄ κ΄μ μ μ 곡ν©λλ€.
β’
νμμ μ νμ±μ λμ΄μλ μ¦λͺ
μ κ°μΉλ₯Ό μΈ‘μ νκ³ νμ©νλ λ°©λ²μ λν μΆκ°μ μΈ μ°κ΅¬κ° νμν©λλ€.
