Post · bonfire.cafe

@dpiponi@mathstodon.xyz yesterday

https://www.anthropic.com/research/formalizing-fermats-last-theorem

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

1 Reply

1 Boost

@svat@mathstodon.xyz yesterday

@dpiponi Kevin Buzzard's blog: https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/

Log in