实体
Gabriel Rongyang Lau
Gabriel Rongyang Lau
PulseAugur coverage of Gabriel Rongyang Lau — every cluster mentioning Gabriel Rongyang Lau across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
生成式AI对教育的影响：新研究探讨批判性思维、能动性和跨文化伦理
三篇新研究论文探讨了生成式人工智能（GenAI）对教育和批判性思维的多方面影响。一项研究开发并验证了一个衡量AI使用中批判性思维的量表，发现它与人格特质相关，并能做出更准确的真实性判断。另一篇论文回顾了关于教育中GenAI和能动性的文献，揭示了控制、参与和能动性概念的变化等主题，并对公平的获取和自主性产生了影响。第三项研究调查了大学生在计算教育中使用GenAI看法的跨文化差异，强调与韩国同行相比，加拿大大学生更倾向于认为AI辅助编码是…
-
AI 定理证明器在 Lean 4 中难以完成全局数学证明
本文详细介绍了在 Lean 4 形式化环境中使用 Aristotle API 进行 AI 辅助定理证明的案例研究。该研究聚焦于 IMO 2009 年的一道难题——草蜢问题。虽然 AI 为局部证明组件生成了已验证的引理，但未能解决主定理，凸显了 AI 在处理复杂数学证明所需的全局组合计数方面的局限性。