Loading Open Internet
    The recent streak of LLM conjecture proofs and "mathematics is over" - questions from a non-mathematician