anthropics / anthropics/formal-math
question 54
オープン
- 主要言語
- Lean
- スター
- 239
- フォーク
- 46
- 平均マージ
- 1日 19時間
- マージ済み PR（30日）
- 7
説明
Hello,
In the post about Claude's work on the Riemann hypothesis, Anthropic mentions that Claude downloaded 54 arXiv papers to check whether its result had already been published. Is the complete list of those 54 papers publicly available? If so, could you provide the titles, authors, arXiv IDs, or a bibliography file?
Thank you.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。