> 數學界近日的「大件事」（重要事件），是 OpenAI 丢出了 722 篇數學研究文稿。...> 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子，這回同樣令專業數學界不滿：大部分文稿沒有附上 Lean 的形式化證明——這雖非「人」的數學界的專業要求，卻是（至少我是這樣理解）大家期望 AI 「寫段落」之餘要做到的 。// 既然有人已經在泛中文圈寫了這件事，我就提早發表吧。#數學 #AI #LLMhttps://cylikesreading.wordpress.com/2026/10/20/math-and-ai/
Related
How the Claude Code Team Does Code Review, by @addyosmani and others:https://claude.dev/blog/solving-code-review-at-anth...
How the Claude Code Team Does Code Review, by @addyosmani and others:https://claude.dev/blog/solving-code-review-at-anthropic/?ref=dxsrc.org#anthropic #claude #codereviews #ai
Modern Web Guidance 1.0: The Web Platform Expertise Your Coding Agent Is Missing, by @philipwalton:https://developer.chr...
Modern Web Guidance 1.0: The Web Platform Expertise Your Coding Agent Is Missing, by @philipwalton:https://developer.chrome.com/blog/modern-web-guidance-v1?ref=dxsrc.org#tooling #a...
📰 Opgestapte Nvidia-topman moet getuigen voor Senaat om affaireshttps://nieuwsjunkies.nl/artikel/1XeN🕘 09:11 | NOS Nieuw...
📰 Opgestapte Nvidia-topman moet getuigen voor Senaat om affaireshttps://nieuwsjunkies.nl/artikel/1XeN🕘 09:11 | NOS Nieuws🔸 #Affaire #AI #NVidia #China #USA