formal-verification
| トピック | 返信 | 表示 | アクティビティ | |
|---|---|---|---|---|
| Google DeepMindのAIエージェントが、未解決のエルデシュ問題9つを解決し、44件のOEIS予想も証明。各証明あたり数百ドルの費用がかかる |
|
0 | 12 | 2026 年 5 月 25 日 |
| トピック | 返信 | 表示 | アクティビティ | |
|---|---|---|---|---|
| Google DeepMindのAIエージェントが、未解決のエルデシュ問題9つを解決し、44件のOEIS予想も証明。各証明あたり数百ドルの費用がかかる |
|
0 | 12 | 2026 年 5 月 25 日 |