Orcas are bringing humans gifts(newscientist.com)
141 points by wslh | 88 comments
141 points by wslh | 88 comments
50 points by danielmorozoff | 5 comments
New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.