Hackernews posts about Axion

Axiom Foundation launches to publish law as open, verifiable code (axiom.org)

31 points by axbac 7 days ago | 18 comments
Axon, a TypeScript framework for agent development (axon.arclabs.it)

5 points by codywakeford 12 days ago | 2 comments
Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com)

5 points by gopiandcode 8 days ago | discuss
Asimov: NeuroSymbolic Adversarial Generation of Ethic Axioms (parrotsbasilisks.substack.com)

4 points by elalber2000 23 days ago | discuss
Show HN: Axiom toolkit – Make your ideas precise enough to be proven wrong (axiomreason.com)

3 points by samcymbaluk 18 days ago | discuss
Microsoft Project Aion (Copilot OS Incubation Effort) [video] (www.youtube.com)

3 points by Topfi 21 days ago | discuss
What Is Project Aion? Inside Microsoft's Agentic Copilot OS (www.windowscentral.com)

3 points by atan2 30 days ago | discuss
Axiom Space's orbital station in a legal vacuum once it detaches from the ISS (beyondhorizonforesight.substack.com)

2 points by beyondhorizonfs 27 days ago | 2 comments
Show HN: Axioma – Stream and data compression engine for low-bandwidth links (github.com)

2 points by abbasov_murad 5 days ago | 1 comments
Learnability Can Be Independent of ZFC Axioms (2019) (arxiv.org)

2 points by gone35 14 days ago | discuss
Show HN: AxiomCore – a Claude plugin that keeps your projects structured (github.com)

1 points by dybovalex 2 days ago | discuss
AxiomProver at IMO 2026 (perfect score) (github.com)

1 points by chaoxu 19 days ago | discuss
Show HN: Axiom-02 – Deterministic engine modeling cognitive dissonance (github.com)

1 points by Zierax 28 days ago | discuss
OpenAI and Hugging Face address security incident during model evaluation (openai.com)

1632 points by mfiguiere 15 days ago | 1158 comments
Changes at Google DeepMind: Demis Hassabis from CEO to Chair, Jeff Dean departs (blog.google)

249 points by colesantiago about 4 hours ago | 413 comments
Demis Hassabis is moving from CEO to Chairman at Google DeepMind (www.axios.com)

369 points by ot about 4 hours ago | 1 comments
OpenAI and Anthropic unite against open-weight AI risks to their bottom line (www.axios.com)

299 points by yogthos 13 days ago | 331 comments
It was OpenAI that accidentally breached Hugging Face (www.axios.com)

30 points by seatac76 15 days ago | 8 comments
White House excludes open models from framework to test advanced AI capabilities (www.axios.com)

21 points by petethomas about 21 hours ago | 5 comments
Time-Series Language Models for Reasoning over Multivariate Data at Scale (ICML) (www.aioniclabs.ai)

19 points by rjakob 19 days ago | 12 comments
The secret Trump administration battle to fight Chinese AI (www.axios.com)

19 points by nnx 16 days ago | 5 comments
Americans say large tech companies have too much power (www.axios.com)

18 points by thisislife2 7 days ago | 5 comments
US administration considering ban on Chinese open source AI models (www.axios.com)

11 points by anigbrowl 16 days ago | 2 comments
Mark Zuckerberg launches AI optimism campaign (www.axios.com)

10 points by andsoitis 13 days ago | 5 comments
Iranian hackers likely behind Minnesota municipal water cyberattack (www.axios.com)

10 points by porridgeraisin 5 days ago | discuss
A staggering class divide now separates how Americans experience AI (www.axios.com)

9 points by giuliomagnifico 26 days ago | 2 comments
FBI gets voter's IP address in new fraud probe tactic (www.axios.com)

9 points by sailfast 5 days ago | 1 comments
Trump administration lifts restrictions on OpenAI's GPT 5.6 (www.axios.com)

8 points by jessesoo 29 days ago | 4 comments
Why the bond market is doubting Fed chairman Warsh (www.axios.com)

8 points by toomuchtodo 6 days ago | 3 comments
Federal cuts threaten wildfire research as Western fire risk rises (www.axios.com)

8 points by mooreds 16 days ago | 1 comments