微軟希望OpenAI擴大董事會規模，考慮讓其高管加入OpenAI董事會

11月22日消息，微軟表示，若要Sam Altman重返OpenAI，需解決導致現有OpenAI董事會解雇Altman的治理問題。

據知情人士透露，微軟正在考慮的變革可能包括要求OpenAI擴大董事會規模并提高成員所需的經驗水平，微軟還在考慮是否應該嘗試讓一名高管加入OpenAI董事會。

此前多位消息人士透露，Sam Altman轉投微軟的交易尚未敲定。如果解雇他的其他董事會成員辭職，Altman和聯合創始人Greg Brockman仍然愿意重新回到OpenAI。Altman、Brockman和OpenAI投資者仍在努力為董事會找到體面的下臺方式。

其它快訊：

微軟繼續押注OpenAI：金額高達幾十億美元:金色財經報道，1月26日，微軟宣布，與OpenAI建立起了長期合作伙伴關系，現在已經達到了第三階段，加大投資來加速人工智能的突破，不過并未披露具體金額，據稱會高達幾十億美元。OpenAI的表現相當亮眼，近期推出震撼市場的DALL-E2和ChatGPT人工智能模型，讓微軟看到了巨大商機。特別在超級計算上，OpenAI會幫助微軟繼續構建Azure領先的AI基礎結構，微軟Azure也會幫助OpenAI提供云端服務器以作支持。[2023/1/26 11:31:03]

微軟將以每股95美元全現金收購動視暴雪 交易總價值687億美元:1月18日消息，微軟發布聲明稱，將以每股95美元的價格收購動視暴雪，全現金交易總價值687億美元。據計算，此次收購溢價約45%，股權價值約740億美元。交易已獲得微軟和動視暴雪董事會的批準。交易完成后，微軟將成為僅次于騰訊和索尼的全球第三大游戲公司。動視暴雪的游戲包括《使命召喚》、《糖果傳奇》、《魔獸爭霸》、《暗黑破壞神》、《守望先鋒》和《爐石傳說》。（財聯社）[2022/1/19 8:57:55]

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]