Fermat’s Last Theorem — how it’s going
So I'm two months into trying to teach a proof of Fermat's Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing. Continue reading →
Read the full articleYou might also wanna read
Accelerating mathematics
xenaproject.wordpress.com·5mo ago
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·8mo ago
Understanding Unification in Logic and Computer Science
eli.thegreenplace.net·10mo agoWhat is a quotient?
xenaproject.wordpress.com·1y ago
付与した権限は、本当に全部使われていますか — Antigravity 統一パーミッションを実使用ログから絞り込む
antigravitylab.net·just now
Hooks: An Extensibility Framework for Codex — Injecting Custom Scripts into the Agentic Loop
learn.chatgpt.com·1h ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.