Clément Canonne

ccanonne.github.io

06 October 2026 22:26

This point regarding AI-produced proofs is of course not new, but is beautifully put here. www.quantamagazine.org/is-ai-the-en... @quantamagazine.org

Sam Power

spmontecarlo.bsky.social

03 October 2026 10:07

A thought which has become clearer to me recently is that many 'open' / 'unsolved' problems in my area (such as it is) essentially concern things which are nice to talk about, but very difficult to "actually do anything" with. (There is a case that this also makes them not great problems)

Eugene Vinitsky 🍒

eugenevinitsky.bsky.social

02 October 2026 21:37

Academia undervalues applied work (it's not "clever"!) while many applied projects do not have an obvious commercial value proposition. Huge gap here where a lot of useful things live.

Eugene Vinitsky 🍒

eugenevinitsky.bsky.social

02 October 2026 21:36

What is the "novelty" in taking closed-source work and making it open? Very little. But people can build on open-source things / avoid duplication of effort and they can't on closed source.

Eugene Vinitsky 🍒

eugenevinitsky.bsky.social

01 October 2026 13:55

There is a type of nerd snipe where you see a smart person ignoring the evidence of their eyes and you feel deeply compelled to fix it