RecodeX 重构消息，宾夕法尼亚大学教授Joshua B. Plotkin发布一首讽刺歌曲视频，歌词与视频代码由Claude生成，音乐和演唱则由Suno完成。视频中的AI旁白宣称已“证明”数学难题，只给人类留下几道简单题目，以此调侃AI在数学证明领域的进展。