Dario - Timeline for AI solving major math problems (via searchlore.ai)