Scientists trained a brain organoid to solve a well-known engineering task, and its success demonstrates the increasing complexity of lab-grown brains.

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.