朧月

Uaena

[朧月 @0f1ff9]

@KotlinerBTC 猛一看文字我以為AVGO迎來變盤，結果是因為拿一分也進不去前五名🤣這一大片的個位數IV股票啊...

[朧月 @0f1ff9]

@BabybusFL 节哀顺变🙏

[朧月 @0f1ff9]

@KotlinerBTC 我傾向於是跑了個分數就發布了😕公眾根本沒有辦法驗證跑分的真實性

[세나 @wlrmaeun]

진짜 귀여워🐥

[朧月 @0f1ff9]

@Polymarket Wow, then let it be😈

[朧月 @0f1ff9]

@KotlinerBTC 請問您覺得會和Anthropic或者Google的動向有關嗎？作為AVGO公司的兩大客戶，一個剛剛的IPO申請有420億虧損，另一個目前暫時在AI競爭中落後了不少。導致AVGO近期的走勢很難確認方向

[朧月 @0f1ff9]

@BabybusFL 求分析 $GOOG！

[朧月 @0f1ff9]

@KotlinerBTC 有了這個垂直的黃線可讀性高了好多！謝謝分享！

[朧月 @0f1ff9]

@Cartidise One of the worst brand ever, they copy Porsche for cars, copy Apple for phones. Lei Jun has never got his own stuffs.
Guess why there's no Xiaomi 16?

[朧月 @0f1ff9]

@alexandr_wang @Box @Muse Are you serious 🤣? BTW when can I find some stuffed dolls of Muse from Meta? That'll be pretty popular.

[朧月 @0f1ff9]

@KotlinerBTC 多謝分析！依舊相信ASIC，但是不得不說AVGO的盤面有些平淡...我認為美科技股除非大幅啟動，不然還是要等AVGO產生什麼利好消息才能作為可靠信號
另外可以請問一下GOOG的波動率情況嗎？想看一下支付端的波動率情況會有什麼變化

[朧月 @0f1ff9]

@leijun Maybe Xiaomi XX for next year lol

[朧月 @0f1ff9]

@BabybusFL 请问神看好$GOOG吗？作为付款端是否可以抵消掉一部分avgo下行的波动呢🤔

[朧月 @0f1ff9]

@maxxmalist @PocketFM_App Where’s $GOOG with Gemini🤣?

[朧月 @0f1ff9]

@BabybusFL 这会不会成为很多萌新第一次买options的契机哈哈哈哈

[朧月 @0f1ff9]

@BabybusFL meta一波实在太牛比了😭

[朧月 @0f1ff9]

@KotlinerBTC @StockSavvyShay 每次看到他說話我都心頭一顫😂

[아이유(IU) @_IUofficial]

IU Digital Single [이 별로부터]
Concept Photo

💫 2026.09.10 6PM (KST)

#아이유 #IU
#이별로부터 #UnknownPlanet

[Anthropic @AnthropicAI]

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.

Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.

Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.

We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.

You can read about the process on our Science Blog: https://t.co/ryYnDEAU6J

And see the complete proof on GitHub: https://t.co/wlYMXYnofz