Massimo Dacasto (Sep 04 2025 at 08:54): Massimo Dacasto (Sep 04 2025 at 08:54):
Hello.
I am keen on the topological game with very few and very simple rules of Hex (of which Einstein had a gameboard on his desk in Princeton, contemporary computing did not exist in his time). I dream of proving my conjecture by being quoted. “Artificial intelligence discovers the winning strategy of Hex on an arbitrary-sized board after working out the winning strategies on boards of several sizes.” If you have not got powerful enough hardware to demonstrate the conjecture do you at least use high-performance computing to completely walk through the game tree part (simple theory of games concept) related to a cell on the board with the 4 sides 9 hexagons long depicted at http://webdocs.cs.ualberta.ca/~hayward/hex/?
Will you have Isabelle include my conjecture in the Langlands program, citing me?
I must be informed of any costs.
Last updated: Sep 13 2025 at 12:36 UTC