frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

AI Doesn't Mean the End of Mathematics – At Least Not Yet

https://www.schneier.com/blog/archives/2026/08/ai-doesnt-mean-the-end-of-mathematics-at-least-not-yet.html
1•mdp2021•1h ago

Comments

mdp2021•53m ago
> These results are relatively low-hanging fruit for AI; none of them required developing an extensive new theory. [...] What we have not yet seen is an AI developing a substantial new conceptual framework in order to solve a mathematical problem. Much of mathematics proceeds by identifying the objects that are truly central to a question and then developing a theory that helps us understand them. Current AIs are very strong at searching and recombining existing ideas, but they are weak at building any deep and sustained new theory. [...] This speaks to a more general limitation of current AI systems [... W]hile they have larger working memories than humans do, know more about more different things than any particular human does, and can process information faster than humans, can, true novelty is still largely beyond their reach. // Of course, that distinction may not survive for very long. [...] None of these mathematical capabilities were explicitly designed for, or planned[: t]hey’re all emergent properties.

We are not seeing enough interest on what makes those capabilities emerge. It looks like the exploitation of a natural resource - technology oriented towards extraction - instead of exploiting the occasion towards scientific progress. Which is what would drive surpassing the current limitations.

For example: in a proper Intelligence, one does not think for n-thousand virtual hours than forgets everything like a stateless ROM based 8bit personal computer. The thinking experience has changed the Intelligence. That is not part of LLMs...

I Signed Up for Claude Pro, Why I'm Canceling (and What I'm Using Instead)

https://medium.com/@eliotdill/i-signed-up-for-claude-pro-why-im-canceling-already-and-what-i-m-us...
2•DillyDally125•3m ago•0 comments

Show HN: OpenLayer – local Photoshop plugin for ComfyUI (inpaint/outpaint demo)

https://github.com/MehranMarxian/OpenLayer
1•HMUSER•4m ago•0 comments

Qwen 3.8 on 1x32GB Radeon wrote Minecraft clone in 24 hours (Rust, WebGPU, WASM)

https://qwencraft.home.chrisdell.info/?server=wss://qwencraft.home.chrisdell.info
1•cjdell•5m ago•1 comments

Veritas – The AI-Powered Compliance Tracker for Global Startups

https://vertical-compliance-tkiv.bolt.host
1•AndersTsai•6m ago•0 comments

JoGoods – A modern e-commerce platform built from scratch

https://jogoods.com/ar
1•hussamsawalha•6m ago•0 comments

A call for collective action on cyber defense

https://openai.com/collective-cyberdefense/
1•wslh•6m ago•1 comments

How Dactyl Works

https://dactyl.dev/blog/how-dactyl-works/
3•anorak27•7m ago•0 comments

Upcoming changes to GitHub Copilot policies and billing

https://github.blog/changelog/2026-08-28-upcoming-changes-to-github-copilot-policies-and-billing/
1•tom1337•7m ago•0 comments

Nikunj Kothari on being legible to capital

https://twitter.com/nikunj/status/2092748226701210023
1•nadis•8m ago•0 comments

SpaceX Considered as a Leasing Company

https://www.ft.com/content/a5c1460d-631a-4c4e-8c51-32536de09b80
2•root-parent•9m ago•1 comments

HeyDojo: A voice-first AI workspace for coding and rich media

https://heydojo.substack.com/
1•avidcoder•10m ago•0 comments

Intelligence is no longer the bottleneck

https://fulghum.io/agi
1•jordanf•10m ago•1 comments

Isgitlabcooked.com

https://isgitlabcooked.com/
1•eatmyshardz•11m ago•1 comments

Release v0.32.15 · Ollama/Ollama

https://github.com/ollama/ollama/releases/tag/v0.32.15
1•kyisaiah47•13m ago•0 comments

Xylitol may increase the risk of cardiovascular events

https://www.escardio.org/news/press/press-releases/xylitol-may-increase-the-risk-of-cardiovascula...
1•geox•14m ago•0 comments

It takes 5 cloud services to hear my doorbell

https://blog.vghaisas.com/rube-goldberg-doorbell/
1•vghaisas•15m ago•1 comments

GLM-5.3-Flash on Apple Silicon

https://github.com/sqliteai/warp
1•marcobambini•16m ago•0 comments

OSS harness took Claude Opus 5 from 30% to 99.95% on ARC-AGI-3

https://twitter.com/MorgantWillis/status/2093342777841013096
5•zuckerborg0101•16m ago•0 comments

Show HN: CleanMySheet – Privacy-first CSV/Excel cleaner that runs in the browser

https://cleanmysheet.in
1•nvn333•16m ago•0 comments

Fast poker hand evaluation via hardware synthesis and bitslicing

https://roderickgreen.com/posts/fast-poker-hand-eval/
1•rgreen•17m ago•1 comments

Building a mini Homelab that fits in my carry-on

https://www.jeffgeerling.com/blog/2026/mini-homelab-network-fits-in-carry-on/
1•speckx•18m ago•0 comments

Musk's AI company sues its users as victim lawsuits over Grok deepfakes mount

https://www.politico.com/news/2026/08/28/elon-musk-xai-lawsuits-grok-deepfakes-01053817
3•rurp•18m ago•0 comments

QnA with Larry Ellison at Oracle's FAM 2024 [the "best behaviour" speech] [video]

https://www.youtube.com/watch?v=O501x3Ei10Y
1•mdp2021•18m ago•0 comments

Putting models to the secure coding test: Plan vs. default mode

https://securitylabs.datadoghq.com/articles/putting-models-to-the-secure-coding-test-plan-vs-defa...
1•sysoleg•19m ago•0 comments

Timber Was Gold in the South–Until a Market Collapse Crushed the Forest Economy

https://www.wsj.com/business/timber-was-gold-in-the-southuntil-a-market-collapse-crushed-the-fore...
2•JumpCrisscross•23m ago•0 comments

Run Qwen3.8 27B locally: real numbers from my Mac Studio

https://terminalbytes.com/run-qwen-3-8-27b-locally/
2•speckx•24m ago•0 comments

Paste a job posting, sit that company's interview 2 minutes later in your IDE

https://github.com/chrisjacksonn/interview-sim
1•cjackso•25m ago•0 comments

The New State of the Art in Observability

https://telemetrymachine.com/blog/the-new-state-of-the-art-in-observability
2•tmach32•25m ago•0 comments

Naval Estimates (simul) Design the ships. Build the fleet. Balance the budget

https://elouda.itch.io/naval-estimates
1•anjel•25m ago•0 comments

EasyEffects: Essential for Enhancing Laptop Speaker Sound on Linux Distributions

https://www.osnews.com/story/145883/easyeffects-should-be-part-of-every-linux-distribution-and-de...
4•birdculture•26m ago•0 comments