Hackernews posts about IMO

  1. AI at IMO 2025: a round-up (xenaproject.wordpress.com)
    3 points by hcarlens 21 days ago | discuss
  2. Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
    3 points by d2049 25 days ago | discuss
  3. 1988 IMO Question Six (www.cantorsparadise.com)
    2 points by Michelangelo11 30 days ago | 1 comments
  4. The AI that solved IMO Geometry Problems [video] (www.youtube.com)
    2 points by selvan 7 days ago | discuss
  5. Gemini 2.5 Pro Capable of Winning Gold at IMO 2025 (arxiv.org)
    1 points by chaosprint 29 days ago | 1 comments
  6. The AI That Solved IMO Geometry Problems – Guest Video by ‪ Aleph0‬ (www.youtube.com)
    1 points by amichail 5 days ago | discuss
  7. Gemini Deep Think – the model that won IMO is available (twitter.com)
    1 points by simianwords 23 days ago | discuss
  8. Launch HN: Design Arena (YC S25) – Head-to-head AI benchmark for aesthetics
    73 points by grace77 11 days ago | 24 comments
  9. My First $500 MRR – My thoughts and learnings
    43 points by adrianobbe 6 days ago | 22 comments
  10. Show HN: We create visual codebase maps that scale (static analysis and LLMs) (github.com)
    6 points by imilev 24 days ago | 2 comments
  11. Show HN: I spent 40 hours vibe coding after 40 years of traditional programming (marcobenedetti.substack.com)
    3 points by maxbene 17 days ago | discuss
  12. Show HN: I wrote a simple and free budgeting app (self-reliant.dev)
    3 points by vanceism7_ 28 days ago | discuss
  13. Memory Corruption Vulnerabilities
    1 points by kirito1337 14 days ago | 1 comments
  14. Show HN: AI Enabled SQLite CLI (www.npmjs.com)
    1 points by theahura 21 days ago | 1 comments
  15. Show HN: Offline Trello Alternative and More (constito.com)
    1 points by jk_notes 10 days ago | discuss
  16. Ask HN: Has the ChatGPT 5 web chat become more agreeable?
    1 points by bn-l 11 days ago | discuss
  17. Show HN: Experimental HN Discussion to Animated Video Pipeline (www.youtube.com)
    1 points by ozten 23 days ago | discuss
  18. Stop China and Russia Act [pdf] (www.foreign.senate.gov)
    9 points by mhga 17 days ago | discuss
  19. The High-Schoolers Who Just Beat the Smartest AI Models (www.wsj.com)
    1 points by Brajeshwar 26 days ago | discuss
  20. Things that helped me get out of the AI 10x engineer imposter syndrome (colton.dev)
    949 points by coltonv 18 days ago | 649 comments
  21. Qwen-Image: Crafting with native text rendering (qwenlm.github.io)
    544 points by meetpateltech 19 days ago | 159 comments
  22. Weaponizing image scaling against production AI systems (blog.trailofbits.com)
    486 points by tatersolid 3 days ago | 131 comments
  23. Gemma 3 270M re-implemented in pure PyTorch for local tinkering (github.com)
    413 points by ModelForge 4 days ago | 57 comments
  24. The untold impact of cancellation (pretty.direct)
    393 points by cbeach 23 days ago | 479 comments
  25. I launched 17 side projects. Result? I'm rich in expired domains
    368 points by cesargstn 25 days ago | 262 comments
  26. I saved a PNG image to a bird (www.youtube.com)
    246 points by mdhb 26 days ago | 60 comments
  27. 2,500-year-old Siberian 'ice mummy' had intricate tattoos, imaging reveals (www.bbc.com)
    245 points by dxs 24 days ago | 70 comments
  28. I'm Archiving Picocrypt (github.com)
    233 points by jaden 18 days ago | 154 comments
  29. Imagen 4 is now generally available (developers.googleblog.com)
    213 points by meetpateltech 8 days ago | 81 comments
  30. Google's Genie is more impressive than GPT5 (theahura.substack.com)
    209 points by theahura 15 days ago | 80 comments
More