Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jrflo
2 days ago
|
parent
|
context
|
favorite
| on:
A misalignment of AI in mathematics
It's not only Lean code, there are English writeups too. To my understanding the pipeline for these problems is 1) solve in english 2) formalize systematically to check. No one is tackling problems purely in Lean, to my understanding.
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...
help
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...