[5/24 03:00] Hark $700M Series A Brett Adcock universal AI interface / OpenAI internal model autonomously solves 80-year Erdős problem