微軟(MSFT.O)盤前報價369.45美元，下跌0.12%

金色財經報道，微軟(MSFT.O)盤前轉跌，490名OpenAI員工聯名上書，要求恢復Sam Altman職位。微軟(MSFT.O)盤前報價369.45美元，下跌0.12%。

其它快訊：

微軟計劃在明年初發布企業元宇宙:11月3日消息，微軟正在調整旗下的指標性產品，包括PowerPoint和Excel，以創建一個更加企業化的元宇宙版本。首個產品是具有數字虛擬形象功能的Microsoft Teams聊天和會議應用版本，目前正在測試中，將于2022年上半年推出。客戶將能在虛擬世界分享Office文件和其他功能，包括PPT幻燈片。納德拉說微軟會專注于元宇宙的實用層面，即一些具有明顯益處的用例。微軟首席執行官薩蒂亞·納德拉（Satya Nadella）接受彭博采訪時表示：疫情讓相關商業用例變得更加主流，而消費者層面的應用有時更像科幻小說。納德拉本人已經使用該技術訪問了一所英國醫院、豐田工廠甚至國際空間站。微軟周二還推出了一款名為Dynamics 365 Connected Spaces的產品，可幫助人們在虛擬的零售和工廠空間內移動和互動。（彭博社）[2021/11/3 6:28:17]

動態 | AT&T和微軟已在市場上為區塊鏈提供了聯合性企業解決方案:據techweb國外媒體報道，當地時間周三，美國電信公司AT&T和微軟將展開一項廣泛的、持續多年的合作。外媒稱，雙方簽署了為期多年的云計算協議。知情人士透露，這筆交易的價值超過20億美元。作為協議的一部分，AT&T將為其大部分員工提供微軟365辦公軟件，并計劃將非網絡基礎設施應用遷移到微軟Azure云平臺上。這兩家公司已經在市場上為網絡、物聯網和區塊鏈提供了聯合性企業解決方案，并有望在2019年晚些時候宣布額外的服務。[2019/7/18]

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