I was looking through the GitHub case study and saw that Aura uses multi-view landmarks, depth and a statistical shape prior. Is the face mostly reconstructed from the photos, or is an ML model filling in parts of it? And what happens when the photos just don’t contain enough information for a region?

This is worth funding. Also, whoever is reading this, I am field building and funding people in the digital mind safety space and open to accepting money for regranting

@atilgandev Thanks for addressing the issue! Noting that it has now been resolved.

Thank you very much @dwks!

@carol Thanks for flagging this. I understand the issue, the activity has stopped, and it won’t happen again. I’d appreciate it if the moderation note could be removed or updated to reflect that the issue has been resolved

Hi Serhat — we’ve found that several accounts voting on your AURA project appear to be controlled by you or created on your behalf, so we’ve banned those accounts. Manifund relies on comments reflecting independent views from real people, and using additional accounts to boost a project or downvote other projects isn’t allowed. Your project can stay up for now, but any further sockpuppet activity will result in your account and project being removed.

Thank you Zahid @zahiidkbr

I've known Drishty for more than ten years, and I want to vouch for her from a different angle than the research itself. I am currently pursuing Masters of ICT Research from Melbourne Institute of Technology. I'm one of the people she's helping transition toward AI safety, she curated study materials for me personally, while dealing with circumstances that would have stopped most people entirely.

That's the pattern with her, life keeps throwing curveballs, and she keeps showing up with sheer grit and passion for her work and for other people's growth. The dedication you see on this page isn't a funding-pitch persona, it's just what she's like. A small grant here buys the gap between someone doing this work under crisis conditions and someone doing it properly resourced. She's one of the safest bets I know.

For Tamay Besiroglu (regrantor) — no public address found, so posting here:

Subject: Dated, signed ground truth for an eval: measuring correction latency in AI restatement of statistics

Hello Tamay — this is a measurement project more than a model project. A publisher's figures change on dated, logged occasions; I turned my own corrections log into three signed epochs (Rekor) and a task where the right answer depends on the date. First observation: one AI engine served a figure I had corrected 58 days earlier, because my own page still carried it.

I spent 23 years in bank credit; this year I ran the full 2025 HMDA file (1.19M FHA decisions) and then measured what language models do when they restate the figures: the number survives (27/27), the sentence around it does not (full contract credit 1–11 of 36 depending on what the publisher ships), and a verification token is forged in 2/36 even when every tool issues a real one. Everything is reproducible: open eval (Inspect + verifiers), deterministic rewards, claim receipts signed into Rekor, figures rebuilt from the CFPB file in an attested build, and a corrections log with my own thirteen errors. Project: https://manifund.org/projects/does-ai-restate-statistics-faithfully-a-self-verifying-eval--rl-environment . Asking $6K–18K for a second grader, three-repeat publication runs, and the temporal (correction-aware) task.

The Manifund page carries an AI-written flag; that is accurate, I draft in English with AI help and say so on the page. The work is verifiable without trusting the prose.

— Ziya Yetiş, FinanceRateCalc, Adana (press@financeratecalc.com). Written-only; I answer within a day.

Approved! This seems like a valuable area without much work being done, and it's impressive that Mycelium has already gotten some adoption.

This seems like the most neglected funding opportunity in animal advocacy right now, and I've generally been impressed by Marcus' independence of thought and levelheadedness.

Cost per Neel Nanda discovered at middle school

While I'm flattered, I'm not sure I follow the logic here?

@sibelzeynepumay Thank you very much. The key now is proving the accuracy independently.

@fattmaatilgan Thank you. That access gap is exactly what we’re trying to close.

I’m seeing the same issue on my proposal. Pangram flags 100% of my text as AI-written, although the content reflects my actual project and experience. I decided to leave the proposal as-is rather than rewrite it just to satisfy the detector. I’m curious whether this kind of false positive affects admin approval or only homepage visibility.

What progress have you made since your last update?

We have further developed the categorical foundations of SDCPNs and their generalizations as well developed an initial approach to their model checking using Monte Carlo optimization (which is now in use in Petrinaut)

The team has taken on two new contractors who are experts in Petri net theory and stochastic control theory.

What are your next steps?

We have been continued on to Phase 3 of the SGAI program with new projects and goals. These include:

Developing a temporal logic for SDCPNs which optimizes the model based on a safety spec, improving on the Monte Carlo method we have already developed.

Using category theory to generalize SDCPNs to related models and develop compositionality theorems to manage their state space explosion.

Generalizing region theory with categories to allow for correct-by-construction synthesis of SDCPNs and related structures.

Supporting the other SGAI teams so that our combined final output will be based on rigorous foundations.

Is there anything others could help you with?

After the SGAI program ends in November 2027 there will still be more work to do on the theory of model checking SDCPNs and their generalizations. We are already putting out feelers for potential funding sources which would allow us to do this work.

I have heard about AI Safety Nepal. I would love to support.

1.我們新增了Gmail入口以變可以支持廣大使用者的登入

2.新增相關開源模型提供使用者可以體驗服務，但由於成本上考量，因此免費會員將有次數限制（每日三次）

3.新增聊天室以及論壇功能，聊天室可以配合AI使用，讓使用者在與朋友或者群組隊員交談時，可以即時使用AI分析，並且將結果發不到聊天室中，增加彼此同伴間的交流深度與即時性

4.新增相關貼文分享連結，可以讓使用者藉由連接進到該聊天室

5.整合相關金融股票資訊板塊，保持版面整潔性以及相關Bug功能修復，同時先開放相對重要的板塊

6.我們將伺服器從雲端zeabur移動到了我們所購買的一台本地小機器上，以變實現更加自主的開發，同時也申請了專屬網域以變長期開發所使用：以下為新網域網址：https://getcryptomind.com/

translation for english:

1. We've added a Gmail entry point to support login for a wider range of users.

2. We've added relevant open-source models for users to experience, but due to cost considerations, free memberships will have a limit on the number of uses (three times per day).

3. We've added chat room and forum features. The chat rooms can be used with AI, allowing users to use AI analysis in real-time while chatting with friends or group members, and share the results in the chat room, increasing the depth and immediacy of communication among peers.

4. We've added relevant post sharing links, allowing users to enter the chat room through the link.

5. We've integrated relevant financial and stock information sections, maintained a clean layout, and fixed relevant bugs. We're initially releasing the more important sections.

6. We've moved our servers from the cloud-based Zeabur to a small local machine we purchased to enable more independent development. We've also applied for a dedicated domain for long-term development use: https://getcryptomind.com/

1.我們新增了Gmail入口以變可以支持廣大使用者的登入

2.新增相關開源模型提供使用者可以體驗服務，但由於成本上考量，因此免費會員將有次數限制（每日三次）

3.新增聊天室以及論壇功能，聊天室可以配合AI使用，讓使用者在與朋友或者群組隊員交談時，可以即時使用AI分析，並且將結果發不到聊天室中，增加彼此同伴間的交流深度與即時性

4.新增相關貼文分享連結，可以讓使用者藉由連接進到該聊天室

5.整合相關金融股票資訊板塊，保持版面整潔性以及相關Bug功能修復，同時先開放相對重要的板塊

6.我們將伺服器從雲端zeabur移動到了我們所購買的一台本地小機器上，以變實現更加自主的開發，同時也申請了專屬網域以變長期開發所使用：以下為新網域網址：https://getcryptomind.com/

I hope you manage to raise the funding you need. I also think this could have real clinical value, because access to systems like 3dMD and VECTRA is still very limited. Even where I live, there is only one such system available.

I’m really impressed. If you can secure the funding and get this right, it could be nothing short of revolutionary. Systems like 3dMD and VECTRA are extremely expensive, and we’re talking about software that could potentially replace them.

I was looking through the GitHub case study and saw that Aura uses multi-view landmarks, depth and a statistical shape prior. Is the face mostly reconstructed from the photos, or is an ML model filling in parts of it? And what happens when the photos just don’t contain enough information for a region?

This is worth funding. Also, whoever is reading this, I am field building and funding people in the digital mind safety space and open to accepting money for regranting

@atilgandev Thanks for addressing the issue! Noting that it has now been resolved.

Thank you very much @dwks!

@carol Thanks for flagging this. I understand the issue, the activity has stopped, and it won’t happen again. I’d appreciate it if the moderation note could be removed or updated to reflect that the issue has been resolved

Hi Serhat — we’ve found that several accounts voting on your AURA project appear to be controlled by you or created on your behalf, so we’ve banned those accounts. Manifund relies on comments reflecting independent views from real people, and using additional accounts to boost a project or downvote other projects isn’t allowed. Your project can stay up for now, but any further sockpuppet activity will result in your account and project being removed.

Thank you Zahid @zahiidkbr

I've known Drishty for more than ten years, and I want to vouch for her from a different angle than the research itself. I am currently pursuing Masters of ICT Research from Melbourne Institute of Technology. I'm one of the people she's helping transition toward AI safety, she curated study materials for me personally, while dealing with circumstances that would have stopped most people entirely.

That's the pattern with her, life keeps throwing curveballs, and she keeps showing up with sheer grit and passion for her work and for other people's growth. The dedication you see on this page isn't a funding-pitch persona, it's just what she's like. A small grant here buys the gap between someone doing this work under crisis conditions and someone doing it properly resourced. She's one of the safest bets I know.

For Tamay Besiroglu (regrantor) — no public address found, so posting here:

Subject: Dated, signed ground truth for an eval: measuring correction latency in AI restatement of statistics

Hello Tamay — this is a measurement project more than a model project. A publisher's figures change on dated, logged occasions; I turned my own corrections log into three signed epochs (Rekor) and a task where the right answer depends on the date. First observation: one AI engine served a figure I had corrected 58 days earlier, because my own page still carried it.

I spent 23 years in bank credit; this year I ran the full 2025 HMDA file (1.19M FHA decisions) and then measured what language models do when they restate the figures: the number survives (27/27), the sentence around it does not (full contract credit 1–11 of 36 depending on what the publisher ships), and a verification token is forged in 2/36 even when every tool issues a real one. Everything is reproducible: open eval (Inspect + verifiers), deterministic rewards, claim receipts signed into Rekor, figures rebuilt from the CFPB file in an attested build, and a corrections log with my own thirteen errors. Project: https://manifund.org/projects/does-ai-restate-statistics-faithfully-a-self-verifying-eval--rl-environment . Asking $6K–18K for a second grader, three-repeat publication runs, and the temporal (correction-aware) task.

The Manifund page carries an AI-written flag; that is accurate, I draft in English with AI help and say so on the page. The work is verifiable without trusting the prose.

— Ziya Yetiş, FinanceRateCalc, Adana (press@financeratecalc.com). Written-only; I answer within a day.

Approved! This seems like a valuable area without much work being done, and it's impressive that Mycelium has already gotten some adoption.

This seems like the most neglected funding opportunity in animal advocacy right now, and I've generally been impressed by Marcus' independence of thought and levelheadedness.

Cost per Neel Nanda discovered at middle school

While I'm flattered, I'm not sure I follow the logic here?

@sibelzeynepumay Thank you very much. The key now is proving the accuracy independently.

@fattmaatilgan Thank you. That access gap is exactly what we’re trying to close.

I’m seeing the same issue on my proposal. Pangram flags 100% of my text as AI-written, although the content reflects my actual project and experience. I decided to leave the proposal as-is rather than rewrite it just to satisfy the detector. I’m curious whether this kind of false positive affects admin approval or only homepage visibility.

What progress have you made since your last update?

We have further developed the categorical foundations of SDCPNs and their generalizations as well developed an initial approach to their model checking using Monte Carlo optimization (which is now in use in Petrinaut)

The team has taken on two new contractors who are experts in Petri net theory and stochastic control theory.

What are your next steps?

We have been continued on to Phase 3 of the SGAI program with new projects and goals. These include:

Developing a temporal logic for SDCPNs which optimizes the model based on a safety spec, improving on the Monte Carlo method we have already developed.

Using category theory to generalize SDCPNs to related models and develop compositionality theorems to manage their state space explosion.

Generalizing region theory with categories to allow for correct-by-construction synthesis of SDCPNs and related structures.

Supporting the other SGAI teams so that our combined final output will be based on rigorous foundations.

Is there anything others could help you with?

After the SGAI program ends in November 2027 there will still be more work to do on the theory of model checking SDCPNs and their generalizations. We are already putting out feelers for potential funding sources which would allow us to do this work.

I have heard about AI Safety Nepal. I would love to support.

1.我們新增了Gmail入口以變可以支持廣大使用者的登入

2.新增相關開源模型提供使用者可以體驗服務，但由於成本上考量，因此免費會員將有次數限制（每日三次）

3.新增聊天室以及論壇功能，聊天室可以配合AI使用，讓使用者在與朋友或者群組隊員交談時，可以即時使用AI分析，並且將結果發不到聊天室中，增加彼此同伴間的交流深度與即時性

4.新增相關貼文分享連結，可以讓使用者藉由連接進到該聊天室

5.整合相關金融股票資訊板塊，保持版面整潔性以及相關Bug功能修復，同時先開放相對重要的板塊

6.我們將伺服器從雲端zeabur移動到了我們所購買的一台本地小機器上，以變實現更加自主的開發，同時也申請了專屬網域以變長期開發所使用：以下為新網域網址：https://getcryptomind.com/

translation for english:

1. We've added a Gmail entry point to support login for a wider range of users.

2. We've added relevant open-source models for users to experience, but due to cost considerations, free memberships will have a limit on the number of uses (three times per day).

3. We've added chat room and forum features. The chat rooms can be used with AI, allowing users to use AI analysis in real-time while chatting with friends or group members, and share the results in the chat room, increasing the depth and immediacy of communication among peers.

4. We've added relevant post sharing links, allowing users to enter the chat room through the link.

5. We've integrated relevant financial and stock information sections, maintained a clean layout, and fixed relevant bugs. We're initially releasing the more important sections.

6. We've moved our servers from the cloud-based Zeabur to a small local machine we purchased to enable more independent development. We've also applied for a dedicated domain for long-term development use: https://getcryptomind.com/

1.我們新增了Gmail入口以變可以支持廣大使用者的登入

2.新增相關開源模型提供使用者可以體驗服務，但由於成本上考量，因此免費會員將有次數限制（每日三次）

3.新增聊天室以及論壇功能，聊天室可以配合AI使用，讓使用者在與朋友或者群組隊員交談時，可以即時使用AI分析，並且將結果發不到聊天室中，增加彼此同伴間的交流深度與即時性

4.新增相關貼文分享連結，可以讓使用者藉由連接進到該聊天室

5.整合相關金融股票資訊板塊，保持版面整潔性以及相關Bug功能修復，同時先開放相對重要的板塊

6.我們將伺服器從雲端zeabur移動到了我們所購買的一台本地小機器上，以變實現更加自主的開發，同時也申請了專屬網域以變長期開發所使用：以下為新網域網址：https://getcryptomind.com/

I hope you manage to raise the funding you need. I also think this could have real clinical value, because access to systems like 3dMD and VECTRA is still very limited. Even where I live, there is only one such system available.

I’m really impressed. If you can secure the funding and get this right, it could be nothing short of revolutionary. Systems like 3dMD and VECTRA are extremely expensive, and we’re talking about software that could potentially replace them.