Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
_aavaa_
22 days ago
|
parent
|
context
|
favorite
| on:
OpenAI withdraws three mathematical results
Formalization only helps you if you prove that the formalization is correctly implemented, that the model didn’t subtly mess up or cheat.
Someone still has to read the formalization.
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:
Someone still has to read the formalization.