frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

What's a Mathematician to Do?

https://mathoverflow.net/questions/43690/whats-a-mathematician-to-do
29•ipnon•2h ago

Comments

Schlagbohrer•36m ago
After reading another post about the most recent advances LLMs have made in finding and writing up novel, correct proofs, it sounds like the frontier models are now at the point of PhD student level. I wonder how a math student could contribute today, if they're just starting on the PhD track? Maybe by using LLMs as a mighty tool and providing skilled usage and oversight?

It must feel similar to those who wanted to become chess or go masters after computers surpassed humanity in those games.

generic92034•30m ago
I wonder if AI is one means to overcome the natural limits of human knowledge aggregation [0].

On the other hand, in the very long run, what does it mean if a talented human being does not have enough years of life to fully analyze and understand an extremely advanced proof created by AI?

[0]: https://slatestarcodex.com/2017/11/09/ars-longa-vita-brevis/

dataviz1000•4m ago
LLM models can only predict the next token.

The can't predict the consequences of an action predicting one token after another. They can't solve a Rubik's Cube unlike a 7 year old human who can learn to do it in a weekend. They can't imagine the perspective of being a human being unlike a 7 year old human if asked to imagine they where in the position of another human.

lokimedes•33m ago
If we see our contributions as brownian motion rather than preconceived trajectories, then, rather than focusing on the Gausses, Einsteins, Patons as providing singular progress, they become the the dominant least energy paths to what we recognize as truth. Without negating the individual’s contribution, the ones we see as truly important are the ones that supported by every other’s attempt, finds the path forward. This should provide hope, if we can leave aside our egos and focus on humanity, we can, and do, all contribute even though a few seems to get all the credit.

This also goes for AI, it may be an accelerant in research, but the probability distribution of reality is large, large enough for humans to wonder, ask questions and stumble upon a new path forward, that computers alone don’t find.

groundzeros2015•7m ago
Yeah I don’t think invention or technological development is inevitable or random. It’s path dependent and colored by individuals and culture.
getnormality•21m ago
From one of the answers:

> mathematics only exists in a living community of mathematicians that spreads understanding and breaths life into ideas both old and new. The real satisfaction from mathematics is in learning from others and sharing with others. All of us have clear understanding of a few things and murky concepts of many more. There is no way to run out of ideas in need of clarification.

Yes! And this applies to all human culture, not just math. Everything people have figured out needs to be in living form to carried on. The more people the better. If math, or any product of human skill, is only recorded in papers or videos, that isn't the same as having millions of people understanding it in their own ways.

Modern culture often emphasizes innovation and fails to value mere maintenance, tradition, and upkeep. This can lead to people like the OP feeling that they have nothing to contribute, when actually, just learning math, being able to do it, being able to help others learn it - all of these are contributions.

We are all needed to keep civilization afloat, in ways we cannot anticipate. We all need to pursue some kind of excellence just to keep human culture alive.

rdevilla•8m ago
> Everything people have figured out needs to be in living form to carried on.

It would appear that LLMs are invalidating this claim. Things can live in synthetic form and carry on just fine. Instead of cultivating a population of learned minds we are just feeding a few dozen egregores of models and training corpuses.

DrewADesign•7m ago
In theory, sure. In practice, our society is a) not set up to value things which don’t have an immediate financial ROI, b) is valuing them less as time progresses, not more, and c) is experiencing some very serious transitions that may destroy the financial viability of devoting a lot of your time and energy to some very important things.
ucla_rob•15m ago
Fortunately doing something novel is one of the main things llms can't do.

But unfortunately human knowledge accumulation and advancement over the last many thousand years has been pretty large deep and varied.

Finding something novel for phds or profits or crime or whatever th fk is harder everyday.

elendilm•10m ago
At the very foundation, chaining sentences together is what we call logic.

Chaining unrelated sentences is retarded. Chaining sentences like most people is common sense. Chaining sentences airtight is math.

You ask what a true mathematician does. He chains sentences like everyone else but with an effort to make them airtight.

Space Cadet Pinball on Linux

https://brennan.io/2026/05/09/pinball-and-escrow/
132•jandeboevrie•3h ago•37 comments

I returned to AWS, and was reminded why I left

http://fourlightyears.blogspot.com/2026/05/i-returned-to-aws-and-was-reminded-hard.html
194•andrewstuart•1d ago•130 comments

Idempotency Is Easy Until the Second Request Is Different

https://blog.dochia.dev/blog/idempotency/
161•ludovicianul•3d ago•81 comments

What's a Mathematician to Do?

https://mathoverflow.net/questions/43690/whats-a-mathematician-to-do
30•ipnon•2h ago•10 comments

Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc

https://twitter.com/jarredsumner/status/2053047748191232310
626•heldrida•1d ago•604 comments

The One Dollar Counterfeiter

https://www.amusingplanet.com/2026/05/emerich-juettner-one-dollar.html
221•cainxinth•3d ago•85 comments

The River Otter's Remarkable Comeback

https://www.rewildingmag.com/the-river-otters-remarkable-comeback/
22•surprisetalk•3d ago•3 comments

Think Linear Algebra (2023)

https://allendowney.github.io/ThinkLinearAlgebra/index.html
36•tamnd•4h ago•0 comments

Task Paralysis and AI

https://g5t.de/articles/20260510-task-paralysis-and-ai/index.html
79•MrGilbert•8h ago•52 comments

Casio S100X Japanese Lacquer Edition (JP Page Only)

https://www.casio.com/jp/basic-calculators/premium/en-s100x-jc1-u/
209•dr_kiszonka•3d ago•92 comments

9 Mothers (YC P26) Is Hiring

https://jobs.ashbyhq.com/9-mothers?utm_source=x8pZ4B3P3Q
1•ukd1•2h ago

We see something that works, and then we understand it

https://lemire.me/blog/2025/12/04/we-see-something-that-works-and-then-we-understand-it/
145•surprisetalk•3d ago•51 comments

Internet Archive Switzerland

https://blog.archive.org/2026/05/06/internet-archive-switzerland-expanding-a-global-mission-to-pr...
643•hggh•1d ago•106 comments

Gemini API File Search is now multimodal

https://blog.google/innovation-and-ai/technology/developers-tools/expanded-gemini-api-file-search...
129•gmays•11h ago•25 comments

I’ve banned query strings

https://chrismorgan.info/no-query-strings
467•susam•21h ago•242 comments

Replacing a 3 GB SQLite db with a 10 MB FST (finite state transducer) binary

https://til.andrew-quinn.me/posts/replacing-a-3-gb-sqlite-database-with-a-7-mb-fst-finite-state-t...
79•hiAndrewQuinn•3h ago•9 comments

Show HN: Building a web server in assembly to give my life (a lack of) meaning

https://github.com/imtomt/ymawky
333•imtomt•11h ago•168 comments

LLMorphism: When humans come to see themselves as language models

https://arxiv.org/abs/2605.05419
44•okey•6h ago•22 comments

A recent experience with ChatGPT 5.5 Pro

https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/
659•_alternator_•1d ago•485 comments

Distributing Mac software is increasing my cortisol levels

https://blog.kronis.dev/blog/apple-is-increasing-my-cortisol-levels
342•LorenDB•23h ago•238 comments

Local privilege escalation via execve()

https://www.freebsd.org/security/advisories/FreeBSD-SA-26:13.exec.asc
186•Deeg9rie9usi•17h ago•84 comments

From Buffon's Needle to Buffon's Noodle

https://mbmccoy.dev/posts/buffons-noodle/
14•_alternator_•3d ago•2 comments

LLMs corrupt your documents when you delegate

https://arxiv.org/abs/2604.15597
438•rbanffy•1d ago•172 comments

Zed Editor Theme-Builder

https://zed.dev/theme-builder
252•cuechan•20h ago•76 comments

Debian must ship reproducible packages

https://lists.debian.org/debian-devel-announce/2026/05/msg00001.html
258•robalni•8h ago•94 comments

Show HN: I made a Clojure-like language in Go, boots in 7ms

https://github.com/nooga/let-go
214•marcingas•20h ago•59 comments

I'm writing a history of Visual Basic, Chapter 1 is up

https://evilgeniuslabs.ca/blog/visual-basic-history-chapter-1-launch
129•speckx•3d ago•47 comments

Show HN: Rust but Lisp

https://github.com/ThatXliner/rust-but-lisp
165•thatxliner•16h ago•68 comments

Making your own programming language is easier than you think (but also harder)

https://lisyarus.github.io/blog/posts/making-your-own-programming-language.html
119•ibobev•3d ago•66 comments

Using Claude Code: The unreasonable effectiveness of HTML

https://twitter.com/trq212/status/2052809885763747935
486•pretext•1d ago•263 comments