Paper Assistant

Google's Paper Assistant is a research-focused software tool that reads complete scientific manuscripts, checks claims and proofs, and helps identify mathematical errors during scientific review.