HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
drivebyhooting
23 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?
chpatrick
23 days ago
[–]
About two month ago:
https://en.wikipedia.org/wiki/Jacobian_conjecture
traes
23 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.
drivebyhooting
23 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.
thrance
23 days ago
|
parent
|
prev
[–]
Come on, you can't compare
that
with Wiles's proof.
chpatrick
23 days ago
|
root
|
parent
[–]
Still unsolved for 87 years.
thrance
23 days ago
|
root
|
parent
[–]
Meaningless on its own.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search:
