AI Can Now Prove It. Terence Tao Asks: Can You Explain It?
Ten unpublished research problems, four frontier AI systems, seven essentially flawless solutions, and a computing bill under $1,000. Terence Tao thinks the interesting crisis is just beginning.
AI Can Now Prove It. Terence Tao Asks: Can You Explain It? Read Post »

