We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: https://t.co/Q8boT8zOh2
https://t.co/xsyWv2ehDC
Congratulations to the recipients of the 2025 Early Career awards & Promotion of Women in Neuroscience awards!
These researchers are advancing neuroscience through groundbreaking discoveries, mentorship, & scientific excellence
Hear their remarks: https://t.co/YZbXutusJ3
#SfN25
RL Debates 4: Adam "I literally measured value in the brain" Lowet
@Adam_Lowet's talk covered a lot of ground — from his recent work on distributional RL (https://t.co/mRriJzSToT) to a broader discussion of RL & the brain.
📽️ Watch the full meeting here: https://t.co/pkqcRE0Rka
What drives behavior in living organisms? And how can we design artificial agents that learn interactively?
📢 To address such questions, the Sensorimotor AI Journal Club is launching the "RL Debate Series"👇
w/ @EliSennesh, @Adam_Lowet, @no_reward_for_u@TommSalvatori
🧵[1/5]
The only viable future for AI is non-autoregressive. It's upon this founding principle that we built Logical Intelligence — a company dedicated to making mission-critical software secure through AI formal verification.
We’re launching two AI agents + a new foundation model to deliver provably correct code, faster than ever before.
➡️ Non-autoregressive
➡️ Energy-based
➡️ Built for 100% mathematically precise reasoning
Unlike LLMs, our model doesn’t stumble piece by piece — it solves holistically, like magnets snapping a puzzle into place.
@HyungGoo_Kim@Nature @naoshigeuchida @jdrugowitsch Thanks HyungGoo! I wouldn't have gotten up to speed nearly as quickly without your mentorship early on.
Thanks also to Blake Richards (@tyrell_turing), Ilya Monosov, and the other, anonymous, reviewer(s), whose comments greatly improved the manuscript!
8/8
This was the culmination of a tremendous team effort unfolding over many years, with coauthors Qiao Zheng, Melissa Meng, @SaraM306, @jdrugowitsch, and @naoshigeuchida.
7/8