なるせあおとです i: #おんなのこをつくろう。 h: @namiki_oekaki
ふりじあんこーど
Joined November 2016
- Tweets43.7K
- Following942
- Followers773
- Likes213K
なるせ retweeted
定期的に言っておかないと。オトナプリキュアは元々は環境テーマの完全オリジナル作品をを作ってとNHKが東映に依頼したら、東映側が無理矢理それをプリキュアキャラものに変えて押し込んだもの。だから申し訳ないがあのアニメに余分だったものは環境問題テーマの方でなくプリキュア要素の方。
Readers added context they thought people might want to know
公式の説明は「NHKからSDGs関連の提案があり、双方で企画を持ち寄ってプリキュアの大人向け作品として実現した」という表現です。
投稿者の「強引に当てはめた」という表現は、この公式経緯を踏まえた上での個人的な解釈・強調表現と考えられます。
mantan-web.jp/article/202303…
なるせ retweeted
数学者はパニックする状況ではありません。むしろ「嬉しい！」でしょう。投稿者も自分でリプライしていますが、もともと、これを人力でやるプロジェクトが進んでいて、膨大な作業量が必要で計算機の補助がほしいと思っていたら本当にやってくれたのです。
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
なるせ retweeted
今まで囲碁民が辿り着けなかった言語化の領域まで、超スピードで進むのが面白すぎて。
「囲碁が流行ってない理由」をツイートしてたの2週間前だよ。。。
teapaw.org/mochi_plus/status/2110…
