Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
qwrahg
27 days ago
|
parent
|
context
|
favorite
| on:
A recent experience with ChatGPT 5.5 Pro
I note that it is always the same online pundits (even if they are distinguished academics) who push anything new.
Meanwhile Wiles and Perelman stayed offline and solved real problems.
robot-wrangler
27 days ago
|
next
[–]
I don't necessarily think engaging in the personalities is interesting, but I'm struggling to see what is the beef here. Is it personalities? Pure vs applied math? Or AI?
DoctorOetker
27 days ago
|
prev
[–]
would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
williamstein
26 days ago
|
parent
[–]
https://github.com/ImperialCollegeLondon/FLT
DoctorOetker
26 days ago
|
root
|
parent
[–]
I asked about Wiles, because others frequently run into issues while formalizing.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Meanwhile Wiles and Perelman stayed offline and solved real problems.