Tweet fixado
lain jing（れいん）
79.5K posts
lain jing（れいん）
@lainjing
ヨミ:レイン・ジン/photographer・摄影师 （コス、ポトレ、雑誌撮影）/臨床検査技師/公務/レイヤー/magician（Cardician）/数学者・統計/コンサルタント/お酒好きな人/ラ！サ！！/photo novel（コミティア）/物書き（政治・経済・テクノロジー・医療系）／玲音写実未来研究所/
日本 Entrou em Ocak 2010
685 Seguindo850 Seguidores
すごい、グラフ理論のハミルトン分解問題が解かれようとしてる……
クヌースみたいな天才とAIは相性が良すぎる……
Deedy@deedydas
Legendary Don Knuth has now used AI to fully solve his Hamiltonian decomposition problem for odd and even cases. Opus 4.6 / 5.4 Pro solved the even case, wrote a proof in Lean and a “apparently flawless 14 page paper” Knuth: “We are living in very interesting times indeed.”
日本語
今日は死ぬ日にもってこいの日だ｜玲音（れいん） #note
穏やかな日を暮すと気づくこと
note.com/lainjing/n/n6c…
日本語
ChatGPTのhigh、Deep thinkを動かしてるとき、Claudeの opusを動かしているとき
思考の時間が長いからその合間に筋トレと紅茶を入れた理、Twitterとかという文化になってくる
日本語
『僕』の肌感覚的に900万じゃ足りないかな
ほら、昔に年収800万以上はそんなに幸福曲線が変わらないって言ってたけど、今はんなタァ〜ないと思ってる
円安のせいなのかね
年収3000万くらいだとそこそこはいい感じなのだけど、そもそも激務なのと年収1200万を超えたときの税金で引かれる額よ
日本語
MAGIどころじゃねぇ
AIにほぼ思考や議題を議論するときのペルソナを与えるプロンプトとかを考えたら議論だけでなくて、問題を解答する設計においてもいい答えを出してくれるものが出来上がってきた……
日本語
今日は、弊息子の一区切り
とても穏やかな日だった
桜は目を彩り、風は頬を撫でる
子供たちは歓喜に満ち溢れて
霞む陽に溶ける
今日は死ぬ日にもってこいの日だ
すべての声がわたしに合唱し
すべての美がわたしの目の中で
休もうとやってきた
わたしの土地は、わたしを静かに取り巻いている
わたしの畑はもう耕されることはない
わたしの家は笑い声に満ちている
子供たちは家に帰ってきた
（ナンシー・ウッド）
今日という日をみて、子供を見ていると思う
そうか、死ぬ時はこういう景色をみて
死にたい
そう思えた
日本語
『僕』が数学科を受験したとき、周りにそんなところに行っても人生を無駄にするだけだからって、言われたなぁ
数学科、物理学科、化学科があって、一番偏差値が高くて難しかったんだけどね
「あぁ、lainは終わったな」って言われたもので
世の中はわからないものでね
日本経済新聞 電子版（日経電子版）@nikkei
数学はもうかる AI時代の人材争奪戦、アメリカで平均年収2400万円 nikkei.com/article/DGXZQO… AIは線形代数や微積分、三角関数など基礎数学の組み合わせ。 数学人材の重要性が増す一方、日本の博士号取得者はアメリカの1割以下で、企業就職もわずかです。
日本語
ひとつのこころが壊れるのを止められるなら
私の人生は無駄ではないだろう
ひとつの命の痛みを癒せるなら
ひとつの苦しみを鎮められたなら
1羽の弱ったコマツグミを
もう、一度、巣に戻してやれるなら
私の人生だって
無駄ではないだろう
日本語
