Aran Nayebi(@aran_nayebi):Ok update, yes *this* updates my timelines! https://t.co/M7GStbzIjB Rational Hodge over CM abelian varieties is true (032) and BSD for a density-one set (002 & 006). Also Hilbert's tenth problem over Q is false (004), just as everyone expected, but we didn't have a proof for!

Aran Nayebi

@aran_nayebi

Asst Prof @CarnegieMellon Machine Learning (@mldcmu @SCSatCMU) | @BWFUND CASI Fellow | Building a Natural Science of Intelligence 🧠🤖 | Prev: @MIT, @Stanford

参加 June 2010

3.3K フォロー中 7K ファン

Aran Nayebi@aran_nayebi

2026.10.06 22:40

Ok update, yes *this* updates my timelines! Rational Hodge over CM abelian varieties is true (032) and BSD for a density-one set (002 & 006). Also Hilbert's tenth problem over Q is false (004), just as everyone expected, but we didn't have a proof for!