バイブコーディングの場合、人々はコンピュータサイエンスを学んでいないのでしょうか？それとも、実際にバイブコーディングをしながら、同時にLLMで抽象的なコンピュータサイエンスの概念を解説してもらっていて、すべてがより速く進… 続きを読む »
投稿者「qqjjmas01」のアーカイブ
しかし、LLMが数学者にとって有用な検証可能な証明を生成できるようになったのは、ごく最近のことです。ソフトウェア検証やハードウェア検証において、ある程度の検証が可能になり始めています。 しかし、今後数年間のトレンドを予測… 続きを読む »
本当に素晴らしい応用分野がたくさんあると思います。目指すべきことの一つは、証明可能な安定性、安全性、そしてハッキング不可能なソフトウェアを持つことです。ソフトウェアに関する数学的な証明を書いて、「このコードは、これらのユ… 続きを読む »
真のAGIがあれば、人間ができることは何でもできるでしょう。つまり、創造的な数学者がやっているようなこともできるようになるでしょう。しかし、それができなくても、証明を徹底的にRLVRすることができれば、数学者にとって本当… 続きを読む »
例えば、脳のエネルギー効率の本当の理由は何なのでしょうか？ 実推論をしているのか、それとも償却推論をしているのか、それとも何か他のことをしているのか？ これらはすべて神経科学によって答えられます。難しい問題ではありますが… 続きを読む »
最初のゲノム解析には30億ドルかそこら、塩基対1つあたり約1ドルかかったと指摘しました。その後、国立ヒトゲノム研究所が資金調達プロセスを適切に構築し、多くの企業にコスト削減を競わせました。そして、10年でコストは100万… 続きを読む »
ヒトゲノム計画から得られる教訓は何でしょうか？一つの見方としては、それは間違いだった、たった一つのゲノムをマッピングするのに数十億ドルも費やすべきではなかった、というものです。むしろ、数百ドルでゲノムマッピングを可能にし… 続きを読む »
マウスの脳1個、つまり最初のマウス脳コネクトームを取得するには数十億ドル規模のプロジェクトが必要になるとのことです。マウス1個のコネクトームを数千万ドル規模まで引き下げることを目指しています。 これは哺乳類の脳です。人間… 続きを読む »
ステアリングサブシステムについても、非常に基本的なことについて考えます。ドーパミン信号やステアリングサブシステム信号、思考評価因子などには何種類あるか…どのような大まかなカテゴリには何種類あるか？視床下部には皮質よりも多… 続きを読む »
私たちがすべきだと思うのは、脳を、ゴールデンゲートブリッジ回路を見つけて、ニューロンが実際にどのように… 正確に説明するのではなく、アーキテクチャ、学習ルール、初期化といった言語で記述することです。これは非常に複雑な学習… 続きを読む »