Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
qwrahg
49 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
49 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
48 days ago
|
prev
[–]
would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
williamstein
48 days ago
|
parent
[–]
https://github.com/ImperialCollegeLondon/FLT
DoctorOetker
48 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.