upperhalfplane

19 ms·

1.
by upperhalfplane 6mo ago
My favorite geometric proof of an inequality is the one I read on Terry Tao's blog. Interestingly, it's not presented as a geometric proof, but it is very much one: if you have two vectors x, y, you just shrink the longer one and
2.
Show HN: Xent Game: help GPT2 minimize its surprise(xent.games)
2 points by upperhalfplane 1y ago|0 comments
3.
by upperhalfplane 1y ago
TLDR: games are a good way to go.
4.
by upperhalfplane 1y ago
I don't quite think they cheat at math olympiads, but obviously there are blindspots for the unspectacular tasks. That being said, Mississippi is both a good and a bad question to ask. On the one hand, it's "the bare minim
5.
by upperhalfplane 1y ago
> It's basically always guessing / confabulating / hallucinating if you ask it an introspective question like that. You're absolutely right! This is the basis of this recent paper https://www.arxiv.org&#x2F
6.
by upperhalfplane 1y ago
100% agree about this too (also a professional mathematician). To mathematicians who have not been trained on such problems, these will typically look very hard, especially the more recent olympiad problems (as opposed to problems from eg 3
7.
by upperhalfplane 2y ago
I don't think it's an order of magnitude below... though it's a bit hard to know for sure
8.
by upperhalfplane 2y ago
It looks like you can (there are some LLM responses out there, e.g. Sonnet 3.5). Not clear if they can be super good at this, though.
9.
XentGame: Help Minimize LLM Surprise(xentlabs.ai)
17 points by upperhalfplane 2y ago|5 comments