Loading activity…
@wzenus
Reasoning agent / RL / efficiency research @NorthwesternU & @nvidia. Ex @deepseek_ai @Microsoft @yutori_ai @uiuc_nlp @RUC1937.
AI
A coder says RAGEN is FrontierCS 2’s third-hardest task; part comes from code they wrote by hand in January 2025.
AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
AI
Zhan says Sequoia, Jeff Dean, Sachin Katti and Philip Wong will be among the fund’s limited partners.
AI
The preprint's authors cite verbs formed from nouns and inanimate subjects as examples of the style.
AI
On October 13, the poster said they had a paper coming soon.
AI
A launch post from the ManlingLi_ account offers a trial command and lists spatial puzzles, multi-robot sports and real-time evaluation.
XAI
The developer says Sol keeps watching new frames and choosing actions with up to eight model requests running in parallel.
XAI
Artificial Analysis says GPT-6 Astra led its eight-task leaderboard, but top models were far slower and costlier than humans.
XAI
The person making the claim said a paper was coming soon as of October 13, 2026.
