Will more than 2 people get a corona infection right after attending the Lesswrong Community weekend 2023?