这项技术将成为集成电路验证的未来？
验证（verification）是现代数字集成电路设计流程中不可或缺且至关重要的一环，其目的是保证设计功能按照既定的设计规约正确的实现。在一个完整的项目周期中...
全球首个EOS安全管家：区块链形式化验证平台VaaS
电子科技大学信息与软件工程学院杨霞副教授带领一支区块链形式化验证团队，经过近2年的研究和努力，研制出了一套高度自动化的区块链形式化验证平台VaaS（Veri...
Claude给123个开源库做形式化证明
Anthropic与Theorem合作，让Claude为123个真实开源库的汇编代码写出形式化安全证明，证明这些程序在特定条件下不会崩溃，属于首次在汇编层面大规模用AI验证生产软件。写证明的过程还揪出
2026-10-23 人工智能 我要分享
成都链安斩获第二届中国可信区块链安全攻防大赛特等奖
11月19日，第二届中国可信区块链安全攻防大赛决赛开幕式在成都举行，作为国内区块链安全领域的高规格、高水准赛事，第二届中国可信区块链安全攻防大赛便是备受瞩目。而在大赛中，成都链安更是斩获大赛特等奖，彰
2022-12-21 资讯 我要分享本土 EDA 新进展：芯华章正式发布四款拥有自主知识产权的数字验证 EDA 产品
最新11月24日消息，今日，EDA（集成电路设计工具）智能软件和系统企业芯华章正式发布四款拥有自主知识产权的数字验证EDA产品，以及统一底层框架的智V验证平台。最新了解到，芯华章表示，本次发布的平台及
本土 EDA 新进展：芯华章正式发布四款拥有自主…
11 月 24 日消息，今日，EDA(集成电路设计工具)智能软件和系统企业芯华章正式发布四款拥有自主知识产权的数字验证 EDA 产品，以及统一底层框架的智 V 验证平台。
智慧合约——解决智能合约安全问题的宙斯盾
接收程序员的技术早餐作者｜李庆华“一支穿云箭，千军万马来相见”。在经历三个月“漫长熊市”后，从 4 月中旬开始，EOS 的一个拉升，形成了数字货币市场大牛...
中科院软件所提出“5G 认证密钥协议”设计方法：可抵抗链接攻击，保护用户隐私
最新12月6日消息，据中科院官网，近日，中国科学院软件研究所在5G-AKA研究中取得重要进展，提出了隐私保护的5G认证密钥协商协议设计方法，以标准兼容的方式解决了当前5G-AKA存在的隐私安全问题，可
人工智能已经可以解决复杂的数学问题了，还有哪些工作是无法被取代的
大型语言模型（LLMs）是指采用机器学习技术，利用大量文本数据进行训练，以能够自然地理解和生成自然语言文本的人工智能模型。这些模型可以用于自然语言处理任务，如文本分类、文本生成、语言翻译、问题回答和摘
2023-02-24 资讯 我要分享知名区块链项目VNT Chain正式宣布主网上线预启动
作为全球最具商业落地潜力的区块链项目之一，VNT Chain在7月1日正式发布主网上线预启动公告，标志着...
OpenAI一次性公开数百项AI数学成果
OpenAI在GitHub公开数百项由内部未发布模型生成的数学研究成果，大量证明已经Lean形式化验证。公司称几乎每项成果都由单个智能体、单条提示完成，数学界对新模型未公开持保留态度。
2026-10-07 人工智能 我要分享
OpenAI开源722篇AI数学手稿 引数学界激辩
OpenAI在GitHub一次性公开722篇AI生成的数学手稿、372个结果族，涉及黎曼猜想等千禧年难题的进展，平均每个结果仅耗约3小时算力。数学界反应两极：高等研究院咨询小组参与把关，25位菲尔兹奖
2026-10-08 人工智能 我要分享
OpenAI一次性公开400项AI数学成果
OpenAI本周在GitHub一次性公开近400项AI生成的数学研究成果，装满719份手稿，覆盖数论、几何、组合等几乎全部主要分支。斯坦福数学家称其中含黎曼假设进展、Hodge猜想特例与四维Kakey
2026-10-10 人工智能 我要分享喜讯 | 成都链安 CEO 杨霞荣登 2022“科创中国”创业就业先锋榜
2023年1月16日，由中国科学技术协会组织的2022年"科创中国"系列榜单遴选结果公示结束，成都链安创始人&CEO杨霞教授，荣登2022"科创中国"创业就业先锋榜。作为国内科创领域含金量十足的重量级
2023-02-12 资讯 我要分享
数学家质疑OpenAI纳维-斯托克斯证明
OpenAI今年9月公布的166页纳维-斯托克斯问题潜在证明正遭数学界质疑，有专家指出其与所声称的研究路线只是表面相似。公司研究员也承认，动用约1万个智能体、88小时与1300亿token的大规模部署
2026-10-18 人工智能 我要分享
