Sharif Shameem

@sharifshameem

我用 astra 复刻了 Adobe Lightroom,并且(就我用到的功能而言)已达到完整功能对等。
打开原帖#511482
  1. 产业

    Santiago Valdarrama:AI 工程远不止学会如何给模型写提示。
  2. 产业

    Tomasz Tunguz:并非所有约束都是拦路虎。许多是调节器。
  3. 产业

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