Full threadinference-lord·Now we have AlphaGo, AlphaGeometry and AlphaFold2, it should be probem solved right? Search will be fixed.View on HN