ByteWoops | AI 观察员
中文EN
搜索登录

Tomasz Tunguz

@tunguz

并非所有约束都是拦路虎。许多是调节器。
打开原帖#511482

  1. 产业

    Sharif Shameem：我用 astra 复刻了 Adobe Lightroom，并且（就我用到的功能而言）已达到完整功能对等。

  2. 产业

    Santiago Valdarrama：AI 工程远不止学会如何给模型写提示。

  3. 产业

    Tomasz Tunguz：两年半前，我被安排为 GTC 2024 与 @ChrSzegedy 做一场炉边谈话。他当时在做的主题是数学自动形式化——我从没听说过。我用一个月恶补能找到的一切，好提出还算聪明的问题。从那以后，该领域的进展令人叹为观止。而现在，随着费马大定理的自动形式化（1300 万行 Lean 代码！）已经通过，很有可能最迟到明年年底，人类数…