たか🌗🍊

冬眠推進委員会（学士） → USのCA🍊郡でPhD(2024-202X) 専攻はゴルフ 推し概念: Optimistic Nihilism lang:zh-cn, kr

[たか🌗🍊 @takaria0]

日本人の平均20%弱らしいけど、ウチの高校のパスポート保有率90%くらいありそうやな

[たか🌗🍊 @takaria0]

バンクーバー来てやることがコレです���
お上に怒られる

[とあるコンサルタント @consultnt_a]

ハンターハンターのこの流れすこ

[たか🌗🍊 @takaria0]

もっと余裕持ってｼｭｯﾁｮｰ設定すれば良かったけどしゃーなしですわ

行って帰るだけだ

[たか🌗🍊 @takaria0]

出張でﾘﾊﾞﾓｱ来たけど街何もなくて愛おしいな

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[たか🌗🍊 @takaria0]

リボーンって常に不安感がすごい漫画だよね
未来に飛んだ時とかヴァリアーとか���部
余裕持って読める章最後くらいじゃないか

[Lior Pachter @lpachter]

One of the major pains of academia is having to click through labyrinths of webpages to submit papers.

Now, thanks to @Josephmrich (and AI), problem solved!

His tool is called PaperPush and is available at https://t.co/pdakRf4KIe

It's super easy to use!

1/🧵

[OpenAI @OpenAI]

We’re giving scientists, mathematicians, and engineers free access to our frontier models—starting with 10,000 researchers and expanding to 100,000 through 2027.

ChatGPT for Academic Researchers is built to accelerate discovery across disciplines.

[たか🌗🍊 @takaria0]

朝起きたら地震のニュースか・・・

[たか🌗🍊 @takaria0]

まじで今wet系の研究室にいて実験をアナログ的管理してる人は、Codexに全お任せプランを試していただきたいね。情報処理はもう人間が��てはいけません

[たか🌗🍊 @takaria0]

たぶん陸上とゴルフはシナジーあるね
まあ全部あるけど

[たか🌗🍊 @takaria0]

打ちっぱなし行きまくってるせいで前腕の握力と、重心をうまく使った膂力がかなり高まってた

引っ越し手伝いでマットレス運びしたけど細身からかなりの強い持久力を見せました

[たか🌗🍊 @takaria0]

早朝に恐竜やQuintaraからシーケンス結果のメール届いてたので、スマホからCodexに頼んでダウンロードから図作成まで全部やってもらい、自分は二度寝しました（）

[Kemtaro @oxt23]

RNAseqの解析、前はchat-GTPに聞いて、コードをコピー、エラーはいたら聞くを繰り返していたけど、最近はCodexが全部やってくれるからもうterminalもRも弄らないダメ人間になってしまった....。サンプル間の比較で遺伝子引っ張ってくるだけなので、なにも複雑な事はしないからもうterminalもRもなにも知らなくてもアホでもできる...。

以下を2時間位でやってくれますた...。

zip fileからfastqデータ取得→
FastQでQC→
MultiQCでReport作成→
trimming if necessary→
HISAT2/SAMtoolsでmapping/indexing→
UMICollapseでdupication remove→
featurecountsでread count→
DESeq2でサンプル間解析統計→
すべてのRをscriptとして、すべてのprocessをREADMEで記録

[Kemtaro @oxt23]

RNAseqの解析、前はchat-GTPに聞いて、コードをコピー、エラーはいたら聞くを繰り返していたけど、最近はCodexが全部やってくれるからもうterminalもRも弄らないダメ人間になってしまった....。サンプル間の比較で遺伝子引っ張ってくるだけなので、なにも複雑な事はしないからもうterminalもRもなにも知らなくてもアホでもできる...。

以下を2時間位でやってくれますた...。

zip fileからfastqデータ取得→
FastQでQC→
MultiQCでReport作成→
trimming if necessary→
HISAT2/SAMtoolsでmapping/indexing→
UMICollapseでdupication remove→
featurecountsでread count→
DESeq2でサンプル間解析統計→
すべてのRをscriptとして、すべてのprocessをREADMEで記録

[Andrew Conner @connerdelights]

Terence Tao posted his ChatGPT session trying to understand the Jacobian conjecture counterexample. It's so lovely reading a slice of how his mind works, the connections he's making, etc.

https://t.co/wu6CcAk3V6

[たか🌗🍊 @takaria0]

これ面白いな、少なくとも数学は数学者にAI使ってやってもらいましょう(全く理解できない)

https://t.co/zGl1e2XYXD

[Deedy @deedydas]

The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended.

I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of 42/42 (repo below if you want to check their solutions):
— Claude Fable 5 was the solved it in 1 attempt, and was the fastest.
— GPT 5.6 Sol took 1 more attempts, and was cheapest.
— Kimi K3 did it but took 4 more attempts, and took a LOT of tokens.
— Axiom Math actually proved everything in Lean.

P3 and P6 were the hardest followed by P2, judging by attempts + num tokens.

Students had 9hrs to solve these 6 problems, and Fable and Sol were under 4hrs.

The frontier of AI has officially moved well past IMO math.

[たか🌗🍊 @takaria0]

プライマー設計もCodexに配列ファイル渡しておしまいなのでね

[たか🌗🍊 @takaria0]

論文の文献管理ソフトってのも、もういらなさそうだよね。いまやあいまい検索でネット全体で文献管理できるからね