Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bee_rider
40 days ago
|
parent
|
context
|
favorite
| on:
“Erdos problem #728 was solved more or less autono...
How hard is it to go back to English, from Lean? Just as hard as going from English to Lean?
If it is easier to convert backwards, maybe the AI can at least describe what the equations mean…
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
If it is easier to convert backwards, maybe the AI can at least describe what the equations mean…