Sign In

Towards Autonomous Mathematics Research

Created by
  • Haebom
Category
Empty

μ €μž

Tony Feng (Maggie), Trieu H. Trinh (Maggie), Garrett Bingham (Maggie), Dawsen Hwang (Maggie), Yuri Chervonyi (Maggie), Junehyuk Jung (Maggie), Joonkyung Lee (Maggie), Carlo Pagano (Maggie), Sang-hyun Kim (Maggie), Federico Pasqualotto (Maggie), Sergei Gukov (Maggie), Jonathan N. Lee (Maggie), Junsu Kim (Maggie), Kaiying Hou (Maggie), Golnaz Ghiasi (Maggie), Yi Tay (Maggie), YaGuang Li (Maggie), Chenkai Kuang (Maggie), Yuan Liu (Maggie), Hanzhao (Maggie), Lin, Evan Zheran Liu, Nigamaa Nayakanti, Xiaomeng Yang, Heng-tze Cheng, Demis Hassabis, Koray Kavukcuoglu, Quoc V. Le, Thang Luong

πŸ’‘ κ°œμš”

λ³Έ μ—°κ΅¬λŠ” μžμ—°μ–΄λ₯Ό 톡해 μˆ˜ν•™ 연ꡬλ₯Ό μžλ™ν™”ν•˜λŠ” μ—μ΄μ „νŠΈ 'Aletheia'λ₯Ό μ†Œκ°œν•©λ‹ˆλ‹€. AletheiaλŠ” Gemini Deep Think, μƒˆλ‘œμš΄ μΆ”λ‘  μŠ€μΌ€μΌλ§ 법칙, 그리고 도ꡬ μ‚¬μš©μ„ κ²°ν•©ν•˜μ—¬ μ˜¬λ¦Όν”Όμ•„λ“œ μˆ˜μ€€μ„ λ„˜μ–΄ 박사 κ³Όμ • μˆ˜μ€€μ˜ λ¬Έμ œκΉŒμ§€ ν•΄κ²°ν•˜λ©°, ꢁ극적으둜 μΈκ°„μ˜ κ°œμž… 없이 연ꡬ 논문을 μƒμ„±ν•˜κ³  λ³΅μž‘ν•œ μˆ˜ν•™μ  문제λ₯Ό ν•΄κ²°ν•˜λŠ” 것을 λͺ©ν‘œλ‘œ ν•©λ‹ˆλ‹€.

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

β€’
AIκ°€ μˆ˜ν•™ μ—°κ΅¬μ˜ 생성, 검증, μˆ˜μ • 단계λ₯Ό μžλ™ν™”ν•˜μ—¬ 기쑴의 인간 쀑심 연ꡬ νŒ¨λŸ¬λ‹€μž„μ„ λ³€ν™”μ‹œν‚¬ 잠재λ ₯을 λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
AIκ°€ νŠΉμ • λΆ„μ•Ό(μ‚°μˆ  κΈ°ν•˜ν•™μ˜ ꡬ쑰 μƒμˆ˜ 계산, 독립 집합에 λŒ€ν•œ 증λͺ… λ“±)μ—μ„œ μ‹€μ§ˆμ μΈ 연ꡬ μ„±κ³Όλ₯Ό λ‹¬μ„±ν–ˆμœΌλ©°, 700개 μ΄μƒμ˜ κ°œλ°©ν˜• λ¬Έμ œμ— λŒ€ν•œ 평가 및 4개 문제의 자율적 해결을 톡해 κ·Έ μ—­λŸ‰μ„ μž…μ¦ν–ˆμŠ΅λ‹ˆλ‹€.
β€’
AIκ°€ μˆ˜ν•™ 연ꡬ에 κΈ°μ—¬ν•˜λŠ” μˆ˜μ€€μ„ κ°κ΄€μ μœΌλ‘œ ν‰κ°€ν•˜κΈ° μœ„ν•œ 'μžμœ¨μ„± 및 독창성' μΈ‘μ • κΈ°μ€€μ˜ ν•„μš”μ„±μ„ μ œμ•ˆν•˜λ©°, 인간과 AI κ°„μ˜ ν˜‘μ—… κ°€λŠ₯성을 νƒμƒ‰ν•©λ‹ˆλ‹€.
β€’
ν˜„μž¬ μ—°κ΅¬λŠ” νŠΉμ • μœ ν˜•μ˜ μˆ˜ν•™μ  λ¬Έμ œμ™€ 연ꡬ 단계에 μ΄ˆμ μ„ λ§žμΆ”κ³  있으며, λ”μš± κ΄‘λ²”μœ„ν•˜κ³  λ³΅μž‘ν•œ μˆ˜ν•™μ  νƒκ΅¬λ‘œμ˜ μΌλ°˜ν™” 및 인간 μ—°κ΅¬μžμ™€μ˜ 심측적인 ν˜‘μ—… λͺ¨λΈ ꡬ좕은 ν–₯ν›„ 과제둜 남아 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘