Sign In

Compression is all you need: Modeling Mathematics

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, Michael Mulligan

πŸ’‘ κ°œμš”

이 논문은 인간이 λ°œκ²¬ν•˜κ³  μ€‘μš”ν•˜κ²Œ μƒκ°ν•˜λŠ” μˆ˜ν•™(HM)이 ν˜•μ‹ μˆ˜ν•™(FM)의 극히 μΌλΆ€μž„μ„ μ§€μ ν•˜λ©°, HM의 νŠΉμ§•μ΄ 계측적 μ •μ˜, 보쑰정리, 정리λ₯Ό ν†΅ν•œ 압좕성에 μžˆλ‹€κ³  μ£Όμž₯ν•©λ‹ˆλ‹€. μ΄λŸ¬ν•œ 압좕성은 자유 아벨 λͺ¨λ…Έμ΄λ“œ($A_n$)μ—μ„œ 둜그적으둜 ν¬μ†Œν•œ 맀크둜 μ§‘ν•©μœΌλ‘œλ„ ν‘œν˜„λ ₯의 μ§€μˆ˜μ  ν™•μž₯을 κ°€λŠ₯ν•˜κ²Œ ν•˜λ©°, μ΄λŠ” MathLib 데이터셋에 λŒ€ν•œ μ‹€ν—˜ 결과와 μΌμΉ˜ν•©λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
인간 μˆ˜ν•™(HM)은 ν˜•μ‹ μˆ˜ν•™(FM)의 일뢀이며, 계측적 μ •μ˜μ™€ 같은 μ••μΆ• λ©”μ»€λ‹ˆμ¦˜μ„ 톡해 νŠΉμ§•μ§€μ–΄μ§„λ‹€λŠ” 것을 μˆ˜ν•™μ μœΌλ‘œ λͺ¨λΈλ§ν•©λ‹ˆλ‹€.
β€’
압좕성은 μˆ˜ν•™μ˜ ν‘œν˜„λ ₯을 ν–₯μƒμ‹œν‚€λŠ” 핡심 μš”μ†Œμ΄λ©°, 특히 자유 아벨 λͺ¨λ…Έμ΄λ“œ λͺ¨λΈμ΄ 인간 μˆ˜ν•™μ˜ νŠΉμ„±μ„ 잘 μ„€λͺ…함을 λ³΄μž…λ‹ˆλ‹€.
β€’
MathLib 데이터셋 μ‹€ν—˜μ„ 톡해 μ••μΆ•κ³Ό PageRank 뢄석이 μˆ˜ν•™μ  관심도λ₯Ό μ •λŸ‰ν™”ν•˜κ³  μžλ™ν™”λœ 좔둠을 HM에 μ§‘μ€‘μ‹œν‚€λŠ” 데 도움을 쀄 수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
자유 비아벨 λͺ¨λ…Έμ΄λ“œ λͺ¨λΈκ³Όμ˜ λΆˆμΌμΉ˜λŠ” 인간 μˆ˜ν•™μ΄ ν˜•μ‹ μˆ˜ν•™μ˜ νŠΉμ • 뢀뢄에 κ΅­ν•œλ˜μ–΄ μžˆμŒμ„ μ‹œμ‚¬ν•˜λ©°, μ΄λŠ” ν–₯ν›„ μ—°κ΅¬μ—μ„œ HMκ³Ό FM의 관계λ₯Ό 더 깊이 탐ꡬ할 ν•„μš”μ„±μ„ μ œκΈ°ν•©λ‹ˆλ‹€.
πŸ‘
Made with Slashpage