AIμ λ°μ μ λ€λ°©λ©΄μμ λ§λν μν₯μ λ―ΈμΉκ³ μμΌλ©°, κ·Έ μ€μμλ μν μ°κ΅¬μ κ΅μ‘μμμ μν μ νΉν λλλ¬μ§λ€. μ΅κ·Ό OpenAIμ GPT Proλ 5μ°¨ λ€νμμ Galois κ΅°μ S5μμ C2 × C_2λ‘ μ€μ΄λ λ¬Έμ λ₯Ό 96λΆ λ§μ ν΄κ²°νμλ€. μ΄λ AIκ° μνμ μΆλ‘ μ ν΅ν΄ 볡μ‘ν λ¬Έμ λ₯Ό ν΄κ²°ν μ μλ κ°λ₯μ±μ 보μ¬μ£Όλ©°, μν μ°κ΅¬ λ° κ΅μ‘μ μλ‘μ΄ ν¨λ¬λ€μμ μ μνκ³ μλ€.
AIλ λ¨μν κ³μ° λꡬλ‘μμ μν μ λμ΄μ, κ³ κΈ μνμ κ°λ κ³Ό μ΄λ‘ μ μ΄ν΄νκ³ μ μ©ν μ μλ λ₯λ ₯μ κ°μ§κ³ μλ€. μ΄λ¬ν λ₯λ ₯μ μ°κ΅¬μλ€μκ² κΈ°μ΄μ μΈ λ¬Έμ λΏλ§ μλλΌ, λμ± λ³΅μ‘νκ³ λν΄ν λ¬Έμ λ€μ ν΄κ²°ν μ μλ μλ‘μ΄ μλ¨μΌλ‘ μ리μ‘κ³ μλ€. νΉν, Galois κ΅°κ³Ό κ΄λ ¨λ λ¬Έμ λ μνμ μ¬λ¬ λΆμΌμ κ΅μ°¨νλ©°, AIλ₯Ό ν΅ν μ κ·Ό λ°©μμ΄ λμ±λ μ£Όλͺ©λ°κ³ μλ€.
μνμ μ κ·Όμλ Hilbertμ λΉνμ°μ± μ 리μ κ΄λ ¨λ μ΄λ‘ μ΄ ν¬ν¨λλ€. μ΄λ λμμ μλ‘ μ κΈ°μ΄κ° λλ μ€μν λΆλΆμΌλ‘, AIλ κΈ°μ‘΄ μνμλ€μ΄ ν μ μλ λ°©μμΌλ‘ λ¬Έμ λ₯Ό ν΄κ²°ν κΈ°νλ₯Ό μ 곡νλ€. μλ₯Ό λ€μ΄, AIλ SymPyμ κ°μ λꡬλ₯Ό νμ©νμ¬ λμ μ νλλ₯Ό μ μ§νλ©΄μ λ¬Έμ λ₯Ό νΈλ λ₯λ ₯μ 보μ¬μ£ΌμμΌλ©°, μ΄λ AIκ° μνμ λ¬Έμ ν΄κ²°μ μμ΄μ μ λ’°ν μ μλ λλ°μκ° λ μ μμμ μμ¬νλ€.
AIμ μνμ μΆλ‘ λ₯λ ₯μ μ°κ΅¬ λ° κ΅μ‘ λΆμΌμμ κΈ°μ‘΄μ κΈ°μ μ΄λ λ°©λ²λ‘ κ³Ό λΉκ΅νμ λ λΆλͺ ν μ₯μ μ΄ μλ€. μλ₯Ό λ€μ΄, Magmaμ κ°μ μ ν΅μ μΈ μν μννΈμ¨μ΄λ λ¬Έμ λ₯Ό ν΄κ²°νλ λ° μ€λ μκ°μ΄ μμλκ±°λ, νΉμ λ¬Έμ μμ μΈμ μμμ νκ³λ₯Ό λ°μ μ μλ€. λ°λ©΄ AIλ λλμ λ°μ΄ν°λ₯Ό λΆμνκ³ ν¨ν΄μ μ°Ύλ λ° μμ΄ λΉ λ₯΄κ³ ν¨μ¨μ μΈ μμ€ν μ μ 곡νλ€. κ·Έλ¬λ AIμ νκ³λ μ‘΄μ¬νλ€. AIκ° μμ ν μ°½μμ±μ λ°ννμ§ λͺ»νλ€λ μ μ΄λ, νμ΅ λ°μ΄ν°μ νμ§μ λ°λΌ μ±λ₯μ΄ μ’μ°λλ€λ μ μ΄ κ·Έκ²μ΄λ€.
λ°λΌμ, AIμ μνμ λ¬Έμ ν΄κ²°μ μν νμ© κ°λ₯μ±μ 무κΆλ¬΄μ§νλ€. μλ₯Ό λ€μ΄, AIλ₯Ό νμ©νμ¬ μν λ¬Έμ λ₯Ό νΈλ νλ«νΌμ κ°λ°ν¨μΌλ‘μ¨ κ΅μ‘μμ νμλ€μ΄ μνΈμμ©νλ μλ‘μ΄ ννμ νμ΅ νκ²½μ μ 곡ν μ μλ€. νμλ€μ 볡μ‘ν λ¬Έμ λ₯Ό ν΄κ²°νκΈ° μν ννΈλ₯Ό AIμκ² μ»μ μ μμΌλ©°, AIλ νμμ μν μν©μ λΆμνμ¬ κ°μΈ λ§μΆ€ν νμ΅ κ²½λ‘λ₯Ό μ μν μ μλ€.
AI λꡬλ λ¨μν κ³μ°μ λμ΄ νμλ€μκ² μνμ κ°λ μ μ΄ν΄νλ λ°μλ λμμ μ£Όμ΄μΌ νλ€. μ΄λ₯Ό μν΄ κ΅μ‘ νμ₯μμλ AIμ κΈ°λ₯κ³Ό μΈκ°μ κ΅μ‘μ μ κ·Όμ μ κ²°ν©ν νμκ° μλ€. μμΈλ¬, AIμ νμ©μ κ΅μ‘μ λ―Όμ£Όνλ₯Ό μ΄μ§ν μ μμΌλ©°, κΈ°μ΄ κ΅μ‘μ΄ λΆμ‘±ν μ§μμμλ μμ§μ κ΅μ‘ μ½ν μΈ μ μ κ·Όν μ μλ κΈ°νλ₯Ό μ 곡ν μ μλ€.
ν₯ν μ λ§μΌλ‘λ AI κΈ°μ μ λ°μ μ΄ κ³μλ¨μ λ°λΌ, μνμ μ°κ΅¬μ κ΅μ‘μ κ²½κ³λ₯Ό νλ¬Όκ³ μλ‘μ΄ κ°λ₯μ±μ μ΄μ΄μ€ κ²μ΄λ€. AIλ λμ± μ νν λ¬Έμ ν΄κ²°κ³Ό κ³μ°μ μ 곡ν κ²μ΄λ©°, μ΄λ μνμ μ΄λ‘ κ³Ό νμ€ μΈκ³μ κ΅μ°¨μ μμ νμ μ μΈ λ°κ²¬μ κ°λ₯νκ² ν κ²μΌλ‘ κΈ°λλλ€. κ·Έλ¬λ μ΄λ¬ν κ³Όμ μμ λ°μν μ μλ μ€λ¦¬μ λ¬Έμ μ AI κΈ°μ μ μ€λ¦¬μ μ¬μ©μ λν λ Όμλ λ°λμ λλ°λμ΄μΌ νλ€.
κ²°λ‘ μ μΌλ‘, AIμ μνμ μΆλ‘ λ₯λ ₯κ³Ό λ¬Έμ ν΄κ²° λ₯λ ₯μ μ°κ΅¬μ κ΅μ‘μ λ°©ν₯μ νμ μ μΌλ‘ λ³νμν¬ κ°λ₯μ±μ΄ ν¬λ€. μν λΆμΌμμμ AIμ μν μ λ¨μν λ¬Έμ λ₯Ό νΈλ κ²μ λμ΄μ, λ λμκ° μ°κ΅¬μμ νμλ€μ΄ μλ‘μ΄ μ§νμ μ¬λ λκ΅¬λ‘ μ리μ‘κ³ μλ€. AIμ μνμ μ΅ν©μ΄ κ°μ§λ νμ 무νν κ²μ΄λ©°, λ―Έλμ μνμλ€μκ²λ μ±κ³Όλ₯Ό μ΄λμ΄λ΄λ μ€μν ννΈλκ° λ κ²μ΄λ€.