トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Damek
このChatGPTによる証明は実は面白く、GPT Proへの1回のクエリで解決できると思っていた以上です。
ただ、エルドスの定理に従うエルドス問題がどれだけあるのかは気になります。
1月18日 09:17
私はGPT 5.2 Proだけで2つ目のErdos問題(#281)を解決しましたが、先行的な解決策は見つかりませんでした。
テレンス・タオはこれを「おそらくAIが未解決の問題を解決する最も明確な例」と呼んでいます。
11
昨年の秋のサイモンズLLMプログラムで、@mahdisoltanolこのineqがディストリブに当てはまるかどうか尋ねました。pとq:
Dkl(p,q) ·∑i pi(pi−qi) ≤ ∑i pi ·(pi−qi) ln(pi/qi)
私たちの何人かは、バウンドに夢中になりました。反例を探して夜更かし@jasondeanleeことを覚えています。
2025年10月6日
GPT-5 Pro found a counterexample to the NICD-with-erasures majority optimality (Simons list, p.25).
At p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) gives E|f(x)|=0.43024 vs best majority 0.42904.
379
トップ
ランキング
お気に入り