RT @logic_int: 🚀 Aleph の証明者がビースト モードになりました 20年以上も解けなかった数学の問題4問。Lean 4による正式な証明を48時間以内に。未解決のまま…
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
Yann LeCun（@ylecun）のスレッド
1 件のツイート · 2025/12/02 22:37
作者情報
NYU教授。MetaのチーフAIサイエンティスト。
AI、機械学習、ロボティクス等の研究者。
ACMチューリング賞受賞者。
1 件のツイート·Tue Dec 02 22:37:43
JA に翻訳済み