Ah, by "chaser", you mean "emetic"
2 Giant 2 Rat Penis
Good grief, I know. It was bad enough when SBF hit the headlines, but now, it feels like the next news cycle will involve explaining how Thielbux funded a performance art piece in Dimes Square about Nikolai Fyodorov's Cosmism.
Spending an unknown but potentially long amount of time to maybe get a solution of potentially minimal legibility is definitely AI's killer app.
That picture... Harry Potter and the Hole of Ketamine.
OpenAI said in its announcement that search responses will include in-line citations and that users can open a sidebar to view links to external sources. The long-term goal is to then incorporate search features into ChatGPT, the company’s flagship AI product.
"The long-term goal is to reinvent the Internet of 25 years ago, but worse."
Regarding that claimed breakthrough about AI winning the International Mathematical Olympiad: a reminder that a proof which hangs together logically is not necessarily a proof that makes sense.
Those formalized proofs are so incredibly ugly, it's amazing. Of course it doesn't much of a sensible indentation, but then there are single proof steps where I have no idea what it's even doing. [...] And then there are nonsense mathematical steps. The solution of problem 2 starts with induction, before introducing any variables. It applies induction to the number 12. And it write 12 as
(10)+2
. Then it proceeds to do the whole proof in the base case of the induction, and notices that the induction step is trivial, since the goal is the same as the induction hypothesis (but instead of theassumption
tactic it usescongr 26
).
Incoming ban from site detected.
Saying anything in particular makes you open to fact-based criticism — I mean, it is object-level and bad, instead of meta-level and good.
... his brain works?
Objection! Facts not in evidence!