熱平衡化するかしないか、それが決定不能な問題だ統計力学・スピン・チューリングマシン、難解の大決闘 – 素粒子から宇宙まで

2021年8月24日、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明」したと発表しました。「熱平衡化」とは何でしょう。「解決不可能な問題であることを証明」とは、結局何かを解決したのでしょうか、それともしてないのでしょうか。