levn11
Re:Ask HN: What Are You Working On? (Nov 2025)
on Tuesday November 11, 2025 @02:00AM (#45884806)
Re:LIMO: Less Is More for Reasoning
on Tuesday February 11, 2025 @02:55AM (#43010159)
Re:Fermat's Last Theorem – how it's going
on Thursday December 12, 2024 @09:15PM (#42405410)
Re:
on Friday May 31, 2024 @01:02PM (#40537565)
so how much do you just stare at grass and yell at the sky
Re:Ask HN: What would you do with $1M?
on Thursday May 30, 2024 @02:55PM (#40527357)
I would make food shelters and start a school, a dream of mine.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Wednesday May 29, 2024 @03:30PM (#40515919)
it follows specifically from the form on pages 1-3. i would recommend reading it with fresh eyes after a good night's rest.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Wednesday May 29, 2024 @03:26PM (#40515871)
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.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Wednesday May 29, 2024 @03:25PM (#40515856)
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.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Wednesday May 29, 2024 @03:13PM (#40515697)
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.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Wednesday May 29, 2024 @02:04PM (#40514874)
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.
Re:Ask HN: Will an AI be able to prove Fermat's last theorem? When?
on Tuesday May 28, 2024 @03:37PM (#40504699)
Re:The Fermat's Last Theorem Project
on Wednesday May 01, 2024 @01:37AM (#40219853)
which part
Re:The Fermat's Last Theorem Project
on Tuesday April 30, 2024 @05:32PM (#40216620)
Re:Researchers uncover 'pornification' trend among female streamers on...
on Monday March 25, 2024 @04:59PM (#39821209)
Exactly. I have my degree as well, so I was doing some research of my own. It’s an ongoing thing.
Re:Mathematicians plan computer proof of Fermat's last theorem
on Thursday March 21, 2024 @06:43PM (#39785341)
techrxiv.org/doi/full/10.36227/techrxiv.170629872.29614231/v1
Re:An Interesting Proof
on Wednesday February 28, 2024 @03:50PM (#39543255)
Seems like some kind of novel approach. Looks right to me. But my math is okay, so I need better eyes.
Re:"I loved every minute" - Andrew Wiles on solving Fermat's Last Theo...
on Saturday January 20, 2024 @08:42PM (#39074601)
Re:Roy Kerr: Do Black Holes Have Singularities?
on Thursday December 14, 2023 @03:49AM (#38639239)
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
Re:What did the katydids do when picking up bat sounds?
on Wednesday December 13, 2023 @04:38PM (#38634509)
They did nothing, apparently. Just kept on keeping on
Re:Ask HN: Who wants to be hired? (December 2023)
on Friday December 01, 2023 @06:05PM (#38493812)
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: [email protected]
Re:Ask HN: I would like an honest discussion about this math proof?
on Saturday November 25, 2023 @05:00AM (#38412505)
They quickly delete any posts related to such a proof. Or at least any of my posts about it
Ask HN: I would like an honest discussion about this math proof?
Re:Ask HN: Comment here about whatever you're passionate about at the ...
on Monday November 06, 2023 @05:48PM (#38170257)
Number theory and spacetime! I have a proof for an old number theory problem
Re:Show HN: DevResume - Open-source web-app for creating resumes using...
on Sunday November 05, 2023 @03:41AM (#38149386)
"there is no spoon" xD
Re:Ask HN: Who wants to be hired? (November 2023)
on Saturday November 04, 2023 @05:31PM (#38145336)
Location: USA
Remote: yes
Willing to relocate: yes
Technologies: python, savvy with programs, grad degree is applied math
Résumé/CV: upon request
Email: [email protected]
Re:Formalizing 100 Theorems
on Saturday November 04, 2023 @03:18AM (#38138848)
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)