It is the latter. AI models such as DeepThink currently can't quite invent new theories, but is very good in connecting ideas, e.g., across subfields in maths. Problem #7 of FirstProof is special, Aletheia can solve with very heavy machinery according to our experts

→ View original post on X — @lmthang