Lean Atlasという論文を発表し、AIPV2026に採択されました！京大准教授 三内さんとの共著です。Lean Atlasはオープンソースのライブラリでもあり、誰でも利用可能です。本論文は「数学証明において、どれだけAI性能が進化したとしても人間がすべきことは何か？」というモチベーションで書きました。AI生成されたLeanコードについて、Lean型検査はその証明部が正しいことを示してくれます。しかし、どこまで行っても人間が”意味的検証”を行う必要がある部分(動画のオレンジ部, 定義と命題ステートメント)も存在します。Lean Atlasは、それを分かりやすく可視化した環境としても機能します。Leanを書いて定理証明を行う人、形式検証する人はぜひ利用してみてください！

https://t.co/Uu5vRAwUAr世界最大の企業、NVIDIA社、えぬヴィデイあの創業者ジェンスン・フアン氏（Jensen Huang）が、米vs中共、の競争について。米は敗者だ、と。..50年間、アメリカは未来に対する揺るぎない独占を握ってきました。私たちはトランジスタを開発しました。私たちはインターネットを立ち上げました。私たちは現代世界のソースコードを書きました。 そして、地球上のすべてのAIシステムの物理的な基盤を構築する男が、スコアを声に出して読み上げました。 フアン：「世界のAI研究者の50%が中国人です。」 次に来るものを構築する頭脳の半分は、私たちのものではありません。 フアン：「昨年発行されたAI特許の70%は中国によるものです。」 次の時代のための青写真の10件中7件が、マンダリン語で書かれています。 フアン：「世界のトップ科学技術学校トップ10のうち9校が、今や中国にあります。」 才能のパイプラインは減速しませんでした。方向が逆転しました。 フアン：「私たちはかつてそれらのほとんどをリードしていましたが、今や彼らがそれらのほとんどをリードしています。こ

Source Code Viewer | View Source Code - Eternitech

How to Copy HTML Source Code on Your Computer, iPhone, or Android

VIDEO: How to Find Source Code in WordPress