Viewing profile — upperhalfplane

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…

Hi there! We're Andrew and Clément and we decided to make a game to understand better how LLM process and compress information. So we made a sort of reverse prompting game with con…

TLDR: games are a good way to go.

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 …

> 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 …

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 mor…

I don't think it's an order of magnitude below... though it's a bit hard to know for sure

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.