Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
measurablefunc
17 days ago
|
parent
|
context
|
favorite
| on:
OpenAI withdraws three mathematical results
That's how computers work so it can't be any other way if you're generating proofs with AI.
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
