en
Feedback
πŸ‡°πŸ‡· Lagrange | λΌκ·Έλž‘μ£Ό ν•œκ΅­ 곡지채널

πŸ‡°πŸ‡· Lagrange | λΌκ·Έλž‘μ£Ό ν•œκ΅­ 곡지채널

Open in Telegram

λΌκ·Έλž‘μ£ΌλŠ” 인λ₯˜μ˜ ν†΅μ œλ₯Ό λ²—μ–΄λ‚œ 쑴재둜 λ³€μ§ˆλ˜λŠ” 것을 막고, 였직 인λ₯˜μ˜ 이읡을 μœ„ν•΄ λ°œμ „ν•˜λ„λ‘ 보μž₯ν•  수 μžˆλŠ” μœ μΌν•œ ZKML κΈ°μˆ μž…λ‹ˆλ‹€. πŸ”Ή κ³΅μ‹μ›Ήμ‚¬μ΄νŠΈ: https://www.lagrange.dev/ πŸ”Ή λ„€μ΄λ²„λΈ”λ‘œκ·Έ: https://blog.naver.com/lagrangelabs πŸ”Ή μ†Œν†΅λ°©: t.me/lagrangekoreachat

Show more
2 300
Subscribers
-224 hours
-87 days
-4630 days

Data loading in progress...

Similar Channels
No data
Any problems? Please refresh the page or contact our support manager.
Tags Cloud
No data
Any problems? Please refresh the page or contact our support manager.
Incoming and Outgoing Mentions
---
---
---
---
---
---
Attracting Subscribers
August '26
August '26
+2
in 2 channels
July '26
+35
in 3 channels
Get PRO
June '26
+149
in 12 channels
Get PRO
May '26
+11
in 2 channels
Get PRO
April '26
+16
in 12 channels
Get PRO
March '26
+30
in 13 channels
Get PRO
February '26
+48
in 11 channels
Get PRO
January '26
+100
in 10 channels
Get PRO
December '25
+11
in 8 channels
Get PRO
November '25
+163
in 11 channels
Get PRO
October '25
+17
in 12 channels
Get PRO
September '25
+37
in 12 channels
Get PRO
August '25
+239
in 16 channels
Get PRO
July '25
+334
in 21 channels
Get PRO
June '25
+2 493
in 37 channels
Get PRO
May '250
in 37 channels
Get PRO
April '25
+7
in 7 channels
Date
Subscriber Growth
Mentions
Channels
26 August0
25 August0
24 August0
23 August0
22 August0
21 August0
20 August0
19 August0
18 August0
17 August0
16 August0
15 August0
14 August+2
13 August0
12 August0
11 August0
10 August0
09 August0
08 August0
07 August0
06 August0
05 August0
04 August0
03 August0
02 August0
01 August0
Channel Posts
πŸ• λ“œλ‘  ν•œ λŒ€λŠ” 이미 ν’€λ¦° λ¬Έμ œμž…λ‹ˆλ‹€. ν•˜μ§€λ§Œ λ“œλ‘  50λŒ€κ°€ ν•¨κ»˜ ν˜‘λ ₯ν•˜λŠ” 건 κ³΅ν•™μ—μ„œ κ°€μž₯ μ–΄λ €μš΄ 문제 쀑 ν•˜λ‚˜μž…λ‹ˆλ‹€ μ—ν”Όμ†Œλ“œ 3: μŠ€μ›œ(swarm)이 μ‹€μ œλ‘œ 무엇인지, μ „λ¬Έ μš©μ–΄ ν•˜λ‚˜μ—†μ΄ 1λΆ„ μ•ˆμ— μ•Œμ•„λ΄…λ‹ˆλ‹€. λ§ˆμ§€λ§‰ 쀄은 λ‹€μŒλ²ˆ λ“œλ‘  μŠ€μ›œ κ΄€λ ¨ ν—€λ“œλΌμΈμ„ μœ„ν•΄ λ‚¨κ²¨λ‘μ„Έμš”. μ—ν”Όμ†Œλ“œ 2λ₯Ό λ†“μΉ˜μ…¨λ‹€λ©΄ 이전 μ˜μƒμ„ μ°Έκ³ ν•΄μ£Όμ„Έμš” ‼️ πŸ“± 원문 보기

2
πŸ• μžμœ¨μ„±(autonomy)μ—μ„œ μ§„μ§œ μ–΄λ €μš΄ 뢀뢄은 λ“œλ‘  ν•œ λŒ€λ₯Ό μž‘λ™μ‹œν‚€λŠ” 게 μ•„λ‹™λ‹ˆλ‹€ μžμœ¨μ£Όν–‰ 데λͺ¨ μ˜μƒμ€ 항상 날씨가 λ§‘κ³ , 무전은 항상 잘 ν„°μ§€κ³ , λ“œλ‘ μ€ 항상 λ¬΄μ‚¬νžˆ λŒμ•„μ˜΅λ‹ˆλ‹€. 그런데 아무도 그런 날에 μž„λ¬΄λ₯Ό 수
πŸ• μžμœ¨μ„±(autonomy)μ—μ„œ μ§„μ§œ μ–΄λ €μš΄ 뢀뢄은 λ“œλ‘  ν•œ λŒ€λ₯Ό μž‘λ™μ‹œν‚€λŠ” 게 μ•„λ‹™λ‹ˆλ‹€ μžμœ¨μ£Όν–‰ 데λͺ¨ μ˜μƒμ€ 항상 날씨가 λ§‘κ³ , 무전은 항상 잘 ν„°μ§€κ³ , λ“œλ‘ μ€ 항상 λ¬΄μ‚¬νžˆ λŒμ•„μ˜΅λ‹ˆλ‹€. 그런데 아무도 그런 날에 μž„λ¬΄λ₯Ό μˆ˜ν–‰ν•˜μ§€ μ•ŠμŠ΅λ‹ˆλ‹€. Lagrangeκ°€ μŠ€μ›œ μ½”λ””λ„€μ΄μ…˜μ΄ μ‹€μ œλ‘œ λ¬΄λ„ˆμ§€λŠ” 6κ°€μ§€ 방식을 낱낱이 κ³΅κ°œν•©λ‹ˆλ‹€ β€” 저희 μ œν’ˆμ˜ μ•½μ κΉŒμ§€ ν¬ν•¨ν•΄μ„œμš”. λ‹€μŒ 데λͺ¨μ—μ„œ 곡급업체에 λ˜μ Έμ•Ό ν•  μ§ˆλ¬Έλ“€λ„ ν•¨κ»˜ μ •λ¦¬ν–ˆμŠ΅λ‹ˆλ‹€. πŸ‘‰ The Failure Taxonomy: μžμœ¨μ„±μ€ μ‹€μ œλ‘œ μ–΄λ–»κ²Œ λ¬΄λ„ˆμ§€λŠ”κ°€ ν•œκΈ€ λΈ”λ‘œκ·Έ λ°”λ‘œκ°€κΈ° πŸ‘‰ μ°Έμ—¬ν˜• ν”„λ‘œλ•νŠΈ 싀행해보기 βœ”οΈμ§μ ‘ λ¬΄λ„ˆλœ¨λ €λ³΄μ„Έμš”. Halo ν”Œλ ˆμ΄κ·ΈλΌμš΄λ“œλŠ” νƒœλΈ”λ¦Ώ, λ…ΈνŠΈλΆ, λ°μŠ€ν¬ν†± μ–΄λ””μ„œλ“  λΈŒλΌμš°μ €μ—μ„œ μ‹€ν–‰λ©λ‹ˆλ‹€. 지도에 μžμ‚°μ„ λ°°μΉ˜ν•˜κ³ , 링크λ₯Ό μž¬λ°ν•˜κ³ , λ…Έλ“œλ₯Ό 죽이고, 그룹을 λΆ„λ¦¬μ‹œμΌœλ³΄λ©° μ–΄λ–€ 일이 μΌμ–΄λ‚˜λŠ”μ§€ μ§€μΌœλ³΄μ„Έμš”: playground.lagrange.dev βœ”οΈHold the Swarm을 ν”Œλ ˆμ΄ν•΄λ³΄μ„Έμš”. λ“œλ‘  κ²Œμž„μž…λ‹ˆλ‹€: holdtheswarm.lagrange.dev πŸ“± 원문 보기
53
3
πŸ• 퀄컴은 이제 슀슀둜 νŒλ‹¨μ„ λ‚΄λ¦¬λŠ” μˆ˜μ‹­μ–΅ λŒ€μ˜ κΈ°κΈ°λ“€ 속에 자리 작고 μžˆμŠ΅λ‹ˆλ‹€ λ‹Ήμ‹ μ˜ μ›ŒμΉ˜. λ‹Ήμ‹ μ˜ μžλ™μ°¨. 곡μž₯ 벽에 뢙은 μ„Όμ„œ ν•˜λ‚˜κΉŒμ§€. 그런데 그쀑 거의 μ–΄λ–€ 기기도 μžμ‹ μ΄ ν•œ 일을 증λͺ…ν•˜μ§€ λͺ»ν•©λ‹ˆλ‹€. λΌκ·Έλž‘μ£Όκ°€
πŸ• 퀄컴은 이제 슀슀둜 νŒλ‹¨μ„ λ‚΄λ¦¬λŠ” μˆ˜μ‹­μ–΅ λŒ€μ˜ κΈ°κΈ°λ“€ 속에 자리 작고 μžˆμŠ΅λ‹ˆλ‹€ λ‹Ήμ‹ μ˜ μ›ŒμΉ˜. λ‹Ήμ‹ μ˜ μžλ™μ°¨. 곡μž₯ 벽에 뢙은 μ„Όμ„œ ν•˜λ‚˜κΉŒμ§€. 그런데 그쀑 거의 μ–΄λ–€ 기기도 μžμ‹ μ΄ ν•œ 일을 증λͺ…ν•˜μ§€ λͺ»ν•©λ‹ˆλ‹€. λΌκ·Έλž‘μ£Όκ°€ 이제 퀄컴 νŒŒνŠΈλ„ˆ λ„€νŠΈμ›Œν¬(Qualcomm Partner Network)에 ν•©λ₯˜ν–ˆμŠ΅λ‹ˆλ‹€. πŸ“± 원문 보기
56
4
πŸ• 1μ™€νŠΈμ§œλ¦¬ 재머 ν•˜λ‚˜λ©΄ 수 ν‚¬λ‘œλ―Έν„° 반경으둜 GPSλ₯Ό μ‚¬λ°©μœΌλ‘œ 차단할 수 μžˆμŠ΅λ‹ˆλ‹€ 1μ™€νŠΈ 정도면 μ·¨μΉ¨λ“± ν•˜λ‚˜ μΌœλŠ” μ „λ ₯μž…λ‹ˆλ‹€. μ—ν”Όμ†Œλ“œ 2: μ „λ¬Έ μš©μ–΄ ν•˜λ‚˜λ„ 없이 GPSκ°€ μ™œ μ΄λ ‡κ²Œ μ‰½κ²Œ λ°©ν•΄λ°›λŠ”μ§€, 1λΆ„ μ•ˆμ— μ•Œμ•„λ΄…
πŸ• 1μ™€νŠΈμ§œλ¦¬ 재머 ν•˜λ‚˜λ©΄ 수 ν‚¬λ‘œλ―Έν„° 반경으둜 GPSλ₯Ό μ‚¬λ°©μœΌλ‘œ 차단할 수 μžˆμŠ΅λ‹ˆλ‹€ 1μ™€νŠΈ 정도면 μ·¨μΉ¨λ“± ν•˜λ‚˜ μΌœλŠ” μ „λ ₯μž…λ‹ˆλ‹€. μ—ν”Όμ†Œλ“œ 2: μ „λ¬Έ μš©μ–΄ ν•˜λ‚˜λ„ 없이 GPSκ°€ μ™œ μ΄λ ‡κ²Œ μ‰½κ²Œ λ°©ν•΄λ°›λŠ”μ§€, 1λΆ„ μ•ˆμ— μ•Œμ•„λ΄…λ‹ˆλ‹€. λ‹€μŒλ²ˆ GPS κ΅λž€ κ΄€λ ¨ λ‰΄μŠ€κ°€ 뜰 λ•Œλ₯Ό μœ„ν•΄ μ €μž₯ν•΄λ‘μ„Έμš”! πŸ“± 원문 보기
247
5
πŸ• 7만 건이 λ„˜λŠ” λΉ„ν–‰ 쀑 단 두 번, @Amazon의 μ‹œμŠ€ν…œμ΄ 유인 ν•­κ³΅κΈ°λ‘œλΆ€ν„° λ“œλ‘ μ„ νšŒν”Όμ‹œν‚¨ 적이 μžˆμŠ΅λ‹ˆλ‹€ 그쀑 ν•˜λ‚˜λŠ” μœ„μΉ˜λ₯Ό μ†‘μ‹ ν•˜μ§€ μ•Šλ˜ 헬리μ½₯ν„°μ˜€μŠ΅λ‹ˆλ‹€. 이걸 500개 λ„μ‹œ 규λͺ¨λ‘œ ν™•λŒ€ν•˜λ©΄, ν•˜λŠ˜μ€ 더 이상 λͺ¨
πŸ• 7만 건이 λ„˜λŠ” λΉ„ν–‰ 쀑 단 두 번, @Amazon의 μ‹œμŠ€ν…œμ΄ 유인 ν•­κ³΅κΈ°λ‘œλΆ€ν„° λ“œλ‘ μ„ νšŒν”Όμ‹œν‚¨ 적이 μžˆμŠ΅λ‹ˆλ‹€ 그쀑 ν•˜λ‚˜λŠ” μœ„μΉ˜λ₯Ό μ†‘μ‹ ν•˜μ§€ μ•Šλ˜ 헬리μ½₯ν„°μ˜€μŠ΅λ‹ˆλ‹€. 이걸 500개 λ„μ‹œ 규λͺ¨λ‘œ ν™•λŒ€ν•˜λ©΄, ν•˜λŠ˜μ€ 더 이상 λͺ¨λ‘κ°€ μžμ‹ μ˜ μœ„μΉ˜λ₯Ό μ•Œλ¦¬λŠ” 곡간이 μ•„λ‹ˆκ²Œ λ©λ‹ˆλ‹€. πŸ“± 원문 보기
235
6
πŸ• 이 ꡰ집은 막을 수 μ—†μŠ΅λ‹ˆλ‹€. 그게 ν•΅μ‹¬μž…λ‹ˆλ‹€. 톡신을 μž¬λ°ν•΄λ³΄μ„Έμš”. GPSλ₯Ό μŠ€ν‘Έν•‘ν•΄λ³΄μ„Έμš”. μ„Έ λŒ€λ₯Ό κ²©μΆ”ν•΄λ³΄μ„Έμš”. κ·Έλž˜λ„ μŠ€μ›œμ€ μž¬κ³„νšμ„ μ„Έμš°κ³  κ²°κ΅­ μž„λ¬΄λ₯Ό μ™„μˆ˜ν•©λ‹ˆλ‹€. λ‹Ήμ‹ μ˜ μ μˆ˜λŠ”, 당신이 κ·Έ μŠ€μ›œμ—κ²Œμ„œ μ–Όλ§ˆλ‚˜
πŸ• 이 ꡰ집은 막을 수 μ—†μŠ΅λ‹ˆλ‹€. 그게 ν•΅μ‹¬μž…λ‹ˆλ‹€. 톡신을 μž¬λ°ν•΄λ³΄μ„Έμš”. GPSλ₯Ό μŠ€ν‘Έν•‘ν•΄λ³΄μ„Έμš”. μ„Έ λŒ€λ₯Ό κ²©μΆ”ν•΄λ³΄μ„Έμš”. κ·Έλž˜λ„ μŠ€μ›œμ€ μž¬κ³„νšμ„ μ„Έμš°κ³  κ²°κ΅­ μž„λ¬΄λ₯Ό μ™„μˆ˜ν•©λ‹ˆλ‹€. λ‹Ήμ‹ μ˜ μ μˆ˜λŠ”, 당신이 κ·Έ μŠ€μ›œμ—κ²Œμ„œ μ–Όλ§ˆλ‚˜ λ§Žμ€ μ‹œκ°„μ„ λΉΌμ•—μ•˜λŠ”κ°€λ‘œ κ²°μ •λ©λ‹ˆλ‹€. https://x.com/lagrangedev/status/2089721848317804839?s=20 πŸ“± 원문 보기
247
7
πŸ• μžμœ¨μ„±(autonomy)μ—μ„œ μ§„μ§œ μ–΄λ €μš΄ 뢀뢄은 λ“œλ‘  ν•œ λŒ€λ₯Ό μž‘λ™μ‹œν‚€λŠ” 게 μ•„λ‹™λ‹ˆλ‹€. λͺ¨λ“  게 잘λͺ»λ˜κΈ° μ‹œμž‘ν•  λ•Œ κ·Έλ£Ή μ „μ²΄μ˜ ν˜‘μ‘μ„ μœ μ§€ν•˜λŠ” κ²ƒμž…λ‹ˆλ‹€. HaloλŠ” λ°”λ‘œ κ·Έ μˆœκ°„μ„ μœ„ν•΄ λ§Œλ“€μ–΄μ‘ŒμŠ΅λ‹ˆλ‹€. κ·Έλž˜μ„œ μ €ν¬λŠ”
πŸ• μžμœ¨μ„±(autonomy)μ—μ„œ μ§„μ§œ μ–΄λ €μš΄ 뢀뢄은 λ“œλ‘  ν•œ λŒ€λ₯Ό μž‘λ™μ‹œν‚€λŠ” 게 μ•„λ‹™λ‹ˆλ‹€. λͺ¨λ“  게 잘λͺ»λ˜κΈ° μ‹œμž‘ν•  λ•Œ κ·Έλ£Ή μ „μ²΄μ˜ ν˜‘μ‘μ„ μœ μ§€ν•˜λŠ” κ²ƒμž…λ‹ˆλ‹€. HaloλŠ” λ°”λ‘œ κ·Έ μˆœκ°„μ„ μœ„ν•΄ λ§Œλ“€μ–΄μ‘ŒμŠ΅λ‹ˆλ‹€. κ·Έλž˜μ„œ μ €ν¬λŠ” 이 문제λ₯Ό κ²Œμž„μœΌλ‘œ λ°”κΏ”λ΄€μŠ΅λ‹ˆλ‹€. μŠ€μ›œμ„ λ¬΄λ„ˆλœ¨λ € λ³΄μ„Έμš” β†’ https://t.co/qCd04Bp79x πŸ“± 원문 보기
292
8
πŸ• 세계 λŒ€λΆ€λΆ„μ˜ AIλŠ” λ‹€λ₯Έ λˆ„κ΅°κ°€μ˜ 컴퓨터 μœ„μ—μ„œ λŒμ•„κ°‘λ‹ˆλ‹€ κ·Έλž˜μ„œ λ§€λ…„ 더 μ€‘μš”ν•΄μ§€λŠ” 질문이 ν•˜λ‚˜ μžˆμŠ΅λ‹ˆλ‹€: κ·Έ 컴퓨터 μœ„μ—μ„œ μ‹€μ œλ‘œ 무엇이 μ‹€ν–‰λλŠ”μ§€ 증λͺ…ν•  수 μžˆμŠ΅λ‹ˆκΉŒ? DeepProveκ°€ 이제 @awscloud
πŸ• 세계 λŒ€λΆ€λΆ„μ˜ AIλŠ” λ‹€λ₯Έ λˆ„κ΅°κ°€μ˜ 컴퓨터 μœ„μ—μ„œ λŒμ•„κ°‘λ‹ˆλ‹€ κ·Έλž˜μ„œ λ§€λ…„ 더 μ€‘μš”ν•΄μ§€λŠ” 질문이 ν•˜λ‚˜ μžˆμŠ΅λ‹ˆλ‹€: κ·Έ 컴퓨터 μœ„μ—μ„œ μ‹€μ œλ‘œ 무엇이 μ‹€ν–‰λλŠ”μ§€ 증λͺ…ν•  수 μžˆμŠ΅λ‹ˆκΉŒ? DeepProveκ°€ 이제 @awscloud λ§ˆμΌ“ν”Œλ ˆμ΄μŠ€μ—μ„œ 이용 κ°€λŠ₯ν•©λ‹ˆλ‹€. πŸ“±μ›λ¬Έ 보기
334
9
πŸ• 맀달 λŒ€λ‹΅ν•˜κΈ° 더 μ–΄λ €μ›Œμ§€λŠ” 두 κ°€μ§€ 질문이 μžˆμŠ΅λ‹ˆλ‹€ AIκ°€ μ •λ§λ‘œ μžμ‹ μ΄ μ‹€ν–‰ν–ˆλ‹€κ³  λ§ν•œ κ·ΈλŒ€λ‘œ μ‹€ν–‰ν•œ κ±ΈκΉŒμš”? λ„€νŠΈμ›Œν¬κ°€ λŠκ²Όμ„ λ•Œλ„ 기계듀은 μ—¬μ „νžˆ μ„œλ‘œ ν˜‘μ‘ν• κΉŒμš”? λ‘˜ λ‹€ 눈으둜 λ΄μ„œλŠ” λ‹΅ν•  수 μ—†λŠ” μ§ˆλ¬Έμž…λ‹ˆλ‹€.
πŸ• 맀달 λŒ€λ‹΅ν•˜κΈ° 더 μ–΄λ €μ›Œμ§€λŠ” 두 κ°€μ§€ 질문이 μžˆμŠ΅λ‹ˆλ‹€ AIκ°€ μ •λ§λ‘œ μžμ‹ μ΄ μ‹€ν–‰ν–ˆλ‹€κ³  λ§ν•œ κ·ΈλŒ€λ‘œ μ‹€ν–‰ν•œ κ±ΈκΉŒμš”? λ„€νŠΈμ›Œν¬κ°€ λŠκ²Όμ„ λ•Œλ„ 기계듀은 μ—¬μ „νžˆ μ„œλ‘œ ν˜‘μ‘ν• κΉŒμš”? λ‘˜ λ‹€ 눈으둜 λ΄μ„œλŠ” λ‹΅ν•  수 μ—†λŠ” μ§ˆλ¬Έμž…λ‹ˆλ‹€. DeepProveλŠ” λͺ¨λ“  AI 좔둠에 μ•”ν˜Έν•™μ  μ˜μˆ˜μ¦μ„ λΆ™μž…λ‹ˆλ‹€. HaloλŠ” κ°€μž₯ μΉ˜μ—΄ν•œ κ΅λž€ ν™˜κ²½μ—μ„œλ„ 자율 μ‹œμŠ€ν…œλ“€μ΄ 무엇이 진싀인지 계속 ν•©μ˜ν•˜λ„λ‘ λ§Œλ“­λ‹ˆλ‹€. AI와 μžμœ¨μ„±μ„ μœ„ν•œ μ§„μ‹€μ˜ ν† λŒ€. βœ”οΈPrint a receipt for any claim β†’ receipts.lagrange.dev βœ”οΈProof for AI β†’ lagrange.dev/deepprove βœ”οΈCoordination under failure β†’ lagrange.dev/defense πŸ“±μ›λ¬Έ 보기
288
10
πŸ• λ„€ 곳의 μ—°κ΅¬μ†Œκ°€ μžμ‚¬ λͺ¨λΈμ΄ 평가 ν™˜κ²½(evaluation environment)을 λ²—μ–΄λ‚¬λ‹€λŠ” 사싀을 κ³΅κ°œν–ˆμŠ΅λ‹ˆλ‹€ ν•˜λ‚˜λŠ” μž₯μ• λ‘œ. ν•˜λ‚˜λŠ” κ²½μŸμ‚¬μ˜ λΈ”λ‘œκ·Έ 포슀트둜. ν•˜λ‚˜λŠ” λ²€λ”μ˜ μ „ν™” ν•œ ν†΅μœΌλ‘œ. ν•˜λ‚˜λŠ” ν…ŒμŠ€νŠΈ 업체가
πŸ• λ„€ 곳의 μ—°κ΅¬μ†Œκ°€ μžμ‚¬ λͺ¨λΈμ΄ 평가 ν™˜κ²½(evaluation environment)을 λ²—μ–΄λ‚¬λ‹€λŠ” 사싀을 κ³΅κ°œν–ˆμŠ΅λ‹ˆλ‹€ ν•˜λ‚˜λŠ” μž₯μ• λ‘œ. ν•˜λ‚˜λŠ” κ²½μŸμ‚¬μ˜ λΈ”λ‘œκ·Έ 포슀트둜. ν•˜λ‚˜λŠ” λ²€λ”μ˜ μ „ν™” ν•œ ν†΅μœΌλ‘œ. ν•˜λ‚˜λŠ” ν…ŒμŠ€νŠΈ 업체가 κ³΅κ°œν•˜λ©΄μ„œ. λ„· 쀑 μ–΄λŠ 곳도 슀슀둜 λ°œκ²¬ν•˜μ§€ λͺ»ν–ˆμŠ΅λ‹ˆλ‹€. πŸ“± 원문 보기
268
11
πŸ• AI μ‹œμŠ€ν…œμ΄ 슀슀둜 λ§ν•œ λŒ€λ‘œ μž‘λ™ν•˜λŠ”μ§€ ν™•μΈν•˜λŠ” 방법은 λ„€ κ°€μ§€κ°€ μžˆμŠ΅λ‹ˆλ‹€ 그쀑 λ‘˜μ€ κ³΅κ°œλ˜μ–΄ μžˆμŠ΅λ‹ˆλ‹€. ν•˜λ‚˜λŠ” λΆ€λΆ„μ μœΌλ‘œλ§Œ κ³΅κ°œλ©λ‹ˆλ‹€. λ‚˜λ¨Έμ§€ ν•˜λ‚˜λŠ” μ•„μ˜ˆ κ³΅κ°œλ˜μ§€ μ•ŠμŠ΅λ‹ˆλ‹€. 건물 밖에 μžˆλŠ” μ‚¬λžŒλ„ κ·Έ κ·œμΉ™μ„ μ‹€μ œ
πŸ• AI μ‹œμŠ€ν…œμ΄ 슀슀둜 λ§ν•œ λŒ€λ‘œ μž‘λ™ν•˜λŠ”μ§€ ν™•μΈν•˜λŠ” 방법은 λ„€ κ°€μ§€κ°€ μžˆμŠ΅λ‹ˆλ‹€ 그쀑 λ‘˜μ€ κ³΅κ°œλ˜μ–΄ μžˆμŠ΅λ‹ˆλ‹€. ν•˜λ‚˜λŠ” λΆ€λΆ„μ μœΌλ‘œλ§Œ κ³΅κ°œλ©λ‹ˆλ‹€. λ‚˜λ¨Έμ§€ ν•˜λ‚˜λŠ” μ•„μ˜ˆ κ³΅κ°œλ˜μ§€ μ•ŠμŠ΅λ‹ˆλ‹€. 건물 밖에 μžˆλŠ” μ‚¬λžŒλ„ κ·Έ κ·œμΉ™μ„ μ‹€μ œλ‘œ 읽어볼 수 μžˆμ„κΉŒμš”? πŸ“± 원문 보기
251
12
πŸ• AIλŠ” μ‚¬κ³ μ˜ 더 λ§Žμ€ 뢀뢄을 λŒ€μ‹ ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ κΈ°κ³„λŠ” μ›€μ§μž„μ˜ 더 λ§Žμ€ 뢀뢄을 λŒ€μ‹ ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ 그리고 λͺ¨λ“  μ§„μ§€ν•œ ꡬ맀자, 규제 λ‹Ήκ΅­, μš΄μ˜μžλŠ” κ²°κ΅­ 같은 질문으둜 μˆ˜λ ΄ν•©λ‹ˆλ‹€: λˆ„κ΅°κ°€ λ§ν•œ λŒ€λ‘œ λͺ¨λΈμ΄ μ‹€μ œλ‘œ 싀행됐
πŸ• AIλŠ” μ‚¬κ³ μ˜ 더 λ§Žμ€ 뢀뢄을 λŒ€μ‹ ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ κΈ°κ³„λŠ” μ›€μ§μž„μ˜ 더 λ§Žμ€ 뢀뢄을 λŒ€μ‹ ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ 그리고 λͺ¨λ“  μ§„μ§€ν•œ ꡬ맀자, 규제 λ‹Ήκ΅­, μš΄μ˜μžλŠ” κ²°κ΅­ 같은 질문으둜 μˆ˜λ ΄ν•©λ‹ˆλ‹€: λˆ„κ΅°κ°€ λ§ν•œ λŒ€λ‘œ λͺ¨λΈμ΄ μ‹€μ œλ‘œ μ‹€ν–‰λλ‹€λŠ” κ±Έ μ–΄λ–»κ²Œ μ•Œκ³  톡신이 λŠκ²Όμ„ λ•Œ μŠ€μ›œμ΄ μ—¬μ „νžˆ 버티고 μžˆλ‹€λŠ” κ±Έ μ–΄λ–»κ²Œ μ•Œ 수 μžˆμ„κΉŒμš”? 저희가 λ§Œλ“œλŠ” λͺ¨λ“  것은 λ°”λ‘œ 이 μ§ˆλ¬Έμ— λŒ€ν•œ λ‹΅μž…λ‹ˆλ‹€. Β· λͺ¨λ“  AI 좔둠에 λŒ€ν•œ 증λͺ… β†’ http://lagrange.dev/deepprove Β· μž₯μ•  μƒν™©μ—μ„œλ„ μœ μ§€λ˜λŠ” ν˜‘μ‘(μ½”λ””λ„€μ΄μ…˜) β†’ http://lagrange.dev/defense πŸ“± 원문 보기
365
13
πŸ• DeepProveλ₯Ό μ˜€ν”ˆμ†ŒμŠ€λ‘œ κ³΅κ°œν–ˆμ„ λ•Œ, λͺ¨λ‘κ°€ 같은 μ§ˆλ¬Έμ„ ν–ˆμŠ΅λ‹ˆλ‹€: 이게 μ‹€μ œλ‘œ μ–΄λ–»κ²Œ μž‘λ™ν•˜λŠ”κ°€? 이걸 κ°€λŠ₯ν•˜κ²Œ λ§Œλ“  아이디어λ₯Ό μ†Œκ°œν•©λ‹ˆλ‹€. κΈ°μ‘΄ λ°©μ‹μ—μ„œ LLM을 증λͺ…ν•œλ‹€λŠ” 건 전체 생성 과정을 회둜 μ•ˆμ—μ„œ
πŸ• DeepProveλ₯Ό μ˜€ν”ˆμ†ŒμŠ€λ‘œ κ³΅κ°œν–ˆμ„ λ•Œ, λͺ¨λ‘κ°€ 같은 μ§ˆλ¬Έμ„ ν–ˆμŠ΅λ‹ˆλ‹€: 이게 μ‹€μ œλ‘œ μ–΄λ–»κ²Œ μž‘λ™ν•˜λŠ”κ°€? 이걸 κ°€λŠ₯ν•˜κ²Œ λ§Œλ“  아이디어λ₯Ό μ†Œκ°œν•©λ‹ˆλ‹€. κΈ°μ‘΄ λ°©μ‹μ—μ„œ LLM을 증λͺ…ν•œλ‹€λŠ” 건 전체 생성 과정을 회둜 μ•ˆμ—μ„œ 토큰 ν•˜λ‚˜ν•˜λ‚˜ λ‹€μ‹œ λŒλ¦°λ‹€λŠ” λœ»μ΄μ—ˆμŠ΅λ‹ˆλ‹€. λΉ„μš©μ€ λ‹΅λ³€ 길이에 따라 제곱으둜 μ¦κ°€ν•©λ‹ˆλ‹€. 아무도 이런 방식을 μ‹€μ œλ‘œ μΆœμ‹œν•˜μ§€ λͺ»ν•©λ‹ˆλ‹€. κ·Έλž˜μ„œ μ €ν¬λŠ” λ‹€μ‹œ λŒλ¦¬λŠ” κ±Έ λ©ˆμ·„μŠ΅λ‹ˆλ‹€. 검증을 μœ„ν•΄ 생성을 λ‹€μ‹œ μ‹€ν–‰ν•  ν•„μš”λŠ” μ—†μŠ΅λ‹ˆλ‹€. ν•„μš”ν•œ 건 였직 μΈμ¦λΏμž…λ‹ˆλ‹€: 전체 μ‹œν€€μŠ€λ₯Ό λͺ¨λΈμ— ν•œ 번만 ν†΅κ³Όμ‹œν‚€κ³ , 인과적 μ–΄ν…μ…˜(causal attention)이 λ‚˜λ¨Έμ§€λ₯Ό μ²˜λ¦¬ν•˜κ²Œ λ‘λŠ” κ²ƒμž…λ‹ˆλ‹€. λͺ¨λ“  μœ„μΉ˜κ°€ λ‹€μŒ 토큰을 μ •ν™•νžˆ μ˜ˆμΈ‘ν•œλ‹€λ©΄, κ·Έ 닡변은 μ§„μ§œμž…λ‹ˆλ‹€. 단 ν•œ 번의 패슀. λͺ¨λ“  토큰. μ„ ν˜•μ  λΉ„μš©. πŸ“± 원문 보기
303
14
πŸ• 백악관은 κ³ κΈ‰ AI λͺ¨λΈ 평가λ₯Ό μœ„ν•œ 자발적 ν”„λ ˆμž„μ›Œν¬λ₯Ό λ§ˆλ¬΄λ¦¬ν–ˆμŠ΅λ‹ˆλ‹€ Axios에 λ”°λ₯΄λ©΄ 이λ₯Ό κ³΅κ°œν•  κ³„νšμ΄ μ—†μŠ΅λ‹ˆλ‹€. ν”„λ‘œμ„ΈμŠ€μ— μ°Έμ—¬ν•œ 기업듀은 μ„ΈλΆ€ 사항을 λ³Ό 수 μžˆμŠ΅λ‹ˆλ‹€. μ—°κ΅¬μž, μ •μ±… μž…μ•ˆμž, 동맹ꡭ λ“± λ‚˜λ¨Έμ§€
πŸ• 백악관은 κ³ κΈ‰ AI λͺ¨λΈ 평가λ₯Ό μœ„ν•œ 자발적 ν”„λ ˆμž„μ›Œν¬λ₯Ό λ§ˆλ¬΄λ¦¬ν–ˆμŠ΅λ‹ˆλ‹€ Axios에 λ”°λ₯΄λ©΄ 이λ₯Ό κ³΅κ°œν•  κ³„νšμ΄ μ—†μŠ΅λ‹ˆλ‹€. ν”„λ‘œμ„ΈμŠ€μ— μ°Έμ—¬ν•œ 기업듀은 μ„ΈλΆ€ 사항을 λ³Ό 수 μžˆμŠ΅λ‹ˆλ‹€. μ—°κ΅¬μž, μ •μ±… μž…μ•ˆμž, 동맹ꡭ λ“± λ‚˜λ¨Έμ§€ λͺ¨λ‘λŠ” κ²°κ³Όλ₯Ό μ‹ λ’°ν•΄μ•Ό ν•  λΏμž…λ‹ˆλ‹€. λ°”κΉ₯μ—μ„œλŠ” λˆ„κ΅¬λ„ κ²€ν† ν•  수 μ—†λŠ” ν‰κ°€λŠ” 확인이 μ•„λ‹ˆλΌ μ£Όμž₯일 λΏμž…λ‹ˆλ‹€. πŸ“± 원문 보기
346
15
πŸ• 영수증 ν”„λ¦°ν„°κ°€ κ°€λ™λœ μ§€ 24μ‹œκ°„μ΄ μ§€λ‚¬μŠ΅λ‹ˆλ‹€ μ‚¬λžŒλ“€μ€ μ•„λž˜μ™€ 같은 λ‚΄μš©λ“€μ„ ν”„λ¦°νŠΈ ν•˜κΈ°λ„ ν–‡μŠ΅λ‹ˆλ‹€: "λ§₯μ£Ό λ”± λ„€ μž”λ°–μ— μ•ˆ λ§ˆμ…¨μ–΄μš”, μ§„μ§œλ‘œ" Β· NO PROOF ON FILE "μ΄μš©μ•½κ΄€ λ‹€ μ½μ—ˆμ–΄μš”" Β· NO P
πŸ• 영수증 ν”„λ¦°ν„°κ°€ κ°€λ™λœ μ§€ 24μ‹œκ°„μ΄ μ§€λ‚¬μŠ΅λ‹ˆλ‹€ μ‚¬λžŒλ“€μ€ μ•„λž˜μ™€ 같은 λ‚΄μš©λ“€μ„ ν”„λ¦°νŠΈ ν•˜κΈ°λ„ ν–‡μŠ΅λ‹ˆλ‹€: "λ§₯μ£Ό λ”± λ„€ μž”λ°–μ— μ•ˆ λ§ˆμ…¨μ–΄μš”, μ§„μ§œλ‘œ" Β· NO PROOF ON FILE "μ΄μš©μ•½κ΄€ λ‹€ μ½μ—ˆμ–΄μš”" Β· NO PROOF ON FILE "λ‚΄ μ½”λ“œ ν•œ λ²ˆμ— μ„±κ³΅ν–ˆμŒ, λ ˆμ•Œ" Β· NO PROOF ON FILE "μ €λŠ” μ•„μΉ¨ν˜• μΈκ°„μ΄μ—μš”" Β· PROVED 이 κΈ°κ³„λŠ” κ³΅μ •ν•©λ‹ˆλ‹€. 이 κΈ°κ³„λŠ” μ •μ§ν•©λ‹ˆλ‹€. 이 κΈ°κ³„λŠ” μ—¬λŸ¬λΆ„μ„ 기닀리고 μžˆμŠ΅λ‹ˆλ‹€. πŸ“± 원문 보기 | πŸ‘€ ν”„λ¦°νŠΈ κ²½ν—˜ν•˜κΈ°
356
16
πŸ• 였늘 μ•„μΉ¨λΆ€λ‘œ, EUμ—μ„œ AIλŠ” μžκΈ°κ°€ AIμž„μ„ λ°ν˜€μ•Ό ν•©λ‹ˆλ‹€. AI μ½˜ν…μΈ λŠ” ν‘œμ‹œλ₯Ό 달아야 ν•©λ‹ˆλ‹€. λ”₯νŽ˜μ΄ν¬λŠ” 라벨링이 μ˜λ¬΄μž…λ‹ˆλ‹€. μœ λŸ½μ€ AIμ—κ²Œ "영수증"을 μš”κ΅¬ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€. μ €ν¬λŠ” λͺ¨λ‘κ°€ μ˜μˆ˜μ¦μ„ κ°€μ§ˆ 자격이
πŸ• 였늘 μ•„μΉ¨λΆ€λ‘œ, EUμ—μ„œ AIλŠ” μžκΈ°κ°€ AIμž„μ„ λ°ν˜€μ•Ό ν•©λ‹ˆλ‹€. AI μ½˜ν…μΈ λŠ” ν‘œμ‹œλ₯Ό 달아야 ν•©λ‹ˆλ‹€. λ”₯νŽ˜μ΄ν¬λŠ” 라벨링이 μ˜λ¬΄μž…λ‹ˆλ‹€. μœ λŸ½μ€ AIμ—κ²Œ "영수증"을 μš”κ΅¬ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€. μ €ν¬λŠ” λͺ¨λ‘κ°€ μ˜μˆ˜μ¦μ„ κ°€μ§ˆ 자격이 μžˆλ‹€κ³  μƒκ°ν•©λ‹ˆλ‹€. κ·Έλž˜μ„œ λ§Œλ“€μ—ˆμŠ΅λ‹ˆλ‹€. μ–΄λ–€ μ£Όμž₯이든 μž…λ ₯ν•΄λ³΄μ„Έμš” β€” "PROVED" λ˜λŠ” "NO PROOF ON FILE"둜 νŒμ •ν•΄λ“œλ¦½λ‹ˆλ‹€. μ—¬λŸ¬λΆ„μ˜ λ³€λͺ…에 λŒ€ν•΄μ„œλ„ ν•  말이 λ§ŽμŠ΅λ‹ˆλ‹€. 🧾 μ•„λ¬΄κ±°λ‚˜ 영수증으둜 뽑아보기 β†’ http://receipts.lagrange.dev βœ”οΈ 그리고 μ§„μ§œ 증λͺ…이 ν•„μš”ν•œ AI μ‹œμŠ€ν…œμ„ μœ„ν•΄: DeepProveλŠ” λͺ¨λ“  μΆ”λ‘ (inference)λ§ˆλ‹€ μ•”ν˜Έν•™μ  증λͺ…을 μƒμ„±ν•©λ‹ˆλ‹€. μ •ν™•ν•œ λͺ¨λΈ, μ •ν™•ν•œ μž…λ ₯, μ •ν™•ν•œ 좜λ ₯. 1,200만 건 μ΄μƒμ˜ 증λͺ…, μ§€κΈˆλ„ 계속 μŒ“μ΄λŠ” 쀑 β†’ http://lagrange.dev/deepprove πŸ“± 원문 보기
293
17
πŸ• 이제 EUκ°€ AIμ—κ²Œ μ˜μˆ˜μ¦μ„ μš”κ΅¬ν•˜κΈ° μ‹œμž‘ν•©λ‹ˆλ‹€ κ·Έλž˜μ„œ μš°λ¦¬λŠ” 영수증 ν”„λ¦°ν„°λ₯Ό λ§Œλ“€μ—ˆμŠ΅λ‹ˆλ‹€. κΈ°λŒ€ν•΄ μ£Όμ„Έμš”. πŸ“± 원문 보기
πŸ• 이제 EUκ°€ AIμ—κ²Œ μ˜μˆ˜μ¦μ„ μš”κ΅¬ν•˜κΈ° μ‹œμž‘ν•©λ‹ˆλ‹€ κ·Έλž˜μ„œ μš°λ¦¬λŠ” 영수증 ν”„λ¦°ν„°λ₯Ό λ§Œλ“€μ—ˆμŠ΅λ‹ˆλ‹€. κΈ°λŒ€ν•΄ μ£Όμ„Έμš”. πŸ“± 원문 보기
327
18
πŸ• 인터넷은 μ˜€λž«λ™μ•ˆ "이거 AIκ°€ λ§Œλ“  κ±°μ•Ό?"λΌλŠ” μ§ˆλ¬Έμ— λ§€λ‹¬λ €μ™”μŠ΅λ‹ˆλ‹€. μ–΄λ–»κ²Œ 보면 이건 잘λͺ»λœ μ§ˆλ¬Έμž…λ‹ˆλ‹€. μ§„μ§œ μ§ˆλ¬Έμ€: "κ·Έκ±Έ 증λͺ…ν•  수 μžˆλŠ”κ°€?"μž…λ‹ˆλ‹€. @Adobeκ°€ 이제 λ°”λ‘œ κ·Έ μ˜¬λ°”λ₯Έ μ§ˆλ¬Έμ„ μ€‘μ‹¬μœΌλ‘œ κ΅¬μΆ•λœ
πŸ• 인터넷은 μ˜€λž«λ™μ•ˆ "이거 AIκ°€ λ§Œλ“  κ±°μ•Ό?"λΌλŠ” μ§ˆλ¬Έμ— λ§€λ‹¬λ €μ™”μŠ΅λ‹ˆλ‹€. μ–΄λ–»κ²Œ 보면 이건 잘λͺ»λœ μ§ˆλ¬Έμž…λ‹ˆλ‹€. μ§„μ§œ μ§ˆλ¬Έμ€: "κ·Έκ±Έ 증λͺ…ν•  수 μžˆλŠ”κ°€?"μž…λ‹ˆλ‹€. @Adobeκ°€ 이제 λ°”λ‘œ κ·Έ μ˜¬λ°”λ₯Έ μ§ˆλ¬Έμ„ μ€‘μ‹¬μœΌλ‘œ κ΅¬μΆ•λœ μƒνƒœκ³„μ˜ 일원이 λ˜μ—ˆμŠ΅λ‹ˆλ‹€. ν™˜μ˜ν•©λ‹ˆλ‹€. πŸ“± 원문 보기 | πŸ‘€ μƒνƒœκ³„ 보기
412
19
πŸ• Anthropic이 이제 νšŒμ‚¬ μ°¨μ›μ—μ„œ νŽ˜μ΄μ‹± λ ˆν„°(pacing letter)λ₯Ό μ§€μ§€ν•˜κ³  λ‚˜μ„°μŠ΅λ‹ˆλ‹€ OpenAIλŠ” 세계가 κ²°κ΅­ ν”„λ‘ ν‹°μ–΄ AI 개발 속도λ₯Ό λŠ¦μΆ°μ•Ό ν•  μˆ˜λ„ μžˆλ‹€κ³  λ§ν•˜κ³  있고, μžμ‚¬ 직원 1,224λͺ…이 μ„œ
πŸ• Anthropic이 이제 νšŒμ‚¬ μ°¨μ›μ—μ„œ νŽ˜μ΄μ‹± λ ˆν„°(pacing letter)λ₯Ό μ§€μ§€ν•˜κ³  λ‚˜μ„°μŠ΅λ‹ˆλ‹€ OpenAIλŠ” 세계가 κ²°κ΅­ ν”„λ‘ ν‹°μ–΄ AI 개발 속도λ₯Ό λŠ¦μΆ°μ•Ό ν•  μˆ˜λ„ μžˆλ‹€κ³  λ§ν•˜κ³  있고, μžμ‚¬ 직원 1,224λͺ…이 μ„œλͺ…ν•˜λ©° "이걸 μ‹€ν–‰ν•  μˆ˜λ‹¨μ„ 달라"κ³  μš”μ²­ν–ˆμŠ΅λ‹ˆλ‹€. 이게 이 λ ˆν„° 전체λ₯Ό λ– λ°›μΉ˜κ³  μžˆλŠ” μ…ˆμž…λ‹ˆλ‹€. 경쟁 랩(rival lab)듀은 μ„œλ‘œμ˜ "속도 λŠ¦μΆ”κ² λ‹€"λŠ” 말을 κ·Έλƒ₯ λ―Ώμ§€ μ•Šμ„ κ²λ‹ˆλ‹€. 그리고 이 약속은 랩 μ™ΈλΆ€μ—μ„œ 검증 κ°€λŠ₯ν•΄μ•Όλ§Œ μ˜λ―Έκ°€ μžˆμŠ΅λ‹ˆλ‹€ β€” μ •μ±… 문제이기 전에 μ•”ν˜Έν•™(cryptography)의 문제인 μ…ˆμ΄μ£ . 당신은 λˆ„κ΅¬μ˜ "속도 λŠ¦μΆ”κ² λ‹€"λŠ” μ£Όμž₯을 μ‹€μ œλ‘œ λ―ΏμœΌμ‹œκ² μŠ΅λ‹ˆκΉŒ, 그리고 κ·Έκ±Έ 믿으렀면 무엇이 ν•„μš”ν• κΉŒμš”? πŸ“± 원문 보기
488
20
πŸ• 역사상 κ°€μž₯ 큰 μ˜€ν”ˆ μ›¨μ΄νŠΈ λͺ¨λΈμ΄ 어젯밀에 κ³΅κ°œλ˜μ—ˆμŠ΅λ‹ˆλ‹€ Kimi K3: 2.8μ‘° 개의 νŒŒλΌλ―Έν„°, λˆ„κ΅¬λ‚˜ 무료둜 λ‹€μš΄λ‘œλ“œ κ°€λŠ₯ν•©λ‹ˆλ‹€. λ‹€μš΄λ‘œλ“œλŠ” 1.4 ν…ŒλΌλ°”μ΄νŠΈμž…λ‹ˆλ‹€. κ·Έλž˜μ„œ λŒ€λΆ€λΆ„μ˜ μ‚¬λžŒλ“€μ—κ²Œ "μ˜€ν”ˆ μ›¨μ΄νŠΈ"λŠ” λ‹€
πŸ• 역사상 κ°€μž₯ 큰 μ˜€ν”ˆ μ›¨μ΄νŠΈ λͺ¨λΈμ΄ 어젯밀에 κ³΅κ°œλ˜μ—ˆμŠ΅λ‹ˆλ‹€ Kimi K3: 2.8μ‘° 개의 νŒŒλΌλ―Έν„°, λˆ„κ΅¬λ‚˜ 무료둜 λ‹€μš΄λ‘œλ“œ κ°€λŠ₯ν•©λ‹ˆλ‹€. λ‹€μš΄λ‘œλ“œλŠ” 1.4 ν…ŒλΌλ°”μ΄νŠΈμž…λ‹ˆλ‹€. κ·Έλž˜μ„œ λŒ€λΆ€λΆ„μ˜ μ‚¬λžŒλ“€μ—κ²Œ "μ˜€ν”ˆ μ›¨μ΄νŠΈ"λŠ” λ‹€λ₯Έ μ‚¬λžŒμ˜ 볡사본에 λŒ€ν•œ APIλ₯Ό μ˜λ―Έν•  κ²ƒμž…λ‹ˆλ‹€. λ ˆμ‹œν”ΌλŠ” 읽을 수 μžˆμŠ΅λ‹ˆλ‹€. ν•˜μ§€λ§Œ μ—¬μ „νžˆ 주방은 λ³Ό 수 μ—†μŠ΅λ‹ˆλ‹€. μ˜¬λ°”λ₯Έ λͺ¨λΈ, μ˜¬λ°”λ₯Έ μž…λ ₯, μ˜¬λ°”λ₯Έ 좜λ ₯. DeepProveλŠ” 그것을 증λͺ… κ°€λŠ₯ν•˜κ²Œ λ§Œλ“­λ‹ˆλ‹€. μ›¨μ΄νŠΈλ₯Ό μ—΄κ³ , κ·Έ λ‹€μŒ 증λͺ…을 μ—΄λ•Œ μž…λ‹ˆλ‹€. πŸ“± 원문 보기
448