先日、xAIのエンジニアであるHieu Pham氏がソーシャルメディアで衝撃的なニュースを発表しました。xAIの大規模言語モデルGrok3がリーマン予想を解明したと主張し、モデルの訓練を一時停止したとのことです。このニュースは瞬く間にAI業界で話題となり、ネットユーザーは驚きを隠せず、真偽を確かめるのに苦労しました。リーマン予想はミレニアム懸賞問題の一つであり、「予想界の王冠」と呼ばれるほど困難な問題であることは周知の事実です。数時間後、Pham氏は別の投稿で、これは冗談だったと明かしました。