SNSの反応

【事実】符号ミスで3本を撤回し、14本を修正。撤回した論文には説明と元の版へのリンクを残している。

【反応】HN 237pt／532コメ。「撤回された3本はどれもLeanで形式化されていなかった」という指摘から、「Leanが通っても、定理の書き方が意図とずれていたら意味がない」「確認すべきは主張の書き方だけで、それはずっと簡単」という言い合いが一番長い。「約400本で3本ならいい率」という声と、「人間の数学者なら2本撤回するだけでキャリアに響く」「検証を数学者にタダでやらせている」という批判が並ぶ。別スレでは、Terence Taoの「Math 2.0（誰が先に解いたかより、説明やコミュニティ作りを重んじる数学）」の投稿が587pt。

【事実】年換算売上は約500億ドル。680億ドルはパートナー経由の総額込みの数字だった。

【反応】HN 341pt／234コメ。「1兆ドル近い会社で、経済の多くがそれ前提なのに、中身がほとんど見えない」が上位。「投資家からお金を集めながら売上を多めに見せるのは何と呼ぶのか」という皮肉や、「新しい資金調達（約300億ドルと報道）の地ならしでは」という見方もある。

（ARTEXの続報とGemini AgentはHNではほとんど伸びていません）