frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

IMProofBench open problem solved by GPT-5

https://leanprover.zulipchat.com/#narrow/channel/219941-Machine-Learning-for-Theorem-Proving/topic/AI-discovered.20proof.20on.20psi-integrals.20.28with.20Lean.20formalizat.2E.29/near/563828163
1•marojejian•2h ago

Comments

marojejian•2h ago
from x: >For the first time, an AI model (GPT-5) autonomously solved an open math problem submitted to our benchmarking project IMProofBench, with a complete, correct proof, without human hints or intervention. A small but novel contribution to enumerative geometry.

paper: https://arxiv.org/abs/2512.14575

x.com thread: https://x.com/JohSch314/status/2001300666917208222

Meta MapAnything

https://map-anything.github.io/
1•robotswantdata•1m ago•0 comments

OpenAI's New Fundraising Round Could Value Startup at as Much as $830B

https://www.wsj.com/tech/ai/openais-new-fundraising-round-could-value-startup-at-as-much-as-830-b...
1•mfiguiere•1m ago•0 comments

Is the iPad Pro Your Next Computer? Maybe Apple Doesn't See It That Way

https://substack.com/inbox/post/182021177
1•TheFrozenLin•3m ago•0 comments

Guardians of the Agents

https://dl.acm.org/doi/10.1145/3777544
1•ghuntley•6m ago•0 comments

The Internet Loves Peptide Therapy. Is It a Miracle Cure?

https://www.nytimes.com/2025/11/18/well/live/peptide-therapy-skin-muscle-longevity.html
1•pedalpete•10m ago•0 comments

How to find LinkedIn profiles (URLs) at scale from any raw data using an AI tool

https://crona.ai/blog/the-fastest-way-to-get-linkedin-profiles-at-scale-from-names-emails-or-any-...
1•rin_khat•10m ago•0 comments

Show HN: Anonymous platform for writing and discovering personal diary entries

https://www.inkwells.io/
1•reagantriminio•11m ago•2 comments

Breaking Changes in Python-3.14

2•wef•11m ago•0 comments

Kdenlive 25.12 Video Editor Brings New Docking System, Menu Restructuring

https://www.phoronix.com/news/Kdenlive-25.12-Released
1•Bender•14m ago•0 comments

Systemd 259 Released with Experimental Musl Libc Support, More Features

https://www.phoronix.com/news/systemd-259
1•Bender•14m ago•0 comments

China-Linked Hackers Exploiting Zero-Day in Cisco Security Gear

https://www.securityweek.com/china-linked-hackers-exploiting-zero-day-in-cisco-security-gear/
1•Bender•14m ago•0 comments

Nvidia and Alphabet VC arms back vibe coding startup Lovable

https://www.cnbc.com/2025/12/18/google-and-n.html
1•kristianp•15m ago•2 comments

Digital Rights Management

https://kdp.amazon.com/en_US/help/topic/GDDXGH9VR22ACM8U
1•richardboegli•16m ago•1 comments

TailwindSQL – SQL Queries with Tailwind Syntax

https://tailwindsql.xyz/
1•speedgoose•18m ago•0 comments

The First Photographs of Snowflakes Discover the Groundbreaking Microphotography

https://www.openculture.com/2017/12/the-first-photographs-of-snowflakes.html
1•_____k•18m ago•0 comments

Show HN: I built sellmedeepgram.com to help get a job at Deepgram

https://www.sellmedeepgram.com/
1•akhilnchauhan•21m ago•0 comments

Computer Use Models

https://geohot.github.io//blog/jekyll/update/2025/12/18/computer-use-models.html
1•aldaleri•22m ago•0 comments

Flying Taxis? China Has Them. and Drone Lunch Deliveries, Too

https://www.nytimes.com/interactive/2025/12/17/climate/china-hefei-clean-energy-drones-evs-robots...
2•_____k•22m ago•0 comments

How Bell Labs Won Its First Nobel Prize

https://www.construction-physics.com/p/how-bell-labs-won-its-first-nobel
2•chmaynard•22m ago•0 comments

Show HN: Webhook.build – Instant, powerful webhook inspection and debugging

https://webhook.build
1•keithwirch•23m ago•1 comments

AI Vending Machine Was Tricked into Giving Away Everything

https://kottke.org/25/12/this-ai-vending-machine-was-tricked-into-giving-away-everything
8•duggan•24m ago•1 comments

Engineers should read more blogs

https://www.proactiveengineer.com/p/33-why-you-should-read-more-engineering
2•shehabas•24m ago•1 comments

Denmark says Russia was behind two 'destructive and disruptive' cyber-attacks

https://www.theguardian.com/world/2025/dec/18/denmark-says-russia-was-behind-two-destructive-and-...
4•_____k•25m ago•0 comments

House Democrats share new Epstein photos featuring Sergey Brin and Bill Gates

https://www.businessinsider.com/jeffrey-epstein-photos-congress-sergey-brin-bill-gates-david-broo...
3•newspaper1•26m ago•0 comments

Ask HN: Is anyone using LLM based document processing in production?

2•asdev•28m ago•2 comments

Show HN: Agentry: Intelligent orchestration for dynamic AI agent workflows

https://github.com/amtp-protocol/agentry
1•wang_cong•28m ago•0 comments

One Generic Cancer Drug Costs $35. Or $134. Or $13,000

https://www.bloomberg.com/features/2025-cancer-drug-markups/
3•danem•30m ago•0 comments

Tell HN: Dr Paris Buttfield-Addison's Apple account has been unlocked

3•ValentineC•31m ago•2 comments

Can you visualize what NYC smells like? Yes, turns out, you can

https://huggingface.co/datasets/Voxel51/NYC_Smells
4•elzappo•31m ago•0 comments

Redacted by Counsel: A supply chain postmortem

https://heartbreak.ing/
1•ravenical•33m ago•0 comments