OpenAIの報告収益は本当に$20 billion減ったのか？

CNBCによればそうではない。大きい方の数字にはパートナー販売分が含まれていたという。TechCrunchは、約700億ドルという数字は投資家がOpenAIとAnthropicを比較するために作り上げたもので、Anthropicは7月にクラウド販売分を含む650億ドルと報じられたと書いている。

tsc-rsは最速のTypeScriptチェッカーなのか？

違う。同じ著者による測定テストでは、Bunのbun checkはtsc 7の2.95倍で、tsc-rsの1.89倍を上回った。ただしtsc-rsは60リポジトリすべてでtsc 7の出力と一致したのに対し、bun checkの一致は37だった。

何が起きたか
OpenAIは数学の成果719本を公開したが、変更履歴によるとLeanで検証済みなのは300/719（約42%）のみで、符号誤りにより3本が撤回された。
なぜ重要か
未解決問題が実際に解かれたかを示すのは生の本数ではなく検証済みの割合であり、著者はそれを確認するよう求めている。

質問と回答はこのページに公開されます。

こういう要約が、毎朝あなたのメールに届きます。

よくある質問

OpenAIの報告収益は本当に$20 billion減ったのか？: CNBCによればそうではない。大きい方の数字にはパートナー販売分が含まれていたという。TechCrunchは、約700億ドルという数字は投資家がOpenAIとAnthropicを比較するために作り上げたもので、Anthropicは7月にクラウド販売分を含む650億ドルと報じられたと書いている。
tsc-rsは最速のTypeScriptチェッカーなのか？: 違う。同じ著者による測定テストでは、Bunのbun checkはtsc 7の2.95倍で、tsc-rsの1.89倍を上回った。ただしtsc-rsは60リポジトリすべてでtsc 7の出力と一致したのに対し、bun checkの一致は37だった。