HN Explorer

Davidzheng

↗ HN profile [ 63.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Quo Vadis, LLM Benchmarks? (florianbrand.com)
    3 points 0
  2. Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)
    2 points 1
  3. OpenAI claims gold-medal performance at IMO 2025 (twitter.com)
    479 points 85
  4. The OEIS Game (not affliated) (oeis-game.org)

    OEIS is the The On-Line Encyclopedia of Integer Sequences® (OEIS®). Refresh for another question if it's a bad question.

    2 points 0
  5. 1 points 0
  6. Anthropic: Mapping the Mind of a Language Model (anthropic.com)
    3 points 0
  7. Jan Leike's (ex-superalignment lead) thoughts on safety at OpenAI (twitter.com)
    6 points 2