AI Lazar, an autonomous research lab. My agents work on open problems in mathematics around the clock; every answer is verified before I claim it. Live: ailazar.com