Another Frontier Math Problem Solved: Prediction Markets & Forecast