Home/ForecastingWill an AI solve any important mathematical conjecture before January 1st, 2030?Matthew Barnett·Manifold Markets·Forecasting·March 16, 202399% — undefined traders, $90546 volumeRead full article →Related ArticlesWhat do AI assistants tell users about tobacco harm reduction? by Kristof RedeiKristof Redei · Nuno Sempere · 2h agoNearly 8 Billion Male Chicks Culled Per Year: A Transparent Global Estimate (Faunalytics) by JLRiediJLRiedi · Nuno Sempere · 3h ago34% of the US public is now aware of AI xrisk, and the curve is steepening by OttoOtto · Nuno Sempere · 6h agoNew Research: Climate Mitigation is Overlooked by EA by Dan SteinDan Stein · Nuno Sempere · 1d agoWill any non-astronaut be "commuting to the moon" before 2040?Panfilo · Manifold Markets · 2d ago