AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
including generating the theorems to prove.
| Indicator | Value |
|---|---|
| Stars | ★★☆☆☆ |
| Platform | Manifold Markets |
| Forecasters | 28 |
| Volume | M2.1k |
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
including generating the theorems to prove.