〈 on | sh 〉

📈🤔📉

[LangChain @LangChain]

We tested Jev against LLM judges on accuracy, repeatability, latency, and cost to see whether System One models could offer a new approach to agent evaluation. https://t.co/hrqdNpm0g8

[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

[Claude @claudeai]

Starting today, 10,000 scientists across every field, from math to chemistry to physics and more, can get Claude through our new Claude Team plan for scientists. Standard seats are free, and premium seats with 5x usage limits are $15 per month, an 80% discount, for one year.

Claude is becoming increasingly capable of scientific work, with recent progress on problems from advanced physics calculations to protein design. Alongside that progress, we've been investing in the research community: Claude Science launched in June, and our AI for Science program funds high-impact projects with free credits. Today's expansion builds on both.

Principal investigators (or equivalent) at academic and nonprofit research institutions can sign up, then add the researchers in their group. Over the coming months, we plan to extend the program well beyond the initial 10,000 seats.

Learn more: https://t.co/RTG1JxWi4Q

[〈 on | sh 〉 @onsh_]

Claude Code が503エラー吐きまくってるー寝よー

[Y-Kanoh(かのう) | PHPカンファレンス関西2026実行委員長 @YKanoh65]

我 want to a 質問.
中文民 can 読解 this 文？
日本人 can read.

[mochizuki。 @mchz_k]

「星新一の不思議な不思議な短編ドラマ」8月26(月)からよるドラで再放送だそうです。よろしくお願いします

https://t.co/dzEPMRIzeH

[とり @KoiChanTech]

この時期にこういう格好すごく楽でいいんだけど、エンジニアのこの格好率が高すぎてユニフォームみたいになってるのつらい。

[攻殻機動隊【公式】GHOST IN THE SHELL official @thegitsofficial]

士郎正宗による
サイバーパンクSFの金字塔
「攻殻機動隊」
新作TVアニメシリーズ始動――!!

アニメーション制作：サイエンスSARU
2026年放送

TV Animation“The Ghost in the Shell”
Animation Production: Science SARU
New Series 2026

詳細はこちら↓
https://t.co/H5xOvaoj4t

https://t.co/memWqNRuYz

#攻殻機動隊 #theghostintheshell

[川北すピ子 @su_pico]

いつかこれを食べるのが夢

[Clint Rutkas @ClintRutkas]

Sudo for Windows, now fully open sourced. https://t.co/qeZsMVwT52

[〈 on | sh 〉 @onsh_]

最近よく感じる、あと10歳若ければなって。やりたいことを全部やるには時間がなくて、やらないこと、やりたいけどやらないことを決める、そんな日々。

[ギネス世界記録 @GWRJapan]

正式発表です🌟三菱電機のチームがギネス世界記録「パズルキューブを最速で解くロボット」を更新㊗タイムはなんと0.305秒！記録達成、本当におめでとうございます🎉🎉🎉

[たろす 🛰 𝕋𝕒ℝ𝕠𝕊𝕥𝕦𝕕𝕪 @TaRoS_physics]

なにこれ

[〈 on | sh 〉 @onsh_]

これ絶対観に行く！

[美術展ナビ @art_ex_japan]

エジプトから貴重な考古資料が多数来日します！2025年春に東京で「ラムセス大王展 ファラオたちの黄金」の開催決定。記者発表会の様子をレポートします👇 https://t.co/b4c89SwM0W

[Henry @HighWiz]

パナマ運河ってこういう構造になってたのね🫢

めちゃくちゃ大掛かりな仕掛け。

けどこれだと一隻通るたびに堰き止めていた水を下流に放出することになるから無制限には使えない。

そりゃ一回の通行料で最大2億円程度取るわけだね。

[TechCrunch @TechCrunch]

OpenAI demos real-time language translation with its latest GPT-4o model.

[OpenAI @OpenAI]

We're opening up access to our new flagship model, GPT-4o, and features like browse, data analysis, and memory to everyone for free (with limits). https://t.co/H2dB6w7Ynz

[〈 on | sh 〉 @onsh_]

Perplexityの方がより正確ですね。事実ベースで問い合わせるならこちらかな。
創作的な問いはChatGPTに分があるか。
https://t.co/CnJD3POFsP

[〈 on | sh 〉 @onsh_]

ChatGPT4で全く同じ質問をしてみました！少し回答の質が上がったように感じます。
連続スクショとるの下手すぎですが...ご容赦をば。

[岸田繁 Shigeru Kishida @Kishida_Qrl]

まだAIは少し時間がかかりそう