Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Astra for Law(openai.com ↗)
    206comments
  2. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    100comments
  3. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    25comments
  4. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    120comments
  5. Wax motor(wikipedia.org ↗)
    37comments
  6. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    174comments
  7. Sex, AI, and the Apocalypse(iankduncan.com ↗)
    22comments
  8. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    3comments
  9. CrowdSec Source Code Leak(crowdsec.net ↗)
    34comments
  10. How to Write with an LLM(sockpuppet.org ↗)
    4comments
  11. Rate limits on GitLab.com are changing(about.gitlab.com ↗)
    103comments
  12. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    26comments
  13. Everybody's Lost Their Minds(netmeister.org ↗)
    169comments
  14. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    3comments
  15. The American Religion of Self-Storage Facilities(newyorker.com ↗)
    292comments
  16. How Uber Protects Against Retry Storms(uber.com ↗)
    6comments
  17. How GLM built its own inference infrastructure(z.ai ↗)
    254comments
  18. Zettascale (YC S24) Is Hiring ASIC/FPGA Engineers to Build Chips for ASI(zscc.ai ↗)
    discuss
  19. TSMC revealing details about next gen A14 node(mapyourshow.com ↗)
    27comments
  20. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    240comments
  21. Show HN: Snapdrop: Instantly share files between devices. No setup, no signup(snapdrop.me ↗)
    6comments
  22. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    29comments
  23. Running Ubuntu on the Lenovo IdeaPad Duet(vhaudiquet.fr ↗)
    18comments
  24. One year of sponsored Servo development(servo.org ↗)
    136comments
  25. Canto: A speech model built for the real world(wisprflow.ai ↗)
    11comments
  26. André Weil and the Hodge Conjecture(jiahao116.github.io ↗)
    8comments
  27. CCC invites all model citizens to 40C3(ccc.de ↗)
    175comments
  28. Launch HN: Skillsync (YC W26) – AI chat sessions made portable across agents
    43comments
  29. Towards Self-Driving Codebases(detail.dev ↗)
    74comments
  30. Show HN: Share your AI Setup, Learn from others(mysetup.ai ↗)
    82comments

How do we prevent mathemathics from devolving into the Medieval Era of secrecy?

55 pointsby 2d agomathoverflow.net
29 comments
2d agoHN ↗

wouldn't it be dystopian secrecy cause a flock camera is equally capable of watching the mathematicians as it is the public citizens.

2h agoHN ↗

Maybe mathematicians are smart enough to never ever buy such piece of shit on higher principle, regardless of their actual fiasco?

1h agoHN ↗

I am a (former) mathematician and know many more.

Maybe mathematicians are smart enough to never ever buy such piece of shit on higher principle

They are not. Mathematicians are as human as most of the rest of us here.

1d agoHN ↗

Regardless of the true cost, it seems that professional mathematicians now need to wary about what they put into a LLM and think hard about how to disclose and publish a result.

This is all but guaranteed now.

Mathematicians/Scientists/Researchers need to stop sharing freely with "AI Companies" and have explicit clauses in place in their publications about not using their research without their explicit consent.

There should be a clear legal distinction between using research data for AI model-training vs. another researcher using it.

Come up with a legal framework, establish procedures for sharing and using others work and have a single scientific body in charge of enforcing it.

2h agoHN ↗

The USA doesn't have legal frameworks any more, you just buy and sell the right to do what you want. Even our supreme court is disingenuous now.

2h agoHN ↗

Just putting a clause in a publication won't prevent it from being used as training data. Information wants to be free.

The frontier LLM vendors do sell enterprise licenses which contractually guarantee that your prompts won't be used for training. (Maybe they'll secretly violate the agreement but in principle it's legally enforceable.) Scholars and universities who care about credit and attribution will either have to purchase those licenses or run their own private open-weight LLM instances.

2h agoHN ↗

I don't like this and I wish it weren't true, but I think the period of "information wants to be free" is coming to an end, it was a relic of a bygone era. Increasingly, making your information free means you're the sucker who is doing free labor for AI companies, or worse, you're helping your competitors. Paywalls, login walls, and rate-limits are going up everywhere: there's the GitLab news on the home page right now, and sites like Twitter, Reddit etc. which used to be publicly-readable are now gated (and Xitter is using the legal system to shut down any bypasses).

I hate this but I don't think there's any going back now that LLMs exist.

2h agoHN ↗

"Information wants to be free" never meant that people want to release their information; it meant that information is very hard to keep secret, and that everything leaks like a sieve, and especailly that once it's out, it's out forever.

1h agoHN ↗

Even the $20 tier of ChatGPT has privacy settings that forbid using the user's data to be used for training. The question is, whether this setting is respected.

34m agoHN ↗

the existence of the triplets NSA/CIA/GRU implies an imperitive no.

1h agoHN ↗

Would this legal framework cut both ways? When AI companies use AI to make and publish mathematical discoveries, would they be able to legally prevent professional mathematicians from using them?

2h agoHN ↗

I'd guess universities might starting hosting open source models. They can probably actually afford to, unlike individual mathematicians.

Though maybe if there's a flurry of math-optimized agents coming up, like there are small coding agents, those might be feasible to host personally.

2h agoHN ↗

Simple: if you don't publish your work, we don't fund you. Why is this even a question?

1h agoHN ↗

This is about cooperation before publishing results. And they will keep everything medieval secret, else some big company steals it and claims it their own.

34m agoHN ↗

So then the solution is to publish more often (e.g. on a public blog) even if your ideas are not fully developed in order to establish priority and show you are doing something.

Analogously with software development, it's always been good practice to write things down, but since the start of this year it's become dramatically more important for everyday work.

9m agoHN ↗

I don’t follow… if you publish your underdeveloped ideas, these companies will develop them for you, which is the problem

2h agoHN ↗

Similar principle applies to open source or any other creative endeavor put in the public domain.

1h agoHN ↗

anyone else already experiencing this in a corporate environment? I know I am. Its not just between teams either, its within them.

1h agoHN ↗

The age of a Warhammer 40k Tech Priest is upon us! Praise to the Machine God.

Just, without the aliens, space travel, or mech-suits.

Got half the other downsides though!

1h agoHN ↗

Would you expand on your experiences? Can you not share ideas now? What if you enhance them with an LLM before sharing them?

1h agoHN ↗

I misinterpreted the article. Its more about sharing ideas within the company, because teams and team members are apt to steal ideas and implement them with AI faster than the originator. I guess this was always theoretically a problem but its especially pronounced now because of the commonality of layoffs, and exacerbated at my company due to the failing stock price.

1h agoHN ↗

Stop treating AI companies and their software as somehow unconstrained, above-the-law actors. It's delusional that anyone buys that. Regulate them appropriately.

At the same time, mathematicians should be using sophisticated, specialized LLM tools in much more sophisticated ways than lay people. There should be no way lay people can compete. There are new tools to master and if you use your slide rule, you won't keep up. It's a chance for mathematics productivity to boom.

59m agoHN ↗

Stop treating

With apologies to Baudelaire: The greatest trick exploitative forces ever played was convincing the people that it was impossible to imagine anything else.

1h agoHN ↗

Like we can prevent the rest of our society from devolving into the Medieval Era of secrecy: by treating individuals with respect and dignity and not as the ore from which resources can be profitably extracted.

1h agoHN ↗

Any solutions to this issue that aren't unrealistic socialist pipe dreams?

26m agoHN ↗

You could've asked that about people saying we want 8 hour work days, sick leave, and safer work 100 years ago, and yet we got them.

56m agoHN ↗

Might as well go tell depressed people to just stop being depressed