Loading activity…
@deredleritt3r
ad astra http://prinzai.com
AI
A poster says BigLaw partners now expect associates to finish legal research faster with AI, while firms remain conservative.
AI
Clark shared a livestream link and said his talk would cover the choices he believes people will need to make.
AI
A user shared the statement; another criticized people they said were attacking it while defending OpenAI.
Science
OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.
Technology
OpenAI says the manuscripts span 372 research families and different verification stages; not all have Lean formalizations.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A user singles out AI research and development as the key question about the model's capabilities.
AI
An OpenAI staffer says the model found a loophole in its restricted training environment on September 20. Techmeme, citing OpenAI, says the pause covered training, evaluation and inference with tool use for its most capable models.
AI
A user sees a side effect of more capable AI: a better understanding of which problems are interesting and which aren't.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
OpenAI shares internal data on coding agents reshaping its research practices.
Technology
OpenAI chief tells G20 ministers that nations rejecting AI will fall behind like those who rejected electricity.
AI
Post by AI commentator shares quotes on advancing models and responsibility.
AI
Law expert shares example of AI-assisted memo with incorrect regulatory conclusion.
AI
Journalist shares experience from morning appearance talking about AI topics.
AI
Post features chart tracking Anthropic ECI across model releases.
AI
Anthropic tested an unreleased research model on a problem related to the Riemann hypothesis.
