いぬくん (@fluffydog_bow) header
いぬくん (@fluffydog_bow) profile picture

いぬくん

@fluffydog_bow

地方国立大数学科博士課程を出てイギリスに来たワン🐾 (JSPS DC1 → JSPS PD、カトリック)

 England, United Kingdom
Joined April 2021
  • Tweets11.4K
  • Following587
  • Followers1.1K
1.3KMedia
Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)Photo by いぬくん (@fluffydog_bow)
AIが自動生成したクソデカ知識プールから情報を取り出して理解するのが科学者の仕事になるかも。 犯罪者に使わせたら危険な知識もあるだろうから、そういうのを予め理解して人類から遠ざけるホワイトハッカー的な仕事もありそう(妄想全開)
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bow13m
Replying to @nmtm_pde
現在の対話型AIから良い結果を得るためには人間のプロンプトが必要になっているけど、それはLLMの効率やトークン量の問題で、それが解決されればプロンプトさえAIが自動生成して、人間は完全自動で得られた大量の有象無象の結果から良い結果を「取り出す」だけのお仕事になるかもしれない。
1
31
🤖 Made with AI
Image from いぬくん (@fluffydog_bow)
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bow7h
英語の am/pm と日本語の午前/午後の概念の違いについて明確に
17%知っていた
83%知らなかった
36 votes • 16 hours
1
8
451
うちでも作ってみた
Image from いぬくん (@fluffydog_bow)
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bow7h
ハロウィンシーズンなのでハロウィンに関する用語
Image from いぬくん (@fluffydog_bow)
Image from いぬくん (@fluffydog_bow)
1
12
282
ハロウィンシーズンなのでハロウィンに関する用語
🤖 Made with AI
Image from いぬくん (@fluffydog_bow)
Image from いぬくん (@fluffydog_bow)
1
4
375
これ常識だったら恥ずかしいです😭
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bow7h
英語の 12 am は真夜中だけど、日本語の午前12時は昼間 英語の 12 pm は昼間だけど、日本語の午後12時は真夜中 これは罠。 ベトナムはそもそも午前/午後に対応する表現を使わないらしい。 (ベトナムの時間の呼び方の歴史をめちゃくちゃ調べてしまった )
Image from いぬくん (@fluffydog_bow)
2
138
英語の am/pm と日本語の午前/午後の概念の違いについて明確に
17%知っていた
83%知らなかった
36 votes • 16 hours
1
1
1
3
1,011
英語の 12 am は真夜中だけど、日本語の午前12時は昼間 英語の 12 pm は昼間だけど、日本語の午後12時は真夜中 これは罠。 ベトナムはそもそも午前/午後に対応する表現を使わないらしい。 (ベトナムの時間の呼び方の歴史をめちゃくちゃ調べてしまった )
🤖 Made with AI
Image from いぬくん (@fluffydog_bow)
1
7
348
ダラダラ長時間数学やるより、カフェインぶち込んで2時間目の色変えて発狂しながら頭抱えるほうが真理に辿り着きやすい気がするワン🐾
Image from いぬくん (@fluffydog_bow)
1
16
514
古今東西の論文を調査することにより、より多くの重要な結果を理解するために「有用」な定理に重みづけをして、有用とされた定理に達するための最短推論経路をAIに作らせて新しい教科書をつくるとか
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 29
AIが有能な数学的概念を生成することにより、学部で習う数学を圧縮して人間が勉強する必要のある議論を大幅に短縮する、みたいな物語ないかな？
4
250
AIが有能な数学的概念を生成することにより、学部で習う数学を圧縮して人間が勉強する必要のある議論を大幅に短縮する、みたいな物語ないかな？
1
1
4
389
完全な数学がこの世界に対してアプリオリに存在しているのなら、LLMや人間の活動は新しい数学を作っているのではなく世界が出来る前から存在する完全な数学の有限な近似を作っていると考えられる。
1
2
10
542
ただその近似があまりにも巨大になり過ぎているので、数学者には自分が自由に新しい数学をつくっているようにしかみえない。
3
138
AIに出来ないことは「祈り」だと思っている。AIは自分のために祈ってくれない。数学の研究において何が祈りになるか考えると自分が何をやるべきか見えてくる気がする。少なくとも、AIが出した答えを深く理解せず結果だけに満足することは祈りにならないような。
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 29
アッシジのフランシスコが「生きる意味はあなたに歌をささげあなたをたたえること。」と言っている。数学をやるのもその作業の一環なのかなと。いつまで数学を続けられるか分からないけど機会が与えられている限りは続けていきたい。 youtu.be/Rla81AGiir0?is=XYy1…
Image from いぬくん (@fluffydog_bow)
4
214
アッシジのフランシスコが「生きる意味はあなたに歌をささげあなたをたたえること。」と言っている。数学をやるのもその作業の一環なのかなと。いつまで数学を続けられるか分からないけど機会が与えられている限りは続けていきたい。 youtu.be/Rla81AGiir0?is=XYy1…
Image from いぬくん (@fluffydog_bow)
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 29
ここ一年くらい数学をやるモチベーションで悩んでいたけどやっと自分なりの答えを見つけた気がする。めちゃくちゃ宗教的なのであまり一般化できないと思うけど。
2
4
577
ここ一年くらい数学をやるモチベーションで悩んでいたけどやっと自分なりの答えを見つけた気がする。めちゃくちゃ宗教的なのであまり一般化できないと思うけど。
1
11
452
30分 速くやっても意味ない気がしている
Dave of Ilorin🇻🇦 (@UncleLagbaja) profile pictureDave of Ilorin🇻🇦
@UncleLagbajaOct 28
Catholic to Catholic: On the average, how long does it take you praying the rosary?
1
4
164
論文も証明を全て書く形ではなくて、形式化された命題や定義の自然言語化と形式化の範囲に関する説明、解釈、が並ぶ形になりそう。supplemental files として Leanコードの提出が義務化されるかも。
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 28
数学者の仕事は Lean で書かれた定義や命題が正しく形式化されているかチェックしたり，どのような命題が証明されているのか観測するのがメインになりそう．
8
294
数学者の仕事は Lean で書かれた定義や命題が正しく形式化されているかチェックしたり，どのような命題が証明されているのか観測するのがメインになりそう．
1
7
656
「頑張る系」の勉強法だと身につかない (言い訳)
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 28
イギリス英語の最強勉強法はお酒を飲みながらネトフリでイギリスドラマを見ることなのかもしれない
1
12
503
一番必要なのはイギリス英語を聞き取る能力で、意外とイギリス英語を話す能力は要らないかもしれない。イギリス人もアメリカ英語が分かるので。もちろん話せたらかっこいい。
いぬくん (@fluffydog_bow) profile pictureいぬくん@fluffydog_bowOct 28
イギリス英語の最強勉強法はお酒を飲みながらネトフリでイギリスドラマを見ることなのかもしれない
8
312
Load more