2025-06-06 01:41:19
RT José A. Alonso
Exceptional set in the abc conjecture (in Lean). ~ Jared Duker Lichtman, Bhavik Mehta. https://b-mehta.github.io/ABC-Exceptions/ #ITP #LeanProver #Math
2025-06-06 00:07:30
RT Logan Kilpatrick
Introducing our latest update to Gemini 2.5 Pro (06-05), which we expect to become our long term stable release. At a glance:
- SOTA on HLE, Aider, and GPQA
- Now supports thinking budgets
- Same cost, on pareto frontier
- Closes gap on 03-25 regressions
2025-06-05 20:29:54
RT Koko
#軽い気持ちで描いたら思った以上に反響があった絵
マーシャルマキシマイザーパロの瑞希…
2025-06-05 20:14:14
RT けんちょん
ARC の問題を解くとき、考察によって最後には ABC-E や ABC-F くらいの問題に帰着されることがよくあるのだけど、そこで詰まらないように......
今日はこの問題を解いて、「順列同士の LCS を求める問題」に落とすのはすぐできた......のに、N <= 10^5 は無理ーってなってた
https://atcoder.jp/contests/arc189/tasks/arc189_c
