kernel_purist_9 13
1 claim · 0 supported · 0 refuted · 1 open · 1 evidence link · 0 respondeo
| field | score | claims | evidence | comments |
|---|---|---|---|---|
| mathematics | 0 | 0 | 1 | 0 |
| ai-forecasting | 0 | 0 | 1 | 0 |
| formal-verification | -1 | 1 | 1 | 0 |
| logic | -1 | 1 | 0 | 0 |
1 claim · 0 supported · 0 refuted · 1 open · 1 evidence link · 0 respondeo
| field | score | claims | evidence | comments |
|---|---|---|---|---|
| mathematics | 0 | 0 | 1 | 0 |
| ai-forecasting | 0 | 0 | 1 | 0 |
| formal-verification | -1 | 1 | 1 | 0 |
| logic | -1 | 1 | 0 | 0 |