frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Many "serious" mathematicians are aghast

https://twitter.com/lemire/status/2082091243597697071
20•tosh•1h ago

Comments

wryoak•1h ago
tl;dr for everyone: disrupt the conservative academic establishment*

*unspoken or unintended consequence being so that the oligarchy can seize the authority of intellectual credibility

aerodexis•33m ago
Is it not the case now that oligarchs "own" intellectual credibility? Becoming a credentialed mathematician requires an entire lifetime of devotion, lots of money or scholarships, and association with institutions controlled by monied interests. Token spend is arguably cheaper, and although still paid to monied interests, lowers the bar for real participation in mathematics.
mb7733•41m ago
Which serious mathematicians?

There is a quotation about peer review. I'm assuming that's also made up.

_visgean•35m ago
he is a professor at quebec. I am pretty sure he knows serious mathematians that he perhaps does not want to name directly.
freehorse•21m ago
And the quotation is not even by a mathematician, but by a cognitive scientist, so probably they did not refer to mathematics.

No "serious mathematician" (tm) is "waiting for peer review" nor do methematicians widely consider peer reviewed articles to be by default 100% correct just because they are peer reviewed. I have many times encountered conversations where mathematicians were doubting previous published/peer reviewed articles of others. That's not the main purpose of peer review, that's what some people outside of mathematics (like tweeter op; though his bio says that he is "ranked in the top 2% of scientists globally" so who am I to talk) think of peer review.

> It just became difficult for the average engineer to pursued more advanced mathematical considerations. I believe that this might soon change.

It reminds me of the arguments that now with LLMs "everybody can be a programmer" as if there was some kind of gatekeeper, apart from time and effort required, that forbade some people from coding. And as if suddenly one can become an expert programmer without putting an effort to learn just because they can prompt an llm.

Maybe llms can make certain subjects more approachable to beginners, but there is a certain type of people who act as if one can get that expertise without having to put an immense effort still to learn.

tptacek•36m ago
This was especially funny to watch during the Jacobian Conjecture announcement, where people on HN were waiting for "Lean proofs" and corroboration from other mathematicians for... a published counterexample to the Conjecture.
nicf•11m ago
This was definitely something I saw on HN, but for what it's worth, in my conversations that night with other mathematicians no one brought up Lean proofs or peer review even as a joke. We just copied and pasted the polynomials into a computer algebra system and checked it ourselves and then said "holy shit, I guess the Jacobian conjecture is false". Couldn't have taken more than five minutes after we first saw the tweet.
vatsachak•36m ago
I need to make the same post when someone finally RLs an LLM to get really good at performance engineering.

Many "serious" performance engineers are aghast

"Nooo the r00b0t can't make llvm faster and not tell us how!!! it has to make a commit to the open source!!!"

"Ha, that's peer review and politics"

josefritzishere•35m ago
LLMs are bad at math of course. You can't calculate non-deterministically and expect accuracy. https://news.harvard.edu/gazette/story/2025/07/ai-leaps-from...
ImHereToVote•33m ago
Calculators are great at math though. Put them together, and honey, you got yourself a stew going.
firasd•33m ago
This is a response to a strawman... I think we'd want to see what an actual mathematician says to sensibly analyze this discourse

I do think that there are two things going on that explains the past couple weeks' breakthroughs:

1) A lot of conjectures are weakly grounded.

2) Maybe humans are biased towards proving conjectures rather than finding counter-examples (prestige in finding proofs, tedium in searching for contradictions, etc.)

3) Math is one of the rare fields that can be 'solved' in pure token space without needing empirical or subjective-opinion support

vatsachak•30m ago
Hi, used to be actual mathematician here (lecturer, publication in JEMS and all that)

For starters he's talking about how peer review is bad because of politics. That's fair.

But no one is saying that's the case with AI math. I think that the mathematical community wants to see the methods by which the Jacobian counterexample was constructed. As opposed to "lol xd my r00b0t solved le Jacoby conjectoor"

scrapcode•33m ago
> So it is possible, for example, for a teenager to become known as an obsessive proof-checker even though that teenager has no formal credentials.

Hard to cry this as a benefit after locking papers down behind a costly wall for decades.

luckystarr•32m ago
If these proofs were output by the AI in a format readable by a proof verification system, the verification step of publishing vanishes. Then it's only valuable to check if the stated intention actually matches the proof and isn't something completely different.
raincole•30m ago
AI would dramatically increase the demand of gatekeeping.
angry_octet•29m ago
This is Lemire so take it with a big grain of salt. Some notable mathematicians including Fields medalists are not 'aghast'.
Retr0id•27m ago
Since when did Lemire need to be taken with a grain of salt?
noncoml•24m ago
Mathematicians having their stackoverflow moment.
nicf•20m ago
I worked as a research mathematician for a while, and I've published peer-reviewed math papers. Reading this tweet put me in the strange position of feeling like defending the way peer review works in my (former) field, which I'm not used to doing. Among other problems it goes too slowly, it pays only the participants who provide the least value, and it was designed for a world that hasn't existed for a long time.

But this tweet paints a somewhat misleading picture of the role peer review plays in practice in modern math research. Reading this tweet could leave you with the impression that when someone proves a new result, no one pays any attention until it's gone through peer review and published in a journal. This just isn't true. ArXiv preprints are much more widely read than the journals' version of articles, and they go up essentially as soon as they're written. Certainly no one's waiting the year-plus it would take to get the article published in a journal! And even before that, mathematicians communicate their results to each other through slightly less formal channels, like blogs, conference talks, and regular human word of mouth.

In short, despite the sclerotic and parasitic nature of the journal system, the way ideas get disseminated in the field in practice is actually a lot closer to the ideal prewar picture he's describing in the tweet. I'm led to understand that this was less true before the Internet, but even by the time I started my PhD in 2009 things had been working the way I just described for quite a while.

Daddiri•17m ago
I have been respectfully following Lemire for more than 15 years but he got a bit weird after COVID-19. Although his arguments are not completely wrong, he fails to mention the large impact of what he is saying. Yes, peer review is not good but it's been one of the best tools we have. We can swap the peer review with democracy and elections, and got almost same arguments. That's why this is giving me an ick.
handle584•17m ago
>> The current peer-review model, I should remind you, is a recent invention from the second half of the twentieth century.

What? In EU Crelle's Journal is founded in 1826, while in the US the American Journal of Mathematics in 1878.

fmajid•13m ago
We don't have to imagine his scenario, that's what happened to Évariste Galois. But then again any university professor gets dozens of crank letters a year claiming to have solved the trisection of angles or such.

7.1 Earthquake in Japan

https://www.data.jma.go.jp/multi/quake/quake_detail.html?eventID=20260728163528&lang=en
532•krembo•7h ago•100 comments

New HIV vaccine shows unprecedented success in preclinical study

https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclini...
166•codebyaditya•1h ago•57 comments

Show HN: tale.fyi, we deserve a home for fiction

https://tale.fyi/@sam/announcing-tale-fyi-read-or-listen-to-an-entire-book-from-a-single-link
40•samuelcole•1h ago•24 comments

Kimi Linear: An Expressive, Efficient Attention Architecture

https://arxiv.org/abs/2510.26692
77•ronfriedhaber•3h ago•15 comments

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

https://github.com/schildep/verified-3d-mesh-intersection
51•permute•1h ago•17 comments

Solving Fermat: Andrew Wiles

https://www.pbs.org/wgbh/nova/proof/wiles.html
22•1970-01-01•18h ago•3 comments

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

https://github.com/ctrlb-hq/ctrlb-decompose
33•ruhani_grover•1h ago•7 comments

Google's Beyond Zero: Enterprise Security for the AI Era

https://spawn-queue.acm.org/doi/10.1145/3819083
74•jordigg•4h ago•40 comments

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

https://ciphercue.com/blog/dmarc-enforcement-gap-rua-fragmentation-2026
56•adulion•4h ago•38 comments

Our position on open-weights models

https://www.anthropic.com/news/position-open-weights-models
1067•surprisetalk•16h ago•1537 comments

How to Survive Boiling Water

https://taxa.substack.com/p/how-to-survive-boiling-water
207•cainxinth•4d ago•30 comments

What AI developers could learn from Charles Bukowski?

https://galjot.si/what-ai-developers-could-learn-from-charles-bukowski
28•sedovsek•1h ago•21 comments

About the security content of macOS Tahoe 26.6

https://support.apple.com/en-us/128067
150•andor•5h ago•94 comments

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

https://jfrog.com/blog/jfrog-and-openai-collaboration-on-zero-day-security-findings/
26•882542F3884314B•2h ago•10 comments

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

https://scalatutorials.com
39•eranation•3d ago•6 comments

A $500 RL fine-tune of a 9B open model beat frontier models on catalog review

https://fermisense.com/when-machines-take-the-wheel/
261•ilreb•12h ago•87 comments

Mondragon Corporation – a federation of co-operatives

https://en.wikipedia.org/wiki/Mondragon_Corporation
94•brnt•2h ago•12 comments

Usenet Archive Toolkit – process Usenet messages into a searchable archive

https://github.com/wolfpld/usenetarchive
15•bilegeek•4h ago•0 comments

Benchmarking Opus 5 on SlopCodeBench

https://github.com/humanlayer/advanced-context-engineering-for-coding-agents/blob/main/benchmarki...
352•dhorthy•16h ago•97 comments

Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules

https://necroticgnome.com/collections/dolmenwood
18•doener•3d ago•7 comments

The Origins of Modern Mathematics in Russia

https://valeman.medium.com/the-origins-of-modern-mathematics-in-russia-from-peter-the-great-to-th...
11•ibobev•3d ago•0 comments

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

9•Jgoauh•23m ago•5 comments

Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts

https://arsastronomica.com/
94•sweisman•9h ago•28 comments

Vehicle Motion Cues

https://support.apple.com/guide/iphone/iphone-comfortably-riding-a-vehicle-iph55564cb22/ios
170•Austin_Conlon•13h ago•86 comments

Watching Go's new garbage collector move through the heap

https://theconsensus.dev/p/2026/07/19/observing-gos-garbage-collector-old-and-new.html
251•matheusmoreira•3d ago•36 comments

Great Mobile Apps Aren't Built Around Features

https://geekyants.com/case-studies/nowmatch-next-gen-social-and-dating-app-development
3•steve_7890•1h ago•0 comments

PyTorch: A Reference Language

https://docs.pytorch.org/devlogs/compiler/2026-07-25-pytorch-a-reference-language/
60•matt_d•10h ago•5 comments

TWC Classics

https://twcclassics.com/
30•stefanpie•5d ago•3 comments

Show HN: Segue – Save context in one AI, load it in another by a short handle

https://segue.ai/
10•csaguiar•2h ago•5 comments

Kimi K3 Now Available via Telnyx Inference API

https://telnyx.com/release-notes/kimi-k3-telnyx-inference
119•fionaattelnyx•16h ago•69 comments