「Leanが気になるけど、証明とかできて何がうれしいの？」って感じている人も少なくないと思います。すっきり答えられる見識が自分にあるわけではないのですが、証明といっても特に身構える必要はないと思うよ、という話をします。題材は「TeXの展開処理」です（そもそも本記事は「TeX ＆ LaTeX Advent Calendar 2025」...
アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース
漢検公式アカウントがAI生成を使う→誤字に気付かず発信してしまう「誤字というか存在しない漢字？」「公式として一番やったらあかんミスやな」
「Cloudflare OS」のマネージドサービス提供へ。GitHubとの接続やGmailとの連携強化など
カバー株式会社、例のラプラス・ダークネスさんの投稿について経緯を説明
OpenAIのmisalignment reportsを読む：「GETだけ許可」の社内モデルはどう制限を越え、どう見つかったか
まだコメントはありません。
コメントを送信しました。
AIニュース
