数学コミュニティがOpenAIの数学文書の改訂に乗り出した
Oai-math-revised: a community hub for revising OpenAI's math write-ups
OpenAIが公開した数学の文書は理解しづらく、引用も不完全なことがある。そこで数学コミュニティが、学生から教授、愛好家まで誰でも参加できる改訂プロジェクト「oai-math-revised」を立ち上げた。GitHub上で誰でも閲覧・提案でき、レビュー担当者の募集も行っている。
OpenAIの数学文書は理解しづらく、引用が不完全なことがある。
HNでの議論
27- sdenton4
数学には新しい真理状態が必要な気がする：「検証済みだが証明されていない」— 形式的検証によって真であることがわかっているが、一貫した証明がない結果のためのものだ。
一般的に、この状態はすぐに「証明済みかつ検証済み」に解消されると思う（数学の歴史的傾向として、結果の複雑な最初の証明があり、その後新しいツールや定義が利用可能になるにつれて証明の複雑さが大幅に減少する）。しかし、ブルートフォースで検証された結果に対して合理的な証明を生み出した誰か/何かに実際の功績を割り当てるのには依然として有用かもしれない。
- vishna
これはOpenAIなどがPhD学生から無給インターンを得るバージョンだ
- turzmo
数学者がこれまで形式化で自らの墓を掘ることを楽しんでいなかったなら、今度は自らの無名の集団墓地を掘ることを楽しむかもしれない？