TAG

#科研工具

5 篇文章

TechLab 所有關於「科研工具」嘅文章、評測同教學，由最新排起。

OpenAI 話未公開嘅 Astra 推進咗十項數學同理論電腦科學研究，仲交出論文同 Lean 證明。成果份量唔細，不過十項都係官方揀出嚟嘅成功個案，外界暫時重跑唔到模型，真正命中率同研究成本仍然係問號。

OpenAI 公開內部模型 Astra 推進十項數學同理論電腦科學難題，亦放出論文、推理整理同 Lean 證明檔。真正值得睇嘅位，係模型識得長時間試路、撞板再重組思路；不過機器驗證、專家閱讀同正式同行評審，仍然係三個唔同層次。

OpenAI 今個夏天會先畀 1 萬名研究者免費用 GPT‑5.6、Codex 同 deep research，2027 年內再擴至 10 萬人。不過計畫只限指定研究型院校，香港亦未喺官方支援地區名單，申請資格仍然未明。

Microsoft 發表 Majorana 2，聲稱用新材料同 Discovery AI agent 將 qubit 穩定性推高 1,000 倍，並把可用量子電腦目標指向 2029。重點唔係消費產品，而係 AI 點樣滲入前沿硬件研發。

Google 在 I/O 2026 推出 Gemini for Science，主打文獻整理、假設生成、計算實驗同 Antigravity 科學技能。對香港科研團隊有吸引力，但香港 Labs 名額、企業條款、數據落點同港價仍然要逐項確認。