Illustrating the AI proof of the Mahler conjecture

(chessapig.github.io)

1 points | by lukasschwab 7 hours ago ago