Loading activity…
@jasondeanlee
Associate Professor CS/stats UC Berkeley and Senior Scientist at Simons Institute. ML/AI Researcher working on LLMs and deep learning.
AI
NYU's listing says the two-year position has a flexible 2027 start; application review begins December 1, 2026.
AI
The incoming professor says they're recruiting PhD students and postdocs for fall 2027 in reinforcement learning and deep learning.
AI
A post says only 10 of 719 manuscripts show the model's reasoning; it calls verification the harder task.
AI
A user said the notice warned that capabilities were reduced until later and responses might be lower quality.
AI
Meta says researchers used Muse Spark 1.1 and 1.2 through its standard chat interface, with human review.
AI
The project’s author says GPT-5 supplied a clever proof for an upper bound of pcr after initially giving useless results.
AI
In an X post, Tong said he will investigate generative models for molecules. Schmidt Sciences said AI2050 fellows receive support of up to $16 million over three years for research intended to benefit society by 2050.
AI
A would-be attendee said they couldn’t get into the Courant professor’s talk despite arriving on time. Those seated had arrived 20 minutes early, they said.
AI
A user quotes OpenAI as claiming more than 100 resolved open problems, plus the Navier–Stokes Millennium Prize problem. Separately, OpenAI announced an independent mathematics advisory group.
AI
UC Berkeley academic compares the two AI writing tools in a public post.
AI
OpenAI repo provides conditional Lean formalization proving infinitely many prime pairs differ by at most 186.
AI
Dimitris Papailiopoulos suggests frontier labs could profit by optimizing existing models if training paused.
AI
Jason Lee asks how to permanently dismiss a recurring ChatGPT prompt on browser.
AI
Former DeepMind engineer asks who originated recurrent depth and which early papers were overlooked.
AI
Dimitris Papailiopoulos recounts pivoting his group after early exposure to davinci.
AI
Replies to users complaining about rapid Fable 5.1 limit depletion on the Max plan.
AI
A new paper demonstrates large-scale extraction of raw reasoning traces from OpenAI, Anthropic, and Gemini models via API flaws.
AI
Keller Jordan states most big lab researchers read almost no papers from top AI venues.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
AI
Compact multimodal model matches original performance at quarter the size.
