The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·6h
Flag this post
Skills as Object-Oriented Programming for LLMs
Flag this post
“It keeps me awake at night”: machine-learning pioneer on AI’s threat to humanity
nature.com·10h
Flag this post
OpenAI pushes ChatGPT toward a more personal assistant with GPT-5.1 update
the-decoder.com·2h
🤖AI Agent
Flag this post
I Built a Thinking AI Agent in Python that Uses the Internet by Itself
pub.towardsai.net·14h
🤖AI Agent
Flag this post
Google Summer of Code 2025: What Our Contributors Built
blog.jetbrains.com·1h
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·2d
🤖AI Agent
Flag this post
CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference
arxiv.org·1d
🤖AI Agent
Flag this post
Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
🤖AI Agent
Flag this post
original ↗
joecarlsmith.com·22h
🤖AI Agent
Flag this post
OpenAI Releases GPT 5.1
lesswrong.com·2h
🤖AI Agent
Flag this post
Dynamic Sparsity: Challenging Common Sparsity Assumptions for Learning World Models in Robotic Reinforcement Learning Benchmarks
arxiv.org·17h
🤖AI Agent
Flag this post
Rethinking Explanation Evaluation under the Retraining Scheme
arxiv.org·17h
Flag this post
Undissolvable Problems: things that still confuse me
lesswrong.com·6h
Flag this post
Loading...Loading more...