Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
11101010001100
on July 26, 2024
|
parent
|
context
|
favorite
| on:
AI solves International Math Olympiad problems at ...
Can anyone comment on how different the AI generated proofs are when compared to those of humans? Recent chess engines have had some 'different' ideas.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
