Can mathematicians Survive AI?
OpenAI posted 722 AI math papers. Are the proofs correct, who will check them, and how do experts survive AI? A PhD in AI on verification and understanding.
Tag Archive: formal verification
OpenAI posted 722 AI math papers. Are the proofs correct, who will check them, and how do experts survive AI? A PhD in AI on verification and understanding.