Atomic seems almost certainly forced win for white, but can we solve it like we did with checker or renju? Maybe we can only consider powerful first moves like 1.Nf3 to prove white can force a win, if it actually is, which is very likely.
https://belzedar.duckdns.org/atomicdb/
It has already been started.