If you're looking for a way to make your next get-together with family and friends more fun, engaging and even educational, ...
In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.