frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mathematical methods and human thought in the age of AI

https://arxiv.org/abs/2603.26524
67•zaikunzhang•2h ago

Comments

zaikunzhang•2h ago
See also

https://www.youtube.com/watch?v=zJvuaRVc8Bg

anotherpaulg•1h ago
Recorded 10 February 2026. Terence Tao of the University of California, Los Angeles, presents "Machine assistance and the future of research mathematics" at IPAM's AI for Science Kickoff.
bluecheese452•51m ago
Enough Terence Tao spam.
gradstudent•19m ago
I skimmed the paper a couple of times, hoping to find the promised (from the abstract)

> pathway to integrating AI into our most challenging and intellectually rigorous fields to the benefit of all humankind.

There's very little insight here though. It seems mostly a retread of conversations we've been having in the academic community for a few years now. In particular, I was hoping to see some discussion of how we might restructure our educational institutions around this technology, when the machines rob students of the opportunity to develop critical thinking skills. Right now our best idea seems to be a retreat to oral and written examinations; an idea which doesn't scale and which ignores the supposed benefits of human+AI reasoning. The alternative suggestion I've seen is to teach prompt engineering, which seems (a) hard for foundational subjects and (b) again, seems to outsource much of the thinking to the AI, instead of extending the reach of human thought.

BDPW•11m ago
Physical classrooms don't really scale either, is that really a fundamental problem?
woolion•8m ago
> We assert that artificial intelligence is a natural evolution of human tools developed throughout history to facilitate the creation, organization, and dissemination of ideas, and argue that it is paramount that the development and application of AI remain fundamentally human-centered.

While this is a noble goal, it seems obvious that this isn't how it usually goes. For instance, "free market" is often used as a dogma against companies that are actively harmful to society, as "globalization" might be. An unstoppable force, so any form of opposition is "luddite behavior". Another one is easier transport and remote communication, that generally broke down the social fabric. Or social media wreaking havoc among teen's minds. From there, it's easy to see why the technological system might be seen as an inherent evil. In 1872's Erewhon, Butler already described the technological system as a force that human society could contain as soon as it tolerated it. There are already many companies persecuting their employees for not using AI enough, even when the employee's response is that the quality of its output is not good enough for the work at hand, rather than any ideological reason.

I'm neither optimistic nor pessimistic about the changes that AI might bring, but hoping it to become "human-centered" seems almost as optimistic as hoping for "humane wars".

Mathematical methods and human thought in the age of AI

https://arxiv.org/abs/2603.26524
68•zaikunzhang•2h ago•6 comments

Ghostmoon.app – The Swiss Army Knife for your macOS menu bar

https://www.mgrunwald.com/ghostmoon/
83•mgrunwald_•2h ago•75 comments

The curious case of retro demo scene graphics

https://www.datagubbe.se/aipixels/
254•zdw•8h ago•60 comments

I use excalidraw to manage my diagrams for my blog

https://blog.lysk.tech/excalidraw-frame-export/
143•mlysk•6h ago•66 comments

ChatGPT won't let you type until Cloudflare reads your React state

https://www.buchodi.com/chatgpt-wont-let-you-type-until-cloudflare-reads-your-react-state-i-decry...
779•alberto-m•17h ago•499 comments

How the AI Bubble Bursts

https://martinvol.pe/blog/2026/03/30/how-the-ai-bubble-bursts/
180•martinvol•1h ago•180 comments

How to Turn Anything into a Router

https://nbailey.ca/post/router/
6•yabones•22m ago•0 comments

Comprehensive C++ Hashmap Benchmarks (2022)

https://martin.ankerl.com/2022/08/27/hashmap-bench-01/
23•klaussilveira•4d ago•0 comments

Hamilton-Jacobi-Bellman Equation: Reinforcement Learning and Diffusion Models

https://dani2442.github.io/posts/continuous-rl/
83•sebzuddas•6h ago•20 comments

Spring Boot Done Right: Lessons from a 400-Module Codebase

https://medium.com/all-things-software/spring-boot-done-right-lessons-from-a-400-module-codebase-...
20•dknj•3d ago•4 comments

Voyager 1 runs on 69 KB of memory and an 8-track tape recorder

https://techfixated.com/a-1977-time-capsule-voyager-1-runs-on-69-kb-of-memory-and-an-8-track-tape...
597•speckx•21h ago•223 comments

Copilot edited an ad into my PR

https://notes.zachmanson.com/copilot-edited-an-ad-into-my-pr/
915•pavo-etc•9h ago•272 comments

VHDL's Crown Jewel

https://www.sigasi.com/opinion/jan/vhdls-crown-jewel/
89•cokernel_hacker•9h ago•32 comments

15 Years of Forking

https://www.waterfox.com/blog/15-years-of-forking/
231•MrAlex94•2d ago•43 comments

Ninja is a small build system with a focus on speed

https://github.com/ninja-build/ninja
47•tosh•3d ago•11 comments

C++26 is done: ISO C++ standards meeting Trip Report

https://herbsutter.com/2026/03/29/c26-is-done-trip-report-march-2026-iso-c-standards-meeting-lond...
269•pjmlp•20h ago•269 comments

Hardware Image Compression

https://www.ludicon.com/castano/blog/2026/03/hardware-image-compression/
44•luu•1d ago•8 comments

The First Video Game Was Just a Box in the Corner of a Bar

https://lithub.com/the-very-first-video-game-was-just-a-box-in-the-corner-of-a-bar/
20•PaulHoule•3d ago•16 comments

Philly courts will ban all smart eyeglasses starting next week

https://www.inquirer.com/news/philadelphia/smart-glasses-ai-meta-courts-20260326.html
317•Philadelphia•12h ago•143 comments

Douglas Lenat's Automated Mathematician Source Code

https://github.com/white-flame/am
41•hydrolox•4d ago•5 comments

My MacBook keyboard is broken and it's insanely expensive to fix

https://tobiasberg.net/posts/my-macbook-keyboard-is-broken-and-its-insanely-expensive-to-fix/
278•TobiasBerg•18h ago•318 comments

Pretext: TypeScript library for multiline text measurement and layout

https://github.com/chenglou/pretext
336•emersonmacro•1d ago•61 comments

Eclipse GlassFish: This Isn't Your Father's GlassFish

https://foojay.io/today/eclipse-glassfish-this-isnt-your-fathers-glassfish/
33•henk53•5d ago•30 comments

Midnight train from GA: A view of America from the tracks as airports struggle

https://apnews.com/article/airports-shutdown-long-lines-train-travel-amtrak-e4d8ea591b3b036142c2b...
123•walterbell•17h ago•106 comments

How A Spartan Revolutionized Baseball

https://msutoday.msu.edu/news/2026/03/spartan-revolutionize-baseball
17•rmason•4d ago•3 comments

15 years, one server, 8GB RAM and 500k users – how Webminal refuses to die

https://community.webminal.org/t/15-years-one-server-8gb-ram-and-500k-users-how-webminal-refuses-...
186•giis•7h ago•36 comments

Coding agents could make free software matter again

https://www.gjlondon.com/blog/ai-agents-could-make-free-software-matter-again/
224•rogueleaderr•15h ago•216 comments

"Roadrunner": a bipedal, wheeled robot for multi-modal locomotion [video]

https://www.youtube.com/watch?v=9kae-UAME1U
65•surprisetalk•4d ago•27 comments

Show HN: The Alphabetical Clock

https://boat.horse/clock/
22•secretdark•6h ago•13 comments

The road signs that teach travellers about France

https://www.bbc.com/travel/article/20260327-the-road-signs-that-teach-travellers-about-france
139•1659447091•17h ago•59 comments