Illustrating the AI proof of the Mahler conjecture

(chessapig.github.io)

1 points | by lukasschwab 8 hours ago ago