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

So mathematics has entered the “throw stuff to a board and see if it sticks” phase..
 help



That's how computers work so it can't be any other way if you're generating proofs with AI.



Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

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

Search: