Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
drivebyhooting
7 days ago
|
parent
|
context
|
favorite
| on:
Formalizing Fermat's Last Theorem
LLMs are pretty good at slogging through. When will they come up with brilliant breakthroughs like Andrew Wiles?
help
chpatrick
7 days ago
[–]
About two month ago:
https://en.wikipedia.org/wiki/Jacobian_conjecture
reply
traes
6 days ago
|
parent
|
next
[–]
We have absolutely no idea if this was a brilliant breakthrough or not. They haven't released any explanation of how it was found. A problem being old and prestigious does not mean its solution is automatically a brilliant breakthrough.
reply
drivebyhooting
7 days ago
|
parent
|
prev
|
next
[–]
That’s just a counter example I can check by hand with almost zero background.
Wiles’s proof will remain a mystery to me.
reply
thrance
7 days ago
|
parent
|
prev
[–]
Come on, you can't compare
that
with Wiles's proof.
reply
chpatrick
7 days ago
|
root
|
parent
[–]
Still unsolved for 87 years.
reply
thrance
7 days ago
|
root
|
parent
[–]
Meaningless on its own.
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: