> Today, he's working on formal reasoning and dreams of creating an automated software engineer.
How does that work and should we be worried? The article doesn’t touch on this topic beyond the introduction.
(Note: I am aware of using genetic algorithms to evolve code to produce a solution to some specific problem. "Automated software engineer" seems to contemplate something more sophisticated than that.)
How does that work and should we be worried? The article doesn’t touch on this topic beyond the introduction.
(Note: I am aware of using genetic algorithms to evolve code to produce a solution to some specific problem. "Automated software engineer" seems to contemplate something more sophisticated than that.)