Comment by vatsachak

o3 already had this priced in amongst many mathematicians I talked to at conferences