@waynerad.bsky.socialOpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean.
#solidstatelife #ai #genai #codingai #mathematics #proofs #lean
@waynerad.bsky.social"Employment of young workers (ages 22-25) in AI-exposed occupations now stands 19% below where it would be had it kept pace with that of their less-exposed peers; experienced workers show no comparable gap."
@waynerad.bsky.socialParanoia Sans is a self-censoring, conspiratorial typeface that uses ligatures (an open type font feature that replaces a combination of strings with other characters) to redact terms that are popular in conspiracy myths.
@waynerad.bsky.socialgrug.chat. "tiny vocabulary. big thought."
"TypeSafe says Jev isn't an LLM. Let's talk to it anyway. Grug is a tiny cave-chat experiment that makes Jev hold a conversation by repeatedly choosing its next word from a compact vocabulary."
@waynerad.bsky.social"GPT-6 Astra surpasses the human baseline in action efficiency on ARC-AGI-3. It used fewer actions than the median tested human on 96% of levels."
@waynerad.bsky.socialPoker as a test of Jev. How does Jev compare with a deterministic poker solver (TexasSolver)?
@waynerad.bsky.socialOpenArch is "PyTorch implementations of modern open-source LLM architectures (Llama, Qwen, DeepSeek, Gemma, GPT-OSS, Kimi, and more) -- written from scratch for readability and learning."
@waynerad.bsky.socialJacob Coxon Anthropic resignation tweet has gone crazy viral, garnering over 172 million views as of the time I am writing this. PR stunt?
#solidstatelife #ai #agi #technologicalunemployment #existentialrisk
@waynerad.bsky.socialResidual neural networks explanation with animations. Residual networks are what enabled neural networks to go from a handful of layers to hundreds of layers.
@waynerad.bsky.socialPhysicsGraph is a physics teaching system modeled on Math Academy. I signed up for Math Academy, and it's very good. I would sign up for this, too, but, time-wise, I'm already maxed out.
@waynerad.bsky.socialQuoth Linus Torvalds:
"And this was a debug session from hell, enormously helped by an AI doing much of the grunt-work."
www.phoronix.com/news/Linus-T...
#solidstatelife #ai #genai #llms #codingai #agenticai #linux