སོ་ཁ་

[སོ་ཁ་ @haru_mathphys]

Zariski main theoremの証明わからねぇ...
論理は追えるけど直感が全く生えない...

[སོ་ཁ་ @haru_mathphys]

@yotsunva あー、なるほど。(セミナーでそんな話を聞いたような気もする)
ありがとうございます。

[སོ་ཁ་ @haru_mathphys]

"Revisiting Zariski Main Theorem from a constructive
point of view"のこれの証明がわからない...
なんで体に帰着できるんだ？

[སོ་ཁ་ @haru_mathphys]

@yotsunva formal Nullstellensatzのちゃんとした主張ってなんですか？

[སོ་ཁ་ @haru_mathphys]

constructive higher algebraをやりたい

[སོ་ཁ་ @haru_mathphys]

@quasi_cosmoi diffeologyよりsynthetic differential geometryの方がいいですよ

[སོ་ཁ་ @haru_mathphys]

AIにバイブスをぶつけている

[སོ་ཁ་ @haru_mathphys]

バイブコーディング楽しすぎる

[སོ་ཁ་ @haru_mathphys]

@Alwe_Logic 絶対数学はSpec(F_1)上の代数幾何のことだからなんだけど、だいぶ適当を言ってはいる
Sh(Aff_(F_1))かもしれないし別にそんなことないかもしれない

[སོ་ཁ་ @haru_mathphys]

Gray tensorの基本的性質って意外と未整備...？

[ワヘイヘイ @waheyhey]

https://t.co/ZQNsxJRPcb
👀

[སོ་ཁ་ @haru_mathphys]

spread一応出すか
通る気はしないけど

[སོ་ཁ་ @haru_mathphys]

thinkingで一回やってみたが話にならなかった

[སོ་ཁ་ @haru_mathphys]

proの制限が戻ってきたら研究計画と証明の概略だけが書かれたpdfを投げて行間を埋めた文章を作れるか試す

[སོ་ཁ་ @haru_mathphys]

chat gpt pro, 精度はすごく高いが数学の理解能力は相変わらずそんなに高くないと言う印象
数学研究にめちゃめちゃ使えそうではあるが, 数学者の仕事を奪うという印象は全くない
使い方が悪いんだろうか

[སོ་ཁ་ @haru_mathphys]

これまじでなんでこうなったのか意味わからなくて好き

[数理空間“τόπος” (トポス) @mspacetopos]

本日のトポスでは顧問の加藤文元先生とゆる言語学ラジオの水野太貴さんが圏論について語り合いました。

@FumiharuKato
@yuru_mizuno
#神保町で会いましょう

[སོ་ཁ་ @haru_mathphys]

Grady-Pavlovの証明も追おうと試みたが、至る所可読性が低くて辞めた

[སོ་ཁ་ @haru_mathphys]

cobordism仮説のLurieの証明(？)を追っている
割と難しいけど面白い

[སོ་ཁ་ @haru_mathphys]

円盤にしてくれ〜
まじで目が足りなかった