[upstream-sync] README.md from ai-boost/awesome-ai-for-science@9b93d523 [catalogue]

upstream/ai-boost-awesome-ai-for-science/catalogue/README.md

@@ -2,9 +2,9 @@
 title: "Readme"
 task: ""
 lineage_type: import
-upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/67d8e68d/README.md
-upstream_sha: 67d8e68d
-imported_at: 2026-08-12
+upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/9b93d523/README.md
+upstream_sha: 9b93d523
+imported_at: 2026-08-15
 prompt_class: catalogue
 upstream_changes: accepted
 author: upstream
@@ -63,6 +63,7 @@ validated: false
   - [🌍 Earth & Climate Science](#-earth--climate-science)
   - [🌾 Agriculture & Ecology](#-agriculture--ecology)
   - [🧠 Social Sciences](#-social-sciences)
+  - [🏗 Engineering & Built Environment](#-engineering--built-environment)
 - [🤖 Foundation Models for Science](#-foundation-models-for-science)
 - [📈 Datasets & Benchmarks](#-datasets--benchmarks)
 - [💻 Computing Frameworks](#-computing-frameworks)
@@ -328,6 +329,7 @@ validated: false
 ### Domain-Specific Research Agents
 - [Aletheia](https://arxiv.org/abs/2602.10177) - Google DeepMind's autonomous mathematics research agent powered by Gemini Deep Think, autonomously solving 4 open problems from 700 Erdős conjectures and generating complete research papers without human intervention (February 2026)
 - [AlphaProof Nexus (Google DeepMind, arXiv 2026)](https://github.com/google-deepmind/alphaproof-nexus-results) - LLM-driven formal proof search system that pairs large language models with Lean verification to solve open mathematics problems; autonomously resolved 9 of 353 Erdős problems and 44 of 492 OEIS conjectures, with proofs and natural-language prose released for combinatorics, optimization, graph theory, algebraic geometry, and quantum optics collaborations (282+ stars, Apache 2.0)
+- [Ten Proofs (OpenAI, 2026)](https://github.com/openai/ten-proofs) - Lean 4 formalizations of ten major advances in mathematics and theoretical computer science, including improved sphere-packing bounds, non-sofic groups, a counterexample to Connes's rigidity conjecture, and quantum parallel repetition; released with the OpenAI paper and reasoning walkthroughs (57+ stars, Apache 2.0)
 - [AlphaGeometry](https://github.com/google-deepmind/alphageometry) - DeepMind's Olympiad-level geometry theorem prover combining neural language model with symbolic deduction engine, AlphaGeometry2 solves 84% of IMO geometry problems (42/50) at gold-medalist level (Nature 2024)
 - [Goedel-Prover-V2](https://github.com/Goedel-LM/Goedel-Prover-V2) - Strongest open-source automated theorem prover in Lean 4, 8B model matches DeepSeek-Prover-V2-671B at 84.6% MiniF2F, 32B model achieves 90.4% with self-correction, using scaffolded data synthesis and verifier-guided proof refinement (Princeton, 2025)
 - [DeepSeek-Prover-V2](https://github.com/deepseek-ai/DeepSeek-Prover-V2) - DeepSeek's open-source large language model for formal theorem proving in Lean 4, integrating informal and formal mathematical reasoning through recursive subgoal decomposition and reinforcement learning powered by DeepSeek-V3, with open weights and ProverBench evaluation (2025)
@@ -816,6 +818,16 @@ validated: false
 
 ---
 
+## 🏗 Engineering & Built Environment
+
+### Structural & Civil Engineering
+- [StructureClaw](https://github.com/structureclaw/structureclaw) - AI-assisted structural engineering workspace for AEC workflows: natural language to structural model, analysis, code-check, and report (171+ stars, MIT License, 2026)
+
+### Architectural Design & BIM
+- [Aedifex](https://github.com/TangSY/aedifex) - Open-source 3D architectural editor with an AI design assistant; build floor plans with walls, doors, windows, and furniture using natural language, with real-time WebGPU-powered previews (TangSY, 59+ stars, MIT License, 2026)
+
+---
+
 ## 🤖 Foundation Models for Science
 
 ### General Science Models
@@ -986,6 +998,7 @@ This project builds upon and complements several excellent resources:
 
 ### 📊 Paper & Research Collections
 - [Scientific LLM Papers](https://github.com/yuzhimanhua/Awesome-Scientific-Language-Models) - 260+ scientific language models
+- [Awesome Scientific LLM Benchmarks](https://github.com/subinium/Awesome-Scientific-LLM-Benchmarks) - Curated, accuracy-first collection of benchmarks for evaluating LLMs on scientific reasoning and discovery across mathematics, physics, chemistry, materials science, biology, and agentic science (subinium, 29+ stars, MIT License, 2026)
 - [LLM4SR Repository](https://github.com/du-nlp-lab/LLM4SR) - LLM for scientific research survey materials
 - [PINNs Paper Collection](https://github.com/idrl-lab/PINNpapers) - Physics-informed neural networks research
 - [SciML Papers](https://sciml.ai/papers/) - Scientific computing and machine learning papers