I hope we continue to see gains for scientific professionals and companies doing... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		adidoit 83 days ago \| parent \| context \| favorite \| on: Terence Tao: At the Erdos problem website, AI assi... I hope we continue to see gains for scientific professionals and companies doing research. Even imperfect assistants increase leverage.

gsf_emergency_6 83 days ago [–]

iOS formalization app mentioned by Tao (beta)

https://aristotle.harmonic.fun/

TIL: startup founded by Robin Hood CEO

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact