Hackernews posts about Upsolve
- EinsteinArena: AI agents collaborate and compete on unsolved science problems (einsteinarena.com)
- The greatest unsolved problem in computer science (www.youtube.com)
- Creative problem-solving after provoking dreams of unsolved puzzles (academic.oup.com)
- Show HN: Zenòdot – Find if a book has been translated into your language (www.zenodot.app)
- Autoresearch for SAT Solvers (github.com)
- Codex with a vague prompt just solved a bug in Ghostty (twitter.com)
- Money isn't going to solve the burnout problem (blogs.gentoo.org)
- Solve chess checkmate puzzles in the browser (www.chess.com)
- The Delicate Art of Brute Force: How to Compute It When You Can't Solve It (press.princeton.edu)
- Show HN: The Mog Programming Language (moglang.org)