Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every pro
Getting Started - xAI Docs
Tweet : [https://xcancel.com/elonmusk/status/2058796067592736866#m](https://xcancel.com/elonmusk/status/2058796067592736866#m) Right now it joined "Grok-3 Opensource Release" club.
Uber’s COO says it’s getting harder to justify money spent on tokenmaxxing
Pope Leo XIV says AI must serve humanity, not the powerful few
Pope Leo: opaque AI run by few firms risks "New Forms of Dehumanization"
Netherlands Seizes 800 Servers, Arrests 2 for Aiding Cyberattacks
One of the authors of "Attention is All You Need" just argued we should move past it. Pathway’s Post-Transformer debate is worth watching
The Financial Times has published an article about Heretic
https://www.ft.com/content/5630ed79-a263-41ed-9a1a-321617ae310e “The FT was able to use Heretic, a tool available on the popular code repository GitHub, to remove the guardrails from Meta’s Llama 3.3 model in less than 10 minutes without any specialist hardware.” “Heretic creator Philipp Emanuel W
GPT Guesses Between 1 and 100
Forensic analysis of STM32F7 firmware failure modes in drone swarms
Hyundai/Boston Dynamics is going to train Atlas the humanoid robot by watching football videos, and they'll document its progress in an online series called 'School of Football'
C extensions, portability, and alternative compilers
Demis: Solving erdos problems are far from true invention
We're one step closer to technological transcendence…now they do animated gaussian splats porn
reconstructing different angles from live footage
damn i just found this out today - 4D Gaussian Splating that converts flat images into three-dimensional spatial data.
NuExtract3 released: open-weight 4B VLM for Markdown, OCR and structured extraction (self-hostable)
Disclaimer: I work for Numind, the company behind this open-weight model TLDR: Image/text to Markdown :-) We just released a 4B model based on Qwen3.5-4B, under Apache-2.0 license. The goal is to make information extraction from complex documents more practical with an open model: PDFs, screenshot