//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
wow, strong statement: "We think that present coding LLM, such as Claude, are now perfect tools to help to understand all details of a given mathematical paper." arxiv.org/abs/2606.124...
2d
This is a continuation of a previous report on an experiment in autoformalisation of Gödel's second incompleteness theorem in Agda using Claude. Using the framework built in this experiment, Claude ...
Auto formalisation of Chaitin and of the surprise incompleteness Theorem
arxiv.org
Nathan 🌸
Coquand is using claude
3d
Alecs P. Hacker
Auto formalisation of Chaitin and of the surprise incompleteness theorem. ~ Thierry Coquand. arxiv.org/abs/2606.124... #Agda #ITP #AI4Math
3d