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

I suspect the future will involve AI performing its own research with the ability to take measurements and make observations.

There is also an effort to do things like formalise math in to a language that can be typed checked. Then you ask the AI to prove a statement is true using the language. As soon as it type checks, you know you have a valid proof. Some new data was just created.



Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

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

Search: