I drew an AI charter for my group. We can't stand still, we can't depress, and nobody knows where we are heading: so we build on ethics and make a few bets. sites.google.com/site/valerio...

Show Post

Previously I used to print an interesting paper out and then carry it in my backpack for months without reading it. Now I can just ask an LLM to explain it to me and not read the explanation! Technological progress!!

Show Post

I'm broadly in favour of the Nobel rule on no institutions for the physics prize but we should always keep this in mind icecube.wisc.edu/collaboratio...

Show Post

I have been working on auto-formalizing some of the key results and the relevant background material (namely, class field theory) that build towards this. Now that the final bit has dropped, I will try to put it all together and release my Lean repo in the coming days.

Show Post

Hilbert’s 12th problem for real quadratic fields is solved and thus SIC-POVM problem (Zauner's conjecture) is resolved! www.danrad.net/papers/stark...

Show Post