OpenAI’s 722 AI-Generated Math Results: What We Know 7 October 2026·3016 words·15 mins OpenAI AI Mathematics AI Research Formal Verification Lean Riemann Hypothesis Kakeya Conjecture Mathematical Research
Penn Launches Betty NVIDIA Supercomputer for AI Research 8 August 2025·1597 words·8 mins University of Pennsylvania UPenn Nvidia Supercomputing AI Research HPC GPU Computing Scientific Computing
