Stupid algebraic geometer. Mediocre competitive programmer. Quasimathematician. AI bro. Anti-AHM. Happy to learn and to teach. 🇹🇭🇫🇷🇨🇭

Zurich, Switzerland
Joined December 2021
Alright. I've vibe-coded this and let me announce the official launch of AUM. aumath.org/index.html I invite everyone interested in understanding mathematics to join! 🤩
2
1
3
2,280
I thank SAIR for this cute robot :) I'm trying some basic exploration (on the BCGPU TPP)...
More than 200 research teams have been approved and are using Open Math OS. We recommend applying with your research institution email. We’ll prioritize serving research institutions as we scale up fast and speed up approvals. Apply now: openmathmodel.org
1
52
This is almost 7am btw I should go sleep 😭😭😭 I’m having too much fun playing with my cute AIs 🥰🥰🥰
16
So, more reflections are needed (already from my side) before I comment further on this anti-AI behavior of mathematicians. But here's my progress from discussing to ChatGPT today. I'll probably go sleep soon...
51
The new blog post on stacks is up! blogs.ethz.ch/sirawit/stacks… Although I tried to actually go and push through the details to define the notion of a stack, my understanding of moduli stacks is very insufficient, so I brought it up only vaguely, and I'll look forward to learn later!
52
Well at the moment I'm writing a blog post on stacks! 🤩 It's (probably) halfway done, and I take this as my self-assignment to do before I go to bed today. If I have more time I can read about moduli stacks (otherwise I'll read it tomorrow).
1
3
258
I’m yapping yada yada because I just woke up and went to eat something. Once I go back to my stacks and Fulton–Pandharipande I hope I can be back to focus today. I still don’t have the ability to prove statements involving line bundles, but I’m pretty “patient” with myself.
1
139
In particular, I don’t know how “line bundles” are precisely defined, and how to show the equivalence between (p : L to X) with a locally free sheaf of rank 1 on X. Well I think it’s intuitively clear, but I need to get my hands dirty on the details before claiming understanding.
1
106
In Vakil’s The Rising Sea (Ch. 17 if I remember correctly) we use Spec(Sym^•(L dual)) but I couldn’t “see” this direction. Well to be fair I still don’t know about the calligraphic Spec construction.
23
Again, even if my personal opinion is supportive to AI, and even if my personal position strongly disagrees with the anti-AI sentiment, I am willing to put those aside and seek for a solution of coexistence of both sides, even at the cost of giving up my own preference.
1
1
346
Whether you succeed in banning or supporting AI, I remain committed to the position that mathematics should be there for everyone. If the majority turns out to (democratically) ban AI, I will join them, even if that is against my ideal.
1
84
Am I cute? 🥰🥺
The truth can be brutal. But the truth shall set you free.
1
4
401
AHM is a funny organization. They cope so much to the point that they build a wall around themselves, keep crying inside the wall, and rejecting reality.
Wow, over 1,000 mathematicians have now joined the Association for Human Mathematics (AHM), committing to: > NOT publish AI generated math papers > NOT work with frontier labs > 654 of them went even further to NOT even use AI in their research, at all
1
3
831
อะไรวะ หลังๆ เริ่มรู้สึกว่า… คนแบบนี้ไม่หล่อไม่รวยเอง ละออกมาโวยวาย 🤡
ไอ้หล่อนั่นพาเธอโหนรถเมล์ไปกระแทกในห้องน้ำมหาลัย แถมยังกลืนน้ำเชื้อของเขาด้วยความกระหาย … แต่กับมึงต้องมีรถหรูไปรับส่ง ไอ้เลวนั่นชนแก้วเธอในผับ ไปส่งเธอที่ห้องแล้วบอกว่าขอเข้าไปเยี่ยวหน่อย เธอให้เข้าห้องทันทีแบบไม่มีข้อแม้ใดๆ ดูดกระดอไอ้เลวนั่น แถมตอนมันหลุดออกมาเธอก็จับยัดเข้าไปด้วยมือของเธอเอง … แต่กับมึงเธอเรียกสินสอดทองหมั้นเป็นแสนเป็นล้าน ไอ้เวรนั่นปัดแอพนัดเย็ดแมทซ์กับเธอ แล้วไปนัดเย็ดกันที่โรงแรมราคาถูก … แต่กับมึงเธอตั้งเงื่อนไขว่ามึงต้องซื้อบ้านเดี่ยวหรือคอนโดหรูเป็นชื่อเธอ ไอ้ห่านั่นทำให้เธอเป็นแม่เลี้ยงเดี่ยว เธอไม่เคยด่าว่า แต่เธอกลับด่ามึงว่า loser ไม่มีเงินเลี้ยงลูกติดของเธอ ไอ้ห่านั่นไม่จ่ายสักบาท ตั้งสติก่อนรับจบผู้หญิง อย่าหลงชื่อว่ารวยเปย์ = winner พวกเธอกำลังหลอกมึง หล่อเลวเย็ดฟรีต่างหาก winner
4
465
I don’t even know what am I doing but sure…
2
5
526
Some algebraic nonsense and I’m gonna go sleep now 🥱
1
3
187
Ok. A stack is a category fibered in groupoids such that objects can be cocycle-glued (i.e. descent data are effective) and isomorphisms can be sheaf-glued.
1
83
Weirdly, I was able to focus a bit more than usual today. Now I'm reading about stacks, since my advisor told me to try to view the moduli spaces as stacks rather than coarse moduli spaces in the scheme setting as it will make things easier later.
1
210
My main reference for moduli spaces is johannesschmitt.gitlab.io/mo…, and my main reference for stacks is Stacks for Everybody by Fantechi. I'm detouring to them before going back to Fulton-Pandharipande later.
134