用cuda寫一個(gè)矩陣量化算法，按照128*128的塊做量化，將bf16格式的矩陣量化為fp8，并輸出量化后的矩陣和縮放因子。要求最大限度的利用cuda的加速功能和h卡的性能。完成時(shí)間，1.5天。

我需要AI其他工具

我需要AI其他工具

我需要AI其他工具

已經(jīng)擁有了完整的后端代碼，模型也已經(jīng)訓(xùn)練好了，還差一個(gè)前端界面。主要完成前端的工作就行了。

webots 下的機(jī)器人爬樓梯

? 企業(yè)信息 所屬行業(yè)：專業(yè)技術(shù)服務(wù)業(yè) | 成立時(shí)間：2016年07月我們在使用 Coze（一個(gè)AI對話開發(fā)平臺）搭建一個(gè)銷售AI助手，現(xiàn)在項(xiàng)目大致已完成 70%，希望找一個(gè)熟悉 AI 自動(dòng)化流程的開發(fā)者，協(xié)助完成工作

協(xié)助建立Deepseek本地化

我需要AI其他工具

二手車評估檢測，車商管理

我需要AI其他工具

使用機(jī)器學(xué)習(xí)技術(shù)，監(jiān)控X上面的帖子 根據(jù)內(nèi)容分析市場行情輿情，情緒好還是差，市場趨勢是什么 根據(jù)內(nèi)容抓取用戶反饋，包括截圖用護(hù)內(nèi)容 工期可能有點(diǎn)趕4月12號之前，準(zhǔn)確度要求不高，demo水平即可。 錄個(gè)視頻，講解系統(tǒng)大致流程 具體詳細(xì)需求，收費(fèi)詳聊 2000+

rk3568 c++ 每秒30幀以上

工程行業(yè)電子掃描表格內(nèi)容還原,包括特殊字符，手寫體

AI其他工具

建立Deepseek 本地化、建立UI

需要一個(gè)ai工具，還有一個(gè)遠(yuǎn)程投屏軟件

我需要AI其他工具

做鏤空 透明立體感的 AI 4K 高清圖用于UV打印

已經(jīng)擁有了完整的后端代碼，模型也已經(jīng)訓(xùn)練好了，還差一個(gè)前端界面。主要完成前端的工作就行了。 工作量不大，對于有技術(shù)經(jīng)驗(yàn)的人應(yīng)該很簡單

我需要給只能小車的路錐和黑線打標(biāo)

微信ai機(jī)器人 快遞類目查價(jià) 例如：上海到北京50kg京東 機(jī)器人可以自動(dòng)查詢該類目的價(jià)格

工作內(nèi)容： 1、使用Lean4形式化數(shù)學(xué)競賽題目的解題過程，確保形式化結(jié)果清晰易懂、符合邏輯并通過Lean驗(yàn)證。2、學(xué)習(xí)最新形式化方法和工具，提升技能，協(xié)作解決形式化中的技術(shù)難題。 崗位要求： 1、數(shù)學(xué)/理科相關(guān)專業(yè)優(yōu)先，參加過數(shù)學(xué)競賽且獲獎(jiǎng)?wù)邇?yōu)先;精通初高中數(shù)學(xué)竟賽知識和相關(guān)運(yùn)算，成績優(yōu)異 2、熟練應(yīng)用Lean數(shù)據(jù)編程語言，能依據(jù)國際奧賽的解題步驟答案，輸出Lean語言的推理步驟，并驗(yàn)證無誤: 3、扎實(shí)的數(shù)學(xué)基礎(chǔ)，精通形式化定理證明語言Lean4具備出色的Lean4編程能力，能夠熟練運(yùn)用Lean4進(jìn)行數(shù)學(xué)定理的形式化工作; 4、優(yōu)先考慮具有以下經(jīng)驗(yàn)者:參與過形式化證明項(xiàng)目對Mathlib有commit經(jīng)歷，熟悉Lean語言元編程，具備訓(xùn)練或部署LLM輔助自動(dòng)定理證明的經(jīng)驗(yàn)。 工作說明： 薪資培訓(xùn)補(bǔ)助 500-600元/題; 工作時(shí)間 7月底前每天能有固定的時(shí)間參與做題，每天至少3-4小時(shí); 工作地點(diǎn) 支持線上溝通，試標(biāo)通過后方可進(jìn)入作業(yè)