Terence Tao: DeepMind's open repository of formalized mathematics conjectures

Comments (1)

jiggawatts · 16h ago

More accurately, it's a repository of placeholders where the formalised mathematics might eventually be put.

I had a quick flip through it and most of the interesting things are just "sorry", which is the Lean equivalent of "throw new NotImplementedException();"

Ask HN: How do you find ideas?

Disaster of a product – so many things wrong [video] (youtube.com)

Inventing Japanese Braille (historyworkshop.org.uk)

2024 Pay for S&P 500 CEOs (wsj.com)

Show HN: A small library for stack-trace-like error messages in Rust (docs.rs)

Does U.S. Need to Build Hardened Aircraft Shelters for Combat Aircraft? (2024) (twz.com)

Show HN: I built an AI Agent that uses the iPhone (github.com)

Automatic rollbacks are a last resort (octopus.com)

How Can AI Researchers Save Energy? By Going Backward (quantamagazine.org)

Bugs Love Starlink [video] (reddit.com)

Building a Newsroom Technology Culture (werd.io)

Transitive Closure in PostgreSQL (engineering.remind.com)

Show HN: LMStudio Client in Elixir (github.com)

What megalodon ate to meet its 100k-calorie daily requirement (cnn.com)

Silicon Valley wants to help me make a superbaby (sfstandard.com)

Uploading the Human Mind Could One Day Become a Reality, Predicts Neuroscientist (sciencealert.com)

The Princeton INTERCAL Compiler's source code (esoteric.codes)

Exponential Functions and Euler's Formula (deaneyang.com)

I Miss My Fan Regulator (rishikeshs.com)

Not Everything Is on the Internet (2024) (bruh.ltd)

The Heat Mirage: My least-favorite internet maneuver (dynomight.net)

Measles vaccines save lives each year (ourworldindata.org)

Claude Code: An Analysis (southbridge-research.notion.site)

Harvard Has Trained So Many Chinese Officials, They Call It Their 'Party School' (wsj.com)

My clerk landing page template, for free (twitter.com)

Show HN: Agno – A full-stack framework for building Multi-Agent Systems (github.com)

New sonar tool is a 'game changer' for mapping the sea floor (science.org)

TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)

Schulte Grid Training – Django app for attention/reaction speed training (schultetable.net)

Future of Professionals Report (2024) [pdf] (thomsonreuters.com)

Generative AI will probably make blogs better (pcloadletter.dev)

Structured Exercise After Adjuvant Chemotherapy for Colon Cancer (nejm.org)

Sylvain Chomet Won't Be Using AI Anytime Soon (hollywoodreporter.com)

How to name binary (inorganic) compounds given their chemical formula? (2018) (chemistry.stackexchange.com)

Lessons From Cursor's System Prompt (byteatatime.dev)

Ask HN: Best GTM strategies to engage indie hackers as early users?

US vets agency orders scientists not to publish in journals without clearance (theguardian.com)

Recency and geographic origin of the bat viruses ancestral to SARS-CoV and CoV-2 (cell.com)

Show HN: AI trip planner that starts with ideas, not destinations (travelaiplanner.com)

Ask HN: What should you ask to understand a new team and company?

Thematic World Maps in the News: How Effective Are They on Smartphones? (tandfonline.com)

Ru and W isotope systematics in ocean island basalts reveals core leakage (nature.com)

InstantAd (instantad.ai)

Global study debunks lab leak theory, finds Covid virus originated outside Wuhan (scmp.com)

Implementing TOTP two-factor authentication in 2025 (feeding.cloud.geek.nz)

Yeah, it is on YouTube or LinkedIn and has cookies (berthub.eu)

Life-Changing Homes for healing, personal growth and starting over (youtube.com)

Nissan launches new, mid-size PHEV pickup that undercuts $20K Slate in China (electrek.co)

Rejoignez le jeu Le Petit Bac (petitbac.net)

Show HN: Mindly – One chat interface for GPT-4o, Claude, Gemini and more (mindly.chat)

Terence Tao: DeepMind's open repository of formalized mathematics conjectures

Comments (1)