-
在AIforMath领域，如果你一直找不到合适的资源，这份清单或许会有帮助。刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专注于AIforMath，专为那些希望进入数学AI领域的人提供帮助。这份清单发起时间最早可追溯到去年，发起机构由美国国家科学院、工程院和医学院组织的研讨会「人工智能辅助数学推理」提出，陶哲轩担任研讨会主持人。目前，网址资源已经公开。网址：https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934
-
首个专为各种机器人设计的模拟互动3D社会。还记得斯坦福的AI小镇吗？这是斯坦福的AI研究者打造的一个虚拟环境。在这个小镇上，25个AI智能体正常生活、工作、社交，甚至谈恋爱，每个智能体都有自己的个性和背景故事。智能体的行为和记忆通过大语言模型来驱动，这些模型能够存储和检索智能体的经历，并根据这些记忆来规划行动。（参见《斯坦福的「虚拟小镇」开源了：25个AI智能体照进《西部世界》》）与之类似，最近，来自上海人工智能实验室OpenRobotLab等机构的一批研究者也打造了一个虚拟小镇。不过，生活在其中的是机器
-
本站7月23日消息，据央视新闻援引中国航空工业集团消息，今天（7月23日），我国自主研制的大型水陆两栖飞机AG600获得了由中国民用航空适航审定中心签发的AG600飞机首个型号检查核准书（TIA），标志着这型飞机正式进入局方审定试飞阶段，为后续AG600完成适航取证奠定了坚实基础。1.AG600水陆两栖飞机全球在研最大水陆两栖飞机我国自主研制单船身、悬臂上单翼布局型式选装四台WJ6发动机前三点可收放式起落架执行任务性能森林灭火：20秒内汲水12000千克，可多次往返投水水上救援：最低稳定飞行高度50米，可
-
【ITBEAR】8月13日消息，近期，有关苹果即将推出的新型头显设备的消息引发了广泛关注。据彭博社的最新报告，苹果正筹备发布第二代AppleVisionPro型号以及一个更为经济实惠的版本，后者可简称为“AppleVision”。这款被视作VisionPro简化版的头显设备，将通过精简摄像头和扬声器系统的配置来实现设计优化与成本控制，旨在为消费者带来更具性价比的选择。据ITBEAR了解，成本削减的关键在于显示屏组件，苹果计划大幅降低该部分的成本，从而使得这款廉价版本的AppleVision定价能够与高端i
-
作为全公司产品做的最好的工程师，同时也是代码写得最好的产品经理，你深刻地知道：搞个靠谱的AI应用需要灵感，而好的灵感则需要一个靠谱的demo来验证。然而……当你已喝上了秋天的第一杯奶茶时，你的demo调用的却还是隔壁工位的小胡今年春天部署的第一个大模型…我们都知道：不是小胡懒得更新，而是帮你的demo换个模型API真的有点麻烦……首先，随着模型文件体积的不断增大，仅下载这些文件就需要花费个几天时间；而当文件下载完成后，又常常面临存储空间
-
本站9月3日消息，在8月30日~9月1日的2024亚布力企业家大会上，通威集团董事长刘汉元称：“截至2023年年底，中国光伏装机已超过水电装机成为第二大电源，仅次于煤炭发电，今后三年有可能超越火电发电装机成为第一大电源。”刘汉元还认为，行业和产业发展具备了能源经济转型的条件，中国从能源转型最大的压力国，有可能演变为全世界能源转型的引领国。中国现在成为全世界最大光伏产业的所在国，整体产业占全世界市场份额的80%以上。光伏成本的快速下降，得益于技术的不断进步，在这个过程中，中国形成了全世界最大规模、最具竞争力
-
三星电子和印度泰米尔纳德邦政府确认，泰米尔纳德邦工厂工人已结束罢工，持续一个多月的劳工抗议活动正式结束。据报道，泰米尔纳德邦政府宣布罢工已正式结束，并指出三星管理层和罢工工人的代表参与了谈判。据该邦政府称，三星将对工人的要求作出书面回应。工会领导人E.Muthukumar表示，印度工会中心（CITU）将发布正式声明。政府表示，“双方都接受了结束罢工的建议。”工人们已经传达了他们立即取消罢工并重返工作岗位的决定。因此，三星工厂的罢工已经结束，所有工人都恢复了工作。泰米尔纳德邦部长T.R.B.Rajaa表示，
-
Transformer在深度学习领域取得巨大成功的关键是注意力机制。注意力机制让基于Transformer的模型关注与输入序列相关的部分，实现了更好的上下文理解。然而，注意力机制的缺点是计算开销大，会随输入规模而二次增长，Transformer也因此难以处理非常长的文本。前段时间，Mamba的出现打破了这一局面，它可以随上下文长度的增加实现线性扩展。随着Mamba的发布，这些状态空间模型(SSM)在中小型规模上已经可以与Transformer匹敌，甚至超越Transformer，同时还能维持随序列长度的线
-
人工智能基础设施公司NebiusGroup宣布完成7亿美元私募融资，投资方包括英伟达（Nvidia）、Accel以及OrbisInvestments管理的部分账户。Nebius成立于今年7月，源于俄罗斯互联网巨头Yandex的资产分割。此次融资将加速Nebius为人工智能开发者构建GPU集群、云平台及其他工具的进程。公司创始人兼前YandexCEOArkadyVolozh表示，Nebius已承诺在2025年中期前投资10亿美元，未来投资额可能进一步增加。Nebius目前在美国市场拥有超过一半的客户，并在密
-
本站12月19日消息，据新华社报道，一家新的中央企业——中国数联物流信息有限公司12月19日在上海正式揭牌成立，这也是首家数据科技央企。中国数联物流由国务院国资委直接管理，为股权多元化中央企业，注册资金100亿元。公司引入招商局集团有限公司、中国保利集团有限公司、中国物流集团有限公司、中国民航信息集团有限公司、上海国盛（集团）有限公司、上海数据集团有限公司作为战略投资者。据了解，该公司将以公路、铁路、水路、航空、口岸等领域数据资源共享和开发利用为核心，整合物流与信息流、资金流，构建国家级物流大数据平台，以
-
据Gamerant报道，一位自称已获得下一代任天堂主机设备的爆料者，在社交媒体上泄露了该主机的官方名称。该主机将被命名为“NintendoSwitch2”。这位爆料者不仅公布了主机名称，还在社交媒体上解答了粉丝们的疑问。在NintendoSwitch2的Reddit社区，一位名为NextHandheld的用户声称拥有零售版Switch2，并证实了其名称。他承诺将在圣诞节公开证据。一位Reddit管理员表示已收到并验证了证据，因此允许该帖子保留。虽然任天堂尚未官方确认Switch的继任者名称，但“Switc
-
鸿蒙智行进军电商平台，汽车销售进入“手机时代”！鸿蒙智行已正式入驻天猫和京东两大电商平台，旗下热门车型，包括最新上市的享界S9、问界新M7和智界R7等，均已上线销售。目前，官方旗舰店主要提供免费预约试驾和上门试驾服务。小米汽车创始人雷军曾将智能电动汽车比喻为“超大型手机”。鸿蒙智行此次电商平台“卖车”的举动，引发业内人士热议：“汽车真的变成电子消费品了！”对于鸿蒙智行2025年销量翻番的目标，线上渠道的开拓无疑将带来更多可能性。据官方数据显示，鸿蒙智行2024年全年累计交付量达44495
-
AI视频创作的飞速发展，让真人网红面临新的挑战。谷歌Veo2的出现，更是将AI视频推向了新的高度。众多网友纷纷尝试使用Veo2创作Vlog，其逼真程度令人惊叹。例如，@jerrod_lew在X平台上分享的AI生成的Vlog，无论是人物表情、肢体动作，还是背景环境变化，都几乎难以分辨真伪。一个粉色卷发的女孩边走边聊天的场景，画面自然流畅，几乎没有破绽。餐厅场景的AIVlog，顾客、路人等细节也处理得十分逼真。还有其他视频展现了AI人物在不同场景间的自然过渡，光影变化也处理得非常细致。为了测试大家的辨别能力，
-
东尼电子发布2024年度业绩预告：预计扭亏为盈，净利润在1000万至1500万元之间。然而，扣除非经常性损益后，预计净利润亏损7300万至7800万元。公司业绩预增主要得益于资产减值损失的大幅减少，消费电子和新能源等业务毛利额的同比增长，以及产业结构优化和研发投入控制所带来的研发费用下降。作为国内较早涉足碳化硅半导体材料领域的企业，东尼电子在该领域的布局已初见成效。2024年，公司持续向T客户供应6英寸碳化硅衬底，并已完成相关订单销售。同时，公司领先的8英寸碳化硅衬底研发已基本完成验证，并已获得小批
-
联电公布最新财报显示，1月营收达198.07亿元新台币，环比增长4.4%，同比增长4.2%。这一成绩仅次于2022年1月的历史最高纪录，创下同期次高。联电共同总经理王石在投资者会议上表示，公司看好今年的增长前景，主要动力来自AI服务器以及智能手机、电脑等电子产品中半导体用量持续提升。联电预测，今年第一季度晶圆出货量将维持稳定，美元平均售价预计小幅下滑4%~6%。受地震影响，毛利率可能低于30%，但有望保持在25%以上。此前，联电曾强调22nm技术将成为2025年增长的关键驱动力，进一步巩固其在晶圆
