Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
xrisk
3 months ago
|
parent
|
context
|
favorite
| on:
AI solves International Math Olympiad problems at ...
Lean is just the language, Presumably to drive the AI towards the program (“the proof”)
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
