News for hackers. Stuff that matters.
Re:Post-human mathematics by odonnellryan on Monday November 23, 2015 @01:06PM (#10616051)
It's a system of evolution: for the software to survive it must be useful, self-fulfilling, or a combination.

Artificial intelligence will go through its own evolutionary path, and it already is. Machines already build themselves: software is used to design their own architecture.

There are already research labs that use machine learning to design better processors.

Re:Post-human mathematics by positron4 on Monday November 23, 2015 @11:33PM (#10619139)
Excellent point. But can this be extended to abstract mathematics as well i.e. software reasoning able to gain mathematical insights automatically? That would be very interesting indeed.