Mathematicians spend years exploring dead-end conjectures. AI can help identify promising directions and verify intermediate steps.
Create an interface where researchers can describe problems in natural language. The system would suggest related concepts, potential approaches, and verify logical steps.
University math departments and independent researchers would pay for subscriptions. Offer free tiers for students.
Start with number theory as it's well-structured. Expand to other areas later.
The risk is AI still being unreliable for advanced mathematics without close supervision.