In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results