HNHacker News
TopNewBestAskShowJobs

levn11

-6 karma · joined November 4, 2023

submissionscomments
levn11··on Ask HN: What Are You Working On? (Nov 2025)
my life: https://www.techrxiv.org/users/717330/articles/702287-on-fer...
levn11··on LIMO: Less Is More for Reasoning
i mean https://www.techrxiv.org/users/717330/articles/702287-on-fer......
levn11··on Fermat's Last Theorem – how it’s going
https://www.techrxiv.org/users/717330/articles/702287-on-fer...
levn11··on [dead]
so how much do you just stare at grass and yell at the sky
levn11··on Ask HN: What would you do with $1M?
I would make food shelters and start a school, a dream of mine.
levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
it follows specifically from the form on pages 1-3. i would recommend reading it with fresh eyes after a good night's rest.
levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
I won't reply further to this question about g, i do think i've been clear. and at this point you can be on your merry way still thinking it's wrong. but you simply misunderstood.
levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
it's a proof by contradiction. g would divide a+b-c IF a+b-c are integers.

for n=2, g(2)=(c-a)(c-b)g_1(2) and g_1(2)=2.

So only when n=2 is it true that g divides a+b-c.

Otherwise we get a contradiction that it divides. since then, g_1(n) for n>2 is not a factor of a+b-c, we can safely assume at least one of them was not an integer.

levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
i believe you skipped pages 1-3. g_1(2)=2 for all a,b,c with n=2. g(n) carries with it the assumption of a^n+b^n=c^n as i showed in pages 1-3.
levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
This is only true for a,b,c that satisfies a^2+b^2=c^2.

So a=b=3 and c=n=2 is not part of the solution set.

levn11··on Ask HN: Will an AI be able to prove Fermat's last theorem? When?
https://www.techrxiv.org/users/717330/articles/702287-on-fer...
levn11··on The Fermat's Last Theorem Project
which part
levn11··on The Fermat's Last Theorem Project
https://www.techrxiv.org/users/717330/articles/702287-on-fer...
levn11··on Researchers uncover 'pornification' trend among female streamers on Twitch
Exactly. I have my degree as well, so I was doing some research of my own. It’s an ongoing thing.
levn11··on Mathematicians plan computer proof of Fermat's last theorem
techrxiv.org/doi/full/10.36227/techrxiv.170629872.29614231/v1
levn11··on An Interesting Proof
Seems like some kind of novel approach. Looks right to me. But my math is okay, so I need better eyes.
levn11··on "I loved every minute" - Andrew Wiles on solving Fermat's Last Theorem [video]
https://figshare.com/articles/preprint/Fermat_s_Last_and_the...
levn11··on Do black holes have singularities?
PLEASE read this as this is literally about thinking of center of mass as existing in more than 0 dimensions. the book is called The Zero Point Paradox and has everything to do about singularities
levn11··on What katydids do when picking up bat sounds
They did nothing, apparently. Just kept on keeping on
levn11··on Ask HN: Who wants to be hired? (December 2023)
Location: Los Angeles, CA

Remote: yes

Willing to relocate: maybe

Technologies: i have a masters in applied math, i know python, i wrote a book, and i am publishing a math proof. But im also in need of employment.

Resume: I will email resume upon request, apologies i dont have a url set up for it.

Email: carlosvillacresjr@outlook.com

levn11··on Ask HN: I would like an honest discussion about this math proof?
They quickly delete any posts related to such a proof. Or at least any of my posts about it
levn11··on Ask HN: What are you passionate about at the moment?
Number theory and spacetime! I have a proof for an old number theory problem
levn11··on Show HN: DevResume - Open-source web-app for creating resumes using YAML
"there is no spoon" xD
levn11··on Ask HN: Who wants to be hired? (November 2023)
Location: USA Remote: yes Willing to relocate: yes Technologies: python, savvy with programs, grad degree is applied math Résumé/CV: upon request Email: carlosfvillacres@hotmail.com
levn11··on Formalizing 100 Theorems
https://archive.org/details/fermat-3/page/n5/mode/2up

If you would like to check out an elementary proof for Fermat's Last Theorem (or at least an attempt)