HomeAI Tutorial
Information

AI Dataset Collection

Large-scale datasets and benchmarks for training, evaluating, and testing models to measure

Tools

Intelligent Document Recognition

Comprehensive Text Extraction and Document Processing Solutions for Users

prove-it-is-9

Public

A formal proof in Lean that the 500th decimal digit of (√2 + √3)^2012 is 9, written by gemini-cli

Creat2025-10-13T03:51:48
Update2025-10-14T00:31:28
0
Stars
0
Stars Increase

Related projects