Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Astra for Law(openai.com ↗)
    363comments
  2. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    78comments
  3. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    156comments
  4. Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe(github.com/aardappel ↗)
    29comments
  5. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    138comments
  6. Wax motor(wikipedia.org ↗)
    50comments
  7. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    198comments
  8. Alibaba releases Qwen 3.8 Omni Flash(qwen.ai ↗)
    7comments
  9. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    3comments
  10. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    35comments
  11. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    21comments
  12. More than 100k people in Japan are now aged 100 or older(bbc.com ↗)
    124comments
  13. I Put Nam A2-Lite Inside an iRig HD X(playtaurus.com ↗)
    2comments
  14. CrowdSec Source Code Leak(crowdsec.net ↗)
    40comments
  15. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    34comments
  16. The most important product decision is what you don't build(liamnugent.me ↗)
    19comments
  17. How Uber Protects Against Retry Storms(uber.com ↗)
    23comments
  18. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    313comments
  19. Rate limits on GitLab.com are changing(about.gitlab.com ↗)
    106comments
  20. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    56comments
  21. CCC invites all model citizens to 40C3(ccc.de ↗)
    182comments
  22. The American Religion of Self-Storage Facilities(newyorker.com ↗)
    345comments
  23. TSMC revealing details about next gen A14 node(mapyourshow.com ↗)
    36comments
  24. Landing the Space Shuttle – A Flying Machine and the Thrill of a Lifetime(eaa.org ↗)
    5comments
  25. Zettascale (YC S24) Is Hiring ASIC/FPGA Engineers to Build Chips for ASI(zscc.ai ↗)
    discuss
  26. Show HN: Snapdrop: Instantly share files between devices. No setup, no signup(snapdrop.me ↗)
    19comments
  27. Running Ubuntu on the Lenovo IdeaPad Duet(vhaudiquet.fr ↗)
    25comments
  28. Launch HN: Skillsync (YC W26) – AI chat sessions made portable across agents
    51comments
  29. Computer Reset, Dallas(dfarq.homeip.net ↗)
    3comments
  30. Show HN: Share your AI Setup, Learn from others(mysetup.ai ↗)
    103comments

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

81 pointsby 2d agomathoverflow.net
56 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.

6h agoHN ↗

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

5h 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.

58m agoHN ↗

Individuals aren’t the ones buying Flock cameras.

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.

6h 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.

5h 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.

5h 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.

5h 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.

3h agoHN ↗

Exactly. While there are a few academics who work in private for years and then surprise the world with an amazing breakthrough, most of modern science and mathematics is a collaborate process. Researchers make gradual progress on hard problems, and discuss issues with colleagues and students along the way. Some of those collaborators will then pass on the information to social media or public discussion forums or free-tier LLM prompts or whatever and it gets incorporated into the next round of training runs.

Two people can keep a secret if one of them is dead.

4h 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.

4h agoHN ↗

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

1h agoHN ↗

that is a whole different thing though... AI labs are not government intelligence agencies

5h 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?

6h 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.

6h agoHN ↗

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

5h 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.

4h 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.

3h agoHN ↗

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

5h agoHN ↗

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

5h agoHN ↗

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

4h 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 ↗

A Tech Priest is way smarter than any software developer you could ever think of.

Your joke overestimates the intelligence of real life humans.

4h agoHN ↗

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

4h 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 ↗

Huh, and I thought "stealth-mode" for startup founders was a meme. Turns out a form of it started percolating around.

3h agoHN ↗

I would see stuff like this even before AI.

4h 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.

4h agoHN ↗

Stop treating [them as] unconstrained, above-the-law actors.

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

Sometimes blinkering people so that they never ask the question "why is this being done to me" or "why is justice not possible" is much easier than finding an answer that will get them to go away.

4h 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.

4h agoHN ↗

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

3h 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.

3h agoHN ↗

Those were fought for, with large strikes and sadly bloodshed and conflict. The pressing issue is that in the industrial revolution, capital needed labour so strikes are ineffective. How do people fight for their rights in a system that sees no need for them? Especially in one where power is concentrating and politics is frequently on sale to the highest bidder.

3h agoHN ↗

Why is socialism a pipe dream? Unions and co-ops aren't pipe dreams, and if we had nation wide unions or converted most businesses into co-ops, we would arguably be living under a socialist economy. If people had direct voting power over economic and business issues that would be socialism.

Some methods are more realistic than others, but I don't see a requirement for any outlandish ideas.

2h agoHN ↗

Patent system?

I know lot of folks on Hacker News hates patents but that was the whole point of them: the patent holder got exclusive rights to the invention for 20 years. But the trade off was that specific details about the invention, how it worked and how it's made were entered openly for anyone to look up. The patent holder would basically benefit it for the majority of his or her life but then after that it was permanently part of the public domain.

AFAIK it was the reason why the patent system was invented, otherwise the best option jealous guarding of trade secrets that ideally (for the secret holder) died with them.

2h agoHN ↗

Yep.

Muddling through with markets, democracy and welfare.

Global life expectancy was 34 in 1913. Today it's 70.

https://ourworldindata.org/life-expectancy

Global GDP was less than 1Trn until about 1800. In 1950 it was 11.7Trn . Today it's 157 Trn. In a life time it's gone up by more than 10 fold.

https://ourworldindata.org/grapher/global-gdp-over-the-long-...

People are living longer, richer lives all over the world.

The world's largest country grew at 7.8% last year.

https://www.reuters.com/world/india/why-indias-strong-gdp-gr...

Things are getting better. Look at the data, work at what you do and ignore the doom sayers.

1h agoHN ↗

It’s telling that you think treating people with respect and dignity is “socialist”.

In a sane society it should be easy to argue against that claim, but looking around in the US at least, it turns out you’re correct: that doesn’t seem to be the norm under US-style capitalism.

Luckily we have other countries to provide an example here.

4h agoHN ↗

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

3h agoHN ↗

Or homeless people to just buy a house.

3h agoHN ↗

you don't worry about it for a couple years and check back to see if its a real problem or a panic induced engagement generator

3h agoHN ↗

We don't.

Prior to LLMs there was some minimal effort required to snipe someone and possibly your reputation was attached otherwise there would have been no point in publishing to begin with.

Now anyone with a few dollars can do it, many who don't have a reputation to worry about.

It's the same problem as YouTube AI slop, AI-generated music, and everything else. Don't you dare tweet or blog about a video idea or hum a few bars from a song - within an hour 27 people will have posted AI slop rip-offs. There's something uniquely depressing about being beaten to the punch by a thief that doesn't deliver the same soul-crushing impact as having someone copy you after the fact.

3h agoHN ↗

Copycats and rip-offs are really fast. Recently outbid.lol was the target.

3h agoHN ↗

I welcome the era of secrecy. After living so much in this era of open information where everyone seems to know everything, secrets may be a way to make things more interesting again.

3h agoHN ↗

There is a financial incentive to selling access to the leading LLMs needed to find whatever secret result there is out there. See the play station hypervisor 0day from the other day. If a LLM can find someone's secret 0day they are flaunting around they can find a math proof someone else says they have.

2h agoHN ↗

I have seen two worries recently:

1. People will publish so much frontier mathematics, humans won't be able to understand it all

2. Frontier mathematics will all be kept secret

Fortunately, these seem like they can't both happen at once.

31m agoHN ↗

I think the worry is:

1. People will publish AI generated frontier math making it difficult to identify frontier mathematicians. 2. Trained frontier mathematicians will become scarce

1h agoHN ↗

Universities should be providing university hosted llms to their faculty and students. No student or faculty member should be using public llms for their work. They can share info directly with other people or in non-public forums to keep it away from commercial llms. It is going to have to be against the rules to submit anyone else's work to a commercial llm. Businesses are going to have similar policies.

Universities can host the llms just like they hosted any other computer lab or web service on campus. This is what universities are supposed to be doing. Universities should be involved in open model research and should offer models that are not datamined.

1h agoHN ↗

The problem here is that AI isn't just a problem, it also revealed a problem: too much emphasis on publishing papers and churning out new results. The name of the game right now is just that: make something new and significant. AI itelf is a problem around the world right now because we've set up some seriously bad incentives. Same with art - it devolved into content creation for money, so AI snaps that up.

What we need to do is make mathematics about understanding, rather than churning out results. People should be rewarded for reaching an ability to explain mathematics without the aid of computers, to teach people for the sake of their learning.

I do think AI also needs to be eradicated because of its destructive properties, but I think that at the same time it also is a manifestation of the sickness in our society to go after the wrong incentives that are detrimental in the long run.

57m agoHN ↗

The problem here is that AI isn't just a problem, it also revealed a problem: too much emphasis on publishing papers and churning out new results.

I wonder how it revealed it... oh, right, because AI labs rushed to churn out new results for marketing purposes. Mathematicians didn't make them do it. So I'm not sure it's really an indictment of the field.

In fact, how often does mathematics feature in university press releases, how often do mathematicians compete for multi-million grants, how many of them are interviewed on TV?... This discipline is less afflicted by weird incentives than most other fields. It's mostly just a small clique of nerds publishing abstract "open source" work.

34m agoHN ↗

I do think AI also needs to be eradicated

I wonder how life was while the Butlerian Jihad was raging through the universe.

Jihadis were fighting opponents with thinking machines. Did they win because the machines were not capable enough?

The idea that this genie is going back in the bottle is, imo, very wishful thinking. The thinking machines can rip off your software ideas completely, in days.

13m agoHN ↗

I respect your opinion, and I was with you all the way until your last sentence.

"Eradicated" is a pretty strong word. It's also completely unfeasible.

Wrong incentives can maybe be adjusted for. Shutting down the pursuit of one of the most astonishing things we've ever created is simply not going to happen short of a cataclysm, and I'm not a big fan of those.

1h agoHN ↗

This is a simple matter of intellectual property. A tool or technique for doing a thing can be patented. A legal monopoly is granted to the originator. The public is made aware of the technique but is legally forbidden from using it for a period of years/decades.