数学論文をインプットすると AI が自動で証明支援系のコードを生成してコンパイルを通す、みたいな世界観って、結構近い未来に来てもおかしくないと思うのだけど、どうなのかな
あすたーいずむ
npub15glt...k87e
アブストラクト・ピュアリティ
数学に関しては AI × 証明支援系界隈が大成功を収めてくれると色々いい感じに
むずかしい
分散型科学 (DeSci) | ethereum.org
ethereum.org
分散型サイエンス(DeSci) | ethereum.org
イーサリアム上の分散型科学の概要
確かに、学術研究の成果は公共知であるべきというのにのっとれば、web3 とかでいい感じに……
ピアレビューは必要だろうけれど、もう雑誌という形態である必要もないわけだし、なんかこういい感じの仕組みはできないものだろうか
論文誌多すぎるし傍から見ていてもよくわからない、その分野の中にいる研究者しかわからない世界になってしまっている気がする（どうすればいいのかもよくわからない）
数学では論文掲載料は無料のことがほとんどと聞いているけれども大手出版社だとオープンアクセスにしたければそこそこの料金を払うパターンが多いのかしら
無すぎる
顔が鈍器になっちゃうよ (Drop it)
人生 3
糸を得た
芳文社！
地力をつけたい
糸を探しに行くか悩む
んぐぎぎぎ
糸ってどこで売ってるんだ
今日はいい日だ
2010 年代のきららアニメの流行は、人々が冷笑への恐怖に対する癒しを求めたからではないかという仮説
ニコニコ動画
過渡期の Twitter を思春期のみんながこぞって見ていたの世代全体への悪影響が強かった気がしてならない