Utensil
iutensil.bsky.social
Utensil
@iutensil.bsky.social
Pinned
Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.
Rendering complex implicit surfaces using interval arithmetic etc. The ideas behind mkeeter/fidget well explained. youtu.be/UxGxsGnbyJ4?...
Implicit Surfaces & Independent Research
YouTube video by Matt Keeter
youtu.be
April 21, 2025 at 4:20 AM
Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.
December 14, 2024 at 5:51 AM
Reposted by Utensil
Hello Bluesky! (and bye-bye Twitter).

I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.

xenaproject.wordpress.com/2024/12/11/f...
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.
xenaproject.wordpress.com
December 11, 2024 at 9:57 PM
"Short theorems with long proofs" by Prof. Colva Roney-Dougal: A proof has an area, not just length - cases run sideways avoiding direct assault. Proof's curvature must also be carefully tracked - you can't sweep it under the carpet, it always pops up somewhere.
How wide is a proof?
I listened to a talk this afternoon, with the title “Short theorems with long proofs”, given by Professor Colva Roney-Dougal. It has long been known in mathematics that there are short …
robwilson1.wordpress.com
December 12, 2024 at 1:49 PM