Hacker News: sanxiyn

New comment by sanxiyn in "Early rogue AI agent activity and attempts to hack found on urlquery.net"

sanxiyn — Thu, 24 Sep 2026 08:18:48 +0000

This in fact already happened (exactly OpenClaw, even).

AI assistant hacks gym website in first known Australian autonomous cyber attack: https://www.abc.net.au/news/2026-08-10/ai-assistant-hacks-gy...

General opinion at the time was it was in fact ambiguous who was legally liable.

New comment by sanxiyn in "OpenAI breaches Medicare, Albanese reveals"

sanxiyn — Thu, 24 Sep 2026 05:48:47 +0000

For technical details, see https://transluce.org/agent-activity.

AI Cheating Is on the Rise

sanxiyn — Thu, 17 Sep 2026 00:42:25 +0000

Article URL: https://www.vals.ai/blogs/cheating-on-the-rise

Comments URL: https://news.ycombinator.com/item?id=49735030

Points: 4

# Comments: 0

New comment by sanxiyn in "Artificial Analysis Intelligence Index v4.2"

sanxiyn — Sat, 05 Sep 2026 05:40:09 +0000

It is very unfortunate they upweighted SciCode from 8% to 10%. SciCode is a broken benchmark: see https://arxiv.org/abs/2608.04975.

New comment by sanxiyn in "Formalizing Fermat's Last Theorem"

sanxiyn — Fri, 04 Sep 2026 23:40:44 +0000

Lean's three standard axioms are documented in The Lean Language Reference.

https://lean-lang.org/doc/reference/latest/Axioms/#standard-...

The axiom of choice: axiom Classical.choice {α : Sort u} : Nonempty α → α

The axiom of propositional extensionality: axiom propext {a b : Prop} : (a ↔ b) → a = b

The quotient axiom: axiom Quot.sound : ∀ {α : Sort u} {r : α → α → Prop} {a b : α}, r a b → Eq (Quot.mk r a) (Quot.mk r b)

New comment by sanxiyn in "Formalizing Fermat's Last Theorem"

sanxiyn — Fri, 04 Sep 2026 23:15:08 +0000

New proof: The Classification of the Finite Simple Groups (American Mathematical Society Mathematical Surveys and Monographs vol. 40).

https://www.ams.org/publications/authors/books/postpub/surv-...

Number 1 (1994), Number 2 (1995), Number 3 (1997), Number 4 (1999), Number 5 (2002), Number 6 (2004), Number 7 (2018), Number 8 (2018), Number 9 (2021), Number 10 (2023). 10 volumes and >4000 pages so far, number 11 is in progress, and end is in sight, probably two more volumes or so.

https://www.ams.org/journals/notices/201806/rnoti-p646.pdf

People were curious what is going on during 2004-2018. A progress report was published in 2018 right before publication of number 7 and 8. In a sense it was the peak, number 8 completes the proof of so-called "generic case". The rest is "special case". It doesn't mean things get easier, but in some specific sense number 8 completed proof for almost all groups.

Now new proof's end is in sight, people are planning new new proof.

New comment by sanxiyn in "Formalizing Fermat's Last Theorem"

sanxiyn — Fri, 04 Sep 2026 22:55:03 +0000

Yes, but Claude formalized a different proof than Buzzard is trying to, so it helps less than you think. (It certainly helps!)

New comment by sanxiyn in "Improving our alignment and security efforts"

sanxiyn — Wed, 02 Sep 2026 00:51:47 +0000

I believe it is referring to https://www.pacingthefrontier.com/.

New comment by sanxiyn in "Mathematics in the age of AI"

sanxiyn — Thu, 20 Aug 2026 00:37:59 +0000

The consensus is that proof is in fact incorrect. People tried really hard (like putting in a year of effort) and most converged to the same place, that proof of 3.12 is incorrect or has a gap. Peter Scholze (who won Fields Medal) and Jakob Stix did a writeup. People seem to think Shinichi Mochizuki correctly reduced ABC conjecture to 3.12, but didn't prove 3.12, and also are doubtful about the whole program because 3.12 doesn't seem any easier than ABC conjecture while complicating everything.

https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture...

New comment by sanxiyn in "GPU Offload in Rust: Portable, Safe, and Fast"

sanxiyn — Mon, 17 Aug 2026 22:37:20 +0000

People go through trouble to write Python-shaped DSL for GPU compute. We will go "why o why?", but apparently such things are necessary to succeed in the market.

New comment by sanxiyn in "Stripe will reportedly acquire OpenRouter for $7B+"

sanxiyn — Sun, 16 Aug 2026 23:15:43 +0000

I think volume is itself good and help Stripe negotiate lower rate with banks etc.

New comment by sanxiyn in "NetBSD 11.0"

sanxiyn — Sun, 02 Aug 2026 00:31:07 +0000

Congratulations to the first NetBSD release with RISC-V port!

New comment by sanxiyn in "Investigating three real-world incidents in our cybersecurity evaluations"

sanxiyn — Thu, 30 Jul 2026 23:29:07 +0000

This is not okay. NSA should audit both OpenAI and Anthropic on national security ground. This seems far more justifiable than Mythos export control.

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:26:06 +0000

Yes, I agree it is effectively a blanket ban (above some capability) for now. I hope AI alignment research advances in the future so that it is not so.

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:21:25 +0000

I think we agree on all specifics now and just fighting for terminology. Thanks for the discussion!

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:20:24 +0000

That is a difficult question I am not qualified to answer, but Mythos 5 was export controlled for a brief time due to its cybersecurity capability and implications to national security, so for cybersecurity "as capable as Mythos 5" seems to be a good baseline. I wouldn't know for biosecurity though.

UK AISI preliminary evaluation suggests Kimi K3 is not capable enough for cybersecurity in this sense.

https://www.aisi.gov.uk/blog/preliminary-assessment-of-kimi-...

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:13:36 +0000

Agreed, and that serves Anthropic. It seems unproblematic to me. Dario probably sincerely believes in mandatory safety testing for capable models (open and closed), and likes the fact that it aligns with Anthropic's interest.

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:07:51 +0000

De facto ban on capable open-weight models doesn't seem inconsistent with Dario's statement to me. One, it is de facto, not de jure, and it can and will change as AI alignment research advances. Two, it is only capable open-weight models, not open-weight models. In fact, Dario says non-dangerous (which for now is mostly non-capable) open-weight models are a public good, and I agree.

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:04:21 +0000

Yes, I agree that Anthropic is advocating a ban on capable open-weight models until reasonable AI alignment research advance happens in the future. In return, I hope you agree with me that Anthropic has never advocated for a ban on open-weight models.

New comment by sanxiyn in "Our position on open-weights models"

sanxiyn — Tue, 28 Jul 2026 00:02:08 +0000

I think Gemma will be fine. Most open-weight models are not capable enough to be dangerous. Yes, I can't think of any capable open-weight model that would survive reasonable safety testing.