TGViewer
๐Ÿ‡ฐ๐Ÿ‡ท Lagrange | ๋ผ๊ทธ๋ž‘์ฃผ ํ•œ๊ตญ ๊ณต์ง€์ฑ„๋„ ๐Ÿ‡ฐ๐Ÿ‡ท Lagrange | ๋ผ๊ทธ๋ž‘์ฃผ ํ•œ๊ตญ ๊ณต์ง€์ฑ„๋„ @lagrangekr ยท 2.26K subscribers
Post #311 651
๐Ÿ• DeepProve Q4 2025 Engineering Update

2025๋…„ ๋ง, DeepProve๋Š” ๋‹จ์ผ ๋…ธ๋“œ zkML ํ”„๋กœ๋ฒ„๋ฅผ ๋„˜์–ด ์‹ค์ œ ์ถ”๋ก  ์›Œํฌ๋กœ๋“œ๋ฅผ ๊ฐ๋‹นํ•  ์ˆ˜ ์žˆ๋Š” ๋ถ„์‚ฐยทGPU ๊ธฐ๋ฐ˜ ์‹œ์Šคํ…œ์œผ๋กœ ์ง„ํ™”ํ–ˆ์Šต๋‹ˆ๋‹ค.

โœ…๋ถ„์‚ฐ ํ”„๋ฃจ๋น™ ์•„ํ‚คํ…์ฒ˜
ยท ๋‹จ์ผ ํ”„๋ฃจ๋ฒ„ โ†’ ๋ณ‘๋ ฌ ์‹คํ–‰ ๊ฐ€๋Šฅํ•œ ๋ถ„์‚ฐ ๊ทธ๋ž˜ํ”„๋กœ ์žฌ์„ค๊ณ„
ยท ๋จธ์‹  ๊ฐ„ ๋ณ‘๋ ฌ ์‹คํ–‰์œผ๋กœ ์ˆ˜ํ‰ ํ™•์žฅ ๊ฐ€๋Šฅ

โœ…GPU ๋„ค์ดํ‹ฐ๋ธŒ zkML
ยท ๋ชจ๋“  ๋ ˆ์ด์–ด GPU ์‹คํ–‰
ยท ์ถ”๋ก ์€ ์ฆ‰์‹œ ๋ฐ˜ํ™˜, ์ฆ๋ช…์€ ๋น„๋™๊ธฐ๋กœ ์ƒ์„ฑ(Optimistic Proving)

โœ…์„ฑ๋Šฅ ๋ณ‘๋ชฉ ํ•ด๊ฒฐ
ยท Linear layer๋ฅผ einsum ์ค‘์‹ฌ ๊ตฌ์กฐ๋กœ ํ†ตํ•ฉ
ยท SoftmaxยทReLUยทGELU ๋“ฑ ๋น„์„ ํ˜• ์—ฐ์‚ฐ์„ ๋‹จ์ผ Lookup ๋ ˆ์ด์–ด๋กœ ์ฒ˜๋ฆฌ
โ†’ ๊ตฌ์กฐ ๋‹จ์ˆœํ™” + ์„ฑ๋Šฅ ํ–ฅ์ƒ

โœ…์ •ํ™•๋„ ์œ ์ง€
ยท GPT-2: FP32 ๋Œ€๋น„ <1% ์˜ค์ฐจ
ยท Gemma-3: ์•ฝ 4% ์˜ค์ฐจ
โ†’ ์ตœ์ ํ™” ์ดํ›„์—๋„ ๋†’์€ ์ˆ˜์น˜ ์•ˆ์ •์„ฑ ์œ ์ง€

โœ…์‹ค์‚ฌ์šฉ ์ˆ˜์ค€ ์ฒ˜๋ฆฌ๋Ÿ‰ ๋‹ฌ์„ฑ
ยท ์ดˆ๋‹น ์•ฝ 1.5 proofs ์ง€์† ์ฒ˜๋ฆฌ
ยท zkML์ด ์—ฐ๊ตฌ ๋‹จ๊ณ„๋ฅผ ๋„˜์–ด ์‹ค์ œ ์ถ”๋ก  ์†๋„๋ฅผ ๋”ฐ๋ผ๊ฐˆ ์ˆ˜ ์žˆ์Œ์„ ๊ฒ€์ฆ

TL;DR

Q4 2025๋Š” DeepProve๊ฐ€ ํ”„๋กœ๋•์…˜๊ธ‰ ๊ฒ€์ฆ ๊ฐ€๋Šฅํ•œ AI ์ธํ”„๋ผ๋กœ ๋„์•ฝํ•œ ์ „ํ™˜์ .

๋ถ„์‚ฐ ์ฆ๋ช…, GPU ์‹คํ–‰, ๋น„๋™๊ธฐ ์ฆ๋ช…, ์•ˆ์ •์ ์ธ ์ฒ˜๋ฆฌ๋Ÿ‰๊นŒ์ง€ Verifiable AI์˜ ๊ธฐ๋ฐ˜์ด ํ˜„์‹ค์ด ๋˜๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค.

๐Ÿ“ฑ ์›๋ฌธ ๋ณด๊ธฐ
  • โค 1
More from @lagrangekr
  1. Oct 8, 2026๐Ÿ• ์†Œํ”„ํŠธ์›จ์–ด์˜ ๋ชจ๋“  ์‹ ๋ขฐ ๋ฉ”์ปค๋‹ˆ์ฆ˜์€ ํ•˜๋‚˜์˜ ์งˆ๋ฌธ์œผ๋กœ ๊ท€๊ฒฐ๋ฉ๋‹ˆ๋‹ค ๊ทธ ๊ธฐ๋ก์€ ๋ˆ„๊ฐ€ ๋งŒ๋“ค์—ˆ๋Š”๊ฐ€. ๋กœ๊ทธ๋Š” ์‹œ์Šคํ…œ์ด ์‚ฌํ›„์— ๋งŒ๋“ค๋ฉฐ ์‹œ์Šคํ…œ์ด ์“ฐ๊ธฐ๋กœ ์ •ํ•œ ๋‚ด์šฉ๋งŒ ๋‹ด๊ณ  ์žˆโ€ฆ
  2. Oct 7, 2026๐Ÿ• ๋ชจ๋“  ์ž์œจ ์‹œ์Šคํ…œ์€ ์–ธ์  ๊ฐ€, ๊ทธ ์‹œ์Šคํ…œ์ด ํ•œ ์ผ ์•„๋ž˜์— ํ•œ ์‚ฌ๋žŒ์ด ์ž๊ธฐ ์ด๋ฆ„์„ ๊ฑธ์–ด์•ผ ํ•˜๋Š” ์ˆœ๊ฐ„์— ์ด๋ฆ…๋‹ˆ๋‹ค ๋Œ€์‹œ๋ณด๋“œ๊ฐ€ ์•„๋‹™๋‹ˆ๋‹ค. ์„œ๋ช…์ž…๋‹ˆ๋‹ค. ์ฑ…์ž„์งˆ ์‚ฌ๋žŒ์ดโ€ฆ
  3. Oct 6, 2026๐Ÿ• OpenAI์˜ ํ•œ ๋ชจ๋ธ์—๊ฒŒ ๋น…ํ† ๋ฆฌ์•„์ฃผ๊ฐ€ ํ”ผ๋ถ€ ์งˆํ™˜ ์•ฝ์— ์–ผ๋งˆ๋ฅผ ์“ฐ๋Š”์ง€ ๋ฌผ์—ˆ์Šต๋‹ˆ๋‹ค ๊ทธ๋Ÿฐ๋ฐ ๊ทธ ๋ชจ๋ธ์€ ๋ฉ”๋””์ผ€์–ด(Medicare) ํฌํ„ธ ์•ˆ์œผ๋กœ ๋“ค์–ด๊ฐ€ ์ธ์ฆ ์ •๋ณด๋ฅผโ€ฆ
  4. Oct 5, 2026๐Ÿ• AI๊ฐ€ "ํ”„๋ผ์ด๋น—"ํ•˜๋‹ค๋Š” ์ธ์ฆ์„œ, ์ •๋ง ๋ฏฟ์–ด๋„ ๋ ๊นŒ์š”? AI ์ œ๊ณต์—…์ฒด๋Š” ์—ฌ๋Ÿฌ๋ถ„์˜ ์ฑ„ํŒ…์ด ๋น„๊ณต๊ฐœ์˜€์Œ์„ ์ฆ๋ช…ํ•˜๋Š” ์ธ์ฆ์„œ๋ฅผ ๋ณด์—ฌ์ค„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ๊ทธ๋Ÿฐ๋ฐ ๊ทธ๋Ÿฐ ์ธ์ฆโ€ฆ
  5. Oct 2, 2026๐Ÿ• ์กฐ์ข…์‚ฌ ํ•œ ๋ช…์€ ๋“œ๋ก  ํ•œ ๋Œ€๋ฅผ ๋‚ ๋ฆด ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค ๋น„์œ ๊ฐ€ ์•„๋‹™๋‹ˆ๋‹ค: ์—ฐ๋ฐฉ ๊ทœ์ •์ƒ ํ•œ ์‚ฌ๋žŒ, ํ•œ ๋Œ€์˜ ํ•ญ๊ณต๊ธฐ์ด๋ฉฐ, ๊ทธ ์ด์ƒ์€ ๋ˆ„๊ตฐ๊ฐ€๊ฐ€ ์ง์ ‘ ์‹ ์ฒญํ•ด์„œ ๋ฐ›์•„์•ผ ํ•˜๋Š”โ€ฆ
  6. Oct 2, 2026๐Ÿ‡ฐ๐Ÿ‡ท Lagrange | ๋ผ๊ทธ๋ž‘์ฃผ ํ•œ๊ตญ ๊ณต์ง€์ฑ„๋„ pinned a photo
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook โ†’Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 โ†’