ค

@bongtao ใช่ครับ แพงและห่วย

ยิ่งเที่ยวเมืองในเอเชีย ยิ่งรู้สึกว่ากรุงเทพนี่แพงจัง

It's interesting to note the language that comes up very frequently in AI-written mathematical proofs/papers, and yet hardly ever in human writing. For example, AI always wants to talk about the 'architecture' of a proof. It's also very fond of giving catchy names to each step.

@xbzzbz ชัชชาติ หรือ ส้ม ก็ดีต่อคนไทยทั้งนั้น

อีส้มไม่มีวันชนะชัชชาติได้ เพราะ Branding ชัชชาติแข็งแกร่งจริงๆฮีทำมานานมากตั้งแต่ก่อนจะได้เป็นผู้ว่า มีความยึดโยงกับ กทม สูงมาก แต่อย่างน้อยๆเราควรพูดถึงข้อเสียของเขาได้ เพราะฉันคิดว่าชัชชาติและเมืองนี้มีศักยภาพมากพอที่จะเจริญกว่านี้ อย่าถอยหลังลดบาร์ตัวเองยอมรับการคอรัปชั่น

@pornson ผมว่าตามตีเสมอได้นี่ถือว่าน่าประทับใจแล้วครับ อาเน่ออยู่ต่อ

จบเกมพี่โหน่ง แมนยู 3-2 ลิเวอร์พูล

@sfkkfs_ ปากไม่ขยับรึ

อันนี้อ่านกี่รอบก็ขำ 5555555555555555555555555555555555555555555555555555555555

@supawichable น่าจะเป็น suicide hub ใครอยากตุยก็มาไทย สูดอากาศพิษตาย

ไทยจะเป็น longevity hub ได้ไง อากาศให้หายใจยังไม่ดีเลย

@sunaibkk ทหาร ต้องหมดไปจากประเทศไทย

พลทหาร 'กฤตานน พลจันทึก' ถูกครูฝึกสังกัดกองพลพัฒนาที่ 2 #ค่ายสุรธรรมพิทักษ์ #นครราชสีมา สั่งให้พลทหารรุ่นพี่รุมเฆี่ยนตีระหว่างวันที่ 9 – 10 ม.ค. 69 จนต่อมาเสียชีวิต และยังมี #ทหารเกณฑ์ อีก 2 นายบาดเจ็บสาหัสจากการลงโทษดังกล่าว ... จะต้องมีอีกกี่ศพ กองทัพถึงเอาจริงเอาจังปราบปรามการลงโทษอย่างป่าเถื่อน? thematter.co/quick-bite/mys…

เมื่อเช้าเรียก grab ไปกินติมซำร้าน Fu Er Dai ร้านดังของปีนัง คนขับ grab เป็นคุณน้าผู้หญิงดูดีฟีลเหมือนมาขับรถเอาสังคม ระหว่างรอรับลูกไรงี้ นางเห็นเป็นคนไทยก็ชวนคุยสุดว่าเคยไปร้านนี้มาก่อนมั้ย นี่บอกว่าไม่เคย แต่เพื่อนในทริปเพิ่งมาปีนังครั้งแรก ก็เลยพาไปร้านดังหน่อย นางก็น่ารัก บอกว่าร้านดังนะ แต่คนปีนังเขาไม่กินร้านนี้ ถ้ามีเวลาเหลือลองไปร้านชื่อ Lhong Tou นะ ขับออกไปอีก 5 นาที แต่มันจะไกลจากพวกแหล่งท่องเที่ยวหน่อย นี่ก็เชื่อคุณน้าทันที บอกว่ากดจบงานแล้วพาเราไปร้านนั้นเลยได้มั้ย เดี๋ยวเราจ่ายเพิ่มตามระยะทางให้ แล้วชีน่ารักมาก บอกว่าไม่คิดเงินเพิ่ม แล้วอาหารอร่อยมาก ใกล้เคียงกับฮ่องกงในราคาถูกกว่าครึ่งนึง นี่เลยกดทิปให้ไปหนักๆ กราบคุณน้า

Talking at the Future of Math Symposium in 10 minutes (livestream link: youtube.com/live/tN4hsT5t0…). I decided to make the talk "personal" and explain the five moments that updated me on how fast AI will change mathematics. (The ChatGPT's illustration of these moments is so good!!)

・突然「規則性が崩れる」奇妙な積分 ボールウェイン積分は、sinc関数（sinx/x）に関する広義積分です。規則的に項を追加していくと、積分の値はずっとπ/2のままになります。しかしx/15の項をかけた瞬間、その値はπ/2よりもわずかに小さくなります。これは計算機のバグではありません。（続く）

@howie_hua It is already simplified

Can you figure it out?

エルデシュ未解決問題集、今日だけで5問もopen→solvedにステータス更新されてて目ひん剥いた　んでどれもわりとデカめな成果だと思う いずれもｴｰｱｲアシストを論文中に明記した上でガンガン活用した結果のようで、ｴｰｱｲアシストの元での未解決問題開拓は軒下でどんどん進んでるんだねぇ

@cbokhove From my experience, mathematicians are the best people to teach math

I wonder why mathematics professors with little or no experience in schools think they know how best to teach mathematics in schools.

火を一切使わず、超本格的な四川風よだれ鶏が作れます。 作ってみたら分かります。 マジでヤバいです。 中華屋さんの超人気メニューをご家庭で是非。 詳しい作り方は下記から↓ (写真付きで丁寧に説明しております) yassu-cooking.com/entry/2025/07/…

I’m one of the co-authors on this paper! It’s been very interesting: although GPT5.4Pro suggested the core technique we used in its famous solution to Erdős #1196 , in many cases it needed significant human input to show the results we end up proving, which include: 1) A new, short proof of the Erdős primitive set conjecture (originally resolved by @jdlichtman in 2022). 2) Two conjectures of Erdős, Sárközy and Szemerédi, originally posed ~1966 (one of these being #1196). 3) The revised odd-banks Martin conjecture, which we also use to give yet another proof of #1196 4) A proof that the prime p = 2 is “Erdős strong”, the only remaining case after @jdlichtman had shown all odd primes are Erdős strong (which also yields yet another proof of EPS). 5) A new, short proof of the “AKS inequality”, a useful result on partial sums of primitive sets Only (2) was a result of fully autonomous runs, whereas for the other results the mathematicians typically had significant input. Overall, utilizing the “start Markov chain on divisor/multiples poset with these initial masses and show visiting mass = 1/nlogn” technique 5.4Pro had suggested was extracted, generalized, and then used to resolve 4 open conjectures of significant interest, and also give shorter reproofs of 2 major results. I believe this may be the biggest leap in the study of primitive sets since the 1960s, and it provides a simpler approach to study their sums. For example, the proof of the Erdős primitive set conjecture (which had remained open for ~60 years before Jared resolved it) it yields is, in total, 3 pages long.

@ct_chanun ขอให้ตระกูลพวกนี้จงสิ้นซาก

- เทพหัสดิน ณ อยุธยา #แพรวา9ศพ : รอดคุก (ผ่านไป10ปี จนคุณแม่ที่ขายพวงมาลัยส่งลูกเรียนจนจบดร.เสียชีวิต เพิ่งยอมจ่ายเงินเยียวยา) - อยู่วิทยา #บอสกระทิงแดง : รอดคุก สุขสบายอยู่ตปท. - กมลปัญญากร #เยาวชนเทนนิส : รอดคุก เดบิวท์ทีมชาติ - หลูอารีย์สุวรรณ #เด็กSIITเมาแล้วขับ : รอผล

Update on Erdős Problem 1196: In joint work, we refined and adapted the proof method from GPT-5.4 Pro to give proofs of several additional problems. This includes another 60 year old conjecture by Erdős, Sárközy, and Szemerédi. A proof is valued not just by the problem it solves, but by what new avenues it opens up. This is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring. We are announcing the result today at the Future of Mathematics Symposium (see links below)

@legallyjennie สัสนรกมาเกิด

ปัจจุบันชื่อ รวินภิรมย์ อรุณวงศ์ เงียบไปเลย แต่งงานแล้ว หย่าแล้ว เป็นตราบาปติดตัวไปตลอด

@PolarKen เป็นที่สายพันธุ์ครับ ที่ไทยก็เพิ่งมีเอาพันธ์มะเขือจากสเปนมาปลูก เช่น Kingfisher หวานมาก แต่ยังเห็นแค่มะเขือแบบเชอรี

อยู่เมืองไทยคือเกลียดมะเขือเทศมาก มายุโรปคือกินรัวๆ มันอร่อยแบบคนละรสชาติเลยอะ ทำไมนะ