pmxi

None of the OpenAI papers published with a Lean formalization have been retracted.

“I don't get it. Why are they confessing?” “They're not confessing.” “They're bragging.”

Hilarious sentence: "DeepSeek-V4.1-Flash-1017 is a minor update to DeepSeek-V4.1-Flash, delivering substantial improvements across reasoning, coding, agentic tasks, and visual benchmarks." (emphasis mine)

The converse is not true.

This test would be passed by a Waymo with ChatGPT.

That’s cool. I knew o1 hid it since launch, so I assumed Anthropic would also have never shown it.

The agent loop doesn’t run in the browser.

That's a summarized and filtered view of the actual reasoning.

OpenAI and Anthropic guard the real reasoning closely. Users have never been able to see it and the API returns an encrypted blob instead of legible reasoning.

Clearly you do, given you expressly maintain that China includes Taiwan (an uncommon opinion)?

The key claim here is, paraphrased: “LLM coding assistants” cannot “help someone write code better or faster.”

This is not true.

This is expected behavior; the Codex app has been rebranded as the ChatGPT app.

This has been a niche where Mistral has actually been successful. Btw, Hindi and Japanese are bucketed in "Rare Languages," which is odd.