Name: Elf Tage, 13 Millionen Zeilen Lean-Code und 30.300 computergeprüfte Theoreme: Claude hat den ersten
Uploaded: 2026-09-20T10:29:49+00:00
Duration: 78 s
Channel: @max_froehlich
Description: TikTok video by @max_froehlich: 15,600 views, 979 likes, 19 comments, 15 shares, 108 saves. Engagement 6.49%.

tokgauge/ @max_froehlich / video10 / 11Esc