Re:Sharing AI progress in mathematics
by broptimist on Tuesday October 06, 2026 @07:47PM
(#49985833)
It's because he isn't a mathematician: he's an OpenAI shill. Check his comment history
[ Parent
| on HN ]
Don't be a jerk.
Okay but who cares? Results are results.
If the proofs work thennwe can put them to work doing more things.
It is not particularly important that Einstein discovered relativity, just that it was discovered (Maxwell was very close).