Here's how to solve America's problems: 
QuillcrestFalconer
joined 5 years ago
Just buy a car with functioning brakes. Can't be that hard righht?
What if it's bird flu
Yeah deepmind had good results with IMO problems, but only geometry problems. They scored almost at the level of gold medalist. That's only a fraction of IMO problems, though. They did it by combining a formal verification system with a LLM to propose solution paths, and then doing some tree search I think.
This is one way to improve large AI systems and will probably be incorporated in some way in the future, for example by integrating with a language like lean (for math proofs).
They will also be improved by combining with tool use like calculators, code interpreters, web search, calendars, etc. This is already starting to happen to some extent.
LLMs by themselves, at least with current architectures using transformers, are not great at reasoning (counting, arithmetic, symbolic reasoning)
He's horny
The site goes off and a coup in Bolivia happens. Coincidence? I think not
Can't believe Russia developed a high colesterol ray gun
I support the existence of the state of Israel on german land.
What, you don't want a Jewish state in german land? Are you an anti-semite?
Why not just argue for blocking the republicans from running, since it's them you're supposedly afraid of?
That's just me when depressed
It's not lying if you're not making any sense in the first place